Artifacts - Processes with Multiple Instances
1 like716 views
The document explores distributed processes aimed at achieving specific goals, detailing the involvement of multiple service instances in activities such as book delivery. It introduces concepts of artifacts and services, emphasizing complex relationships, lifecycle management, and interaction scenarios among instances. The work discusses research challenges and proposes methodologies for synthesizing and analyzing artifacts and services in multi-instance settings.
![encapsulate each class of objects in a serviceservice behavior = object life-cycleservice interface = object interactiondelivery tourorderPAGE 14Artifactslife-cyclelife-cycle+orderdelivery tour**follow-up*[Nigam, Caswell 2003], [Cohn, Hull 2009]](https://image.slidesharecdn.com/artifactslive-2011-06-19slideshare-110623031859-phpapp02/85/Artifacts-Processes-with-Multiple-Instances-15-320.jpg)
![PAGE 372) Service Synthesissolved for single-instance setting [Lohmann, Wolf 2010]delivery tourorder“by order”“by delivery”loadcreate**packagesplit1load1split+retry1delivernext1deliverservice models1retryundeliv.11bill1notifys.t. artifacts + services always reach the goal statesundeliv.1A1A1A1A1A1A1ACG++*finishbillannotated artifactsbehavioralconstraints*goal states(e.g. bill occurred)](https://image.slidesharecdn.com/artifactslive-2011-06-19slideshare-110623031859-phpapp02/85/Artifacts-Processes-with-Multiple-Instances-38-320.jpg)
Artifacts - Processes with Multiple Instances
- 2. activities to reach a specific goal, e.g. deliver booksinvolves several participantsany kind of process (not tied to business)goal = termination in a specific statePAGE 1A Distributed Process
- 3. activities to reach a specific goal, e.g. deliver booksinvolves several participantsany kind of process (not tied to business)goal = termination in a specific statePAGE 2A Distributed Process
- 4. activities to reach a specific goal, e.g. deliver booksinvolves several participantsany kind of process (not tied to business)goal = termination in a specific statePAGE 3A Distributed Process
- 5. PAGE 4Services: Process Modularityorderservicean environmenthas an interface assumption: unconstrained and slower than servicesi.e. services wait for interaction which eventually happenswiring to compose services
- 6. PAGE 5A process that needs multiple instances12
- 7. PAGE 6A process that needs multiple instances21complex relations between service instances
- 8. PAGE 7A process that needs multiple instances21
- 9. PAGE 8A process that needs multiple instances21
- 10. PAGE 9A process that needs multiple instances21complex relations between service instances
- 11. ArtifactsCreating a complete artifact modelA new paradigmResearch problemsPAGE 10Describe Multi-Instance Processes
- 12. delivery tourorderloadcreatePAGE 11Describe Servicessplitdelivernextretryundeliv.notifyfinishbill
- 13. PAGE 12An example executionservice model: incompletedelivery tourordercsnbloadcreateldeliv1rfdnlfdundeliv2splitcsnbdelivernextretryundeliv.notifyfinishbill
- 14. Dataeach process is founded in its (data) objectsan ordera delivery tourobjects can be in complex relationshipsPAGE 13The reason of complex relations+orderdelivery tour**follow-up*
- 15. encapsulate each class of objects in a serviceservice behavior = object life-cycleservice interface = object interactiondelivery tourorderPAGE 14Artifactslife-cyclelife-cycle+orderdelivery tour**follow-up*[Nigam, Caswell 2003], [Cohn, Hull 2009]
- 16. objects in complex relationshipsrelationships lift to service wiring:how many instances interact with each otherPAGE 15Service wiring inherits relationshipsdelivery tourorder+*life-cyclelife-cycle*+*orderdelivery tour
- 17. delivery tourloaddelivernextretryundeliv.PAGE 16Cardinalities between eventsordercreate**each occurrence of split 1..n occurrence of loadeach occurrence of load 0..n occurrences of splitsplit+111notify*finishbill*each occurrence of deliver an occurrence of billeach occurrence of bill 0..n occurrences of deliver
- 18. PAGE 17Cardinalities constrain allowed executionsdelivery tourordercsnb2nd packagenot returnedloadcreate**ldfnrdeliv1lufnddeliv2split+csnbdelivernext1retryundeliv.11notifyviolatedconstraint*finishbill*
- 19. PAGE 18Cardinalities are not enoughincomplete modeldelivery tourordercsnb2nd packageincompleteloadcreate**ldfnrdeliv1lfddeliv2split+csnbdelivernext1retryundeliv.11notify*finishbill*
- 20. ArtifactsCreating a complete artifact modelActive and passive artifactsResearch problemsPAGE 19Outline
- 21. PAGE 20Conversationcsnbldfnrdeliv1lufnddeliv2csnba set of corresponding communication eventsbetween a fixed set of instancesC1: order1, delivery1C2: order2, delivery1, delivery2C3: order1, delivery2conversations can overlap
- 22. by interaction scenarios between instancesPAGE 21Specify ConversationsS0S1S2orderXdeliveryYorderXdeliveryYorderXdeliveryYsplitsplitsplitloadloadloaddeliverundeliv.billbill
- 23. by interaction scenarios between instancesPAGE 22Specify ConversationsS4S2orderXdeliveryYorderXdeliveryYdeliveryZsplitsplitloadloadretryundeliv.loadbilldeliverbill
- 24. PAGE 23Synthesize Conversation Artifactpackagesplit1load1orderXdeliveryYorderXdeliveryYorderXdeliveryYretry1splitsplitsplitloadloadloaddeliver1bill1undeliv.1deliverdeliverdeliverbillbillbillscenarios of the conversationartifact model of the conversation
- 25. PAGE 24Refine Process Modeldelivery tourorderloadcreate**packagesplit1load1split+retrydelivernext11deliver1retryundeliv.11bill1notifyundeliv.1*finishbill*
- 26. interaction: synchronouswith dynamic number of eventsPAGE 25Refine Process Model+
- 27. ArtifactsCreating a complete artifact modelActive and passive artifactsResearch problemsPAGE 26Outline
- 28. PAGE 271st Observation: Refined Class Model+++1*orderdelivery tourpackage
- 29. PAGE 282nd Observations: Active and Passive+++1*orderdelivery tourpackageactiveactivepassive
- 30. PAGE 29Active and Passive ArtifactsActiveActiveActiveActiveActiveActive Artifact“service”: activities, performed by agents driving the process,e.g. split an order, write an invoice, …can communicate (asynchronously)
- 31. PAGE 30Active and Passive ArtifactsActiveActiveActivepassivepassiveActivepassiveActive“channel”Active Artifact“service”: activities, performed by agents driving the process,e.g. split an order, write an invoice, …can communicate (asynchronously)Passive Artifact“data object”: attributes, can be updated, e.g. a packageorder of updates is constrained, triggered from outsiderestricts interaction between several active artifact instances
- 32. PAGE 31Services and ArtifactsServiceServiceServiceartifactartifactServiceartifactService“channel”Serviceactivities, performed by agents driving the process,e.g. split an order, write an invoice, …can communicate (asynchronously)Artifact = “data object”attributes, can be updated, e.g. a packageorder of updates is constrained, triggered from outsiderestricts interaction between several service instances
- 33. PAGE 32Relation to Behavioral ProgrammingArtifact package restricts service behavior of order and deliverypackageload only after split, i.e. load is blocked in any other statesplit1load1listen for event loadretry1deliver1bill1listen for event splitundeliv.1
- 34. PAGE 33Relation to Behavioral ProgrammingArtifact package restricts service behavior of order and deliverypackagesplit in order advances several package instancesordercreatesplit1load1retry1split+deliver1bill1notifyundeliv.1bill+bill in orderonly after all package instances listen for bill event
- 35. ArtifactsCreating a complete artifact modelActive and passive artifactsResearch problemsPAGE 34Outline
- 36. PAGE 351) Artifact SynthesisS1S2packagesplit1load1S3orderXdeliveryYorderXdeliveryYorderXdeliveryYservice choreographyretry1splitsplitsplitloadloadloaddeliver1bill1undeliv.1deliverdeliverdeliverbillbillbillartifact model of the conversationscenarios of the conversation
- 37. PAGE 361b) Service + Artifact SynthesisSSSAorderXdeliveryYorderXdeliveryYorderXdeliveryYAsplitsplitsplitloadloadloadSASdeliverdeliverdeliverscenarios between objectsprocess model of services + artifactsbillbillbill
- 38. PAGE 372) Service Synthesissolved for single-instance setting [Lohmann, Wolf 2010]delivery tourorder“by order”“by delivery”loadcreate**packagesplit1load1split+retry1delivernext1deliverservice models1retryundeliv.11bill1notifys.t. artifacts + services always reach the goal statesundeliv.1A1A1A1A1A1A1ACG++*finishbillannotated artifactsbehavioralconstraints*goal states(e.g. bill occurred)
- 39. 3) Adapter Synthesisgiven services and artifactswhere composition not always terminatessynthesize an adapter (artifact or service)s.t. the extended composition terminates4) Service/Artifact Discoverygiven an actual information system: writes log filessynthesize artifacts + servicess.t. the composition describes behavior in the log filesPAGE 38More Problems
- 40. Process = Services + Artifactsparadigm to capture multi-instance processes based on an object modelone artifact describes a conversation between several service instancesbears similarities to behavioral programmingResearch Problemsextend known problem by multi-instance dimensionPAGE 39Wrap Up