Please use this identifier to cite or link to this item:
Title: Synthesizing and Runtime Monitoring of Business Process Workflows
Researcher: Nihita Goel
Guide(s): Prof R.K. Shyamasundar
Keywords: Runtime Monitoring
University: Birla Institute of Technology and Science
Completed Date: 1/7/2012
Abstract: Organizations today are increasingly automating their business processes using the workflow technologies. These technologies are continuously evolving with the advances in the field of web services, cloud computing and distributed computing. The business process newlineworkflows are primarily composed of internal or external web services and are based on Service Oriented Architectures (SOA). Such process workflows require a very systematic approach towards development, starting from a conceptual or an abstract model designed by their business analysts, to an executable model provided by the technical experts. newlineMDA (Model Driven Architecture) is an OMG initiative that attempts to bridge the gap newlinebetween the business functionality and the implementation models through the application of model transformations. The thesis aims to apply formal methodologies to develop efficient, correct and inter-operable workflow systems. newlineThe thesis first proposes a framework for the synthesis of business workflows using a model driven approach wherein the process workflow is expressed as a conceptual model using BPMN (Business Process Modeling and Notation) which is the de facto notation for conceptual modeling of such systems and is widely used in Model Drive Architectures for newlineenterprize-scale solutions. From a conceptual model in BPMN, the executable model is derived in Orc (a recent language for web orchestrations) through transformations. The transformation system, called Bpmn2Orc, realizes an executional platform for business newlineprocess workflows using Orc, and hence, extends the capabilities of the language Orc to the business analysts community and the cloud computing environments also. The language Orc, developed at the University of Texas, is based on a few basic constructs and provides a clean separation between computation and orchestration and has been used to model different kinds of orchestrations and workflow patterns.
Pagination: 6MB
Appears in Departments:Computer Science & Information Systems

Files in This Item:
File Description SizeFormat 
nihita_thesis.pdfAttached File5.65 MBAdobe PDFView/Open

Items in Shodhganga are protected by copyright, with all rights reserved, unless otherwise indicated.