Specification and Implementation of Workflow Control Patterns in Reo

dc.contributor.authorMousavi Bafrooi, Seyedeh Elhamen
dc.date.accessioned2007-05-08T14:01:57Z
dc.date.available2007-05-08T14:01:57Z
dc.date.issued2006en
dc.date.submitted2006en
dc.description.abstractAbstract <br /><br /> Coordination models and languages are relatively new methods in modeling component-based software systems. These models and languages separate the communication aspect of systems from their computation aspect, and hence enable the modeling of concurrent, distributed, and heterogeneous systems. In this thesis, our goal is to show that Reo, a channel-based exogenous coordination language, is powerful enough to be used in the area of workflow management. In order to achieve this goal, we consider a set of workflow control patterns. We implement each of these patterns in terms of a Reo circuit and show that these Reo circuits capture the behavior of the corresponding workflow control patterns. We believe that the patterns we choose in this thesis are enough to show the strength of Reo as a workflow language. <br /><br /> We explain our approach in four steps. In the first step, we specify the general definition of workflow control patterns in terms of some Point Interval Temporal Logic formulas. In the second step, we convert each PITL formula to a constraint automaton. In the third step, we implement each workflow control pattern by a Reo circuit; each Reo circuit consists of a set of <em>components</em> and a set of <em>connectors</em> that connect and coordinate those components and provide its behavior as a relation on <em>timed data streams</em>; a timed data stream is a twin pair of a data stream and a time stream. In the forth step, we compositionally derive the constraint automata of that Reo circuit and finally, in the fifth step, we show the equivalence of the two constraint automata.en
dc.formatapplication/pdfen
dc.format.extent1040478 bytes
dc.format.mimetypeapplication/pdf
dc.identifier.urihttp://hdl.handle.net/10012/2946
dc.language.isoenen
dc.pendingfalseen
dc.publisherUniversity of Waterlooen
dc.rightsCopyright: 2006, Mousavi Bafrooi, Seyedeh Elham. All rights reserved.en
dc.subjectComputer Scienceen
dc.subjectReoen
dc.subjectcoordination modelsen
dc.subjectworkflow patternsen
dc.titleSpecification and Implementation of Workflow Control Patterns in Reoen
dc.typeMaster Thesisen
uws-etd.degreeMaster of Mathematicsen
uws-etd.degree.departmentSchool of Computer Scienceen
uws.peerReviewStatusUnrevieweden
uws.scholarLevelGraduateen
uws.typeOfResourceTexten

Files

Original bundle

Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
semousav2006.pdf
Size:
1016.09 KB
Format:
Adobe Portable Document Format