Declarative choreographies for artifacts
作者： Yutian Sun , Wei Xu , Jianwen Su
DOI: 10.1007/978-3-642-34321-6_28
关键词: Computer science 、 First-order logic 、 Control flow 、 Information model 、 Data modeling 、 Business process modeling 、 Artifact (software development) 、 Choreography 、 Programming language 、 Set (abstract data type)
摘要: A choreography models a collaboration among multiple participants. Existing specification languages focus mostly on message sequences and are weak in modeling data shared by participants used sequence constraints. They also assume fixed number of make no distinction between participant type instances. Artifact-centric business process give equal considerations both control flow activities. These provide solid foundation for specification. This paper makes two contributions. First, we develop language with four new features: (1) Each is an artifact schema (a part of) its information model visible to (2) Participant instance level correlations supported cardinality constraints such can be explicitly defined. (3) Messages have models, specifying (4) The declarative based mixture first order logic set binary operators from DecSerFlow. Second, realization mechanism show that subclass the specified our always realized. consists coordinator running each protocol
ucsb.edu
springer.com
sci-hub.st 参考文章(30)
Niels Lohmann, Karsten Wolf, Decidability results for choreography realization international conference on service oriented computing. pp. 92- 107 ,(2011) , 10.1007/978-3-642-25535-9_7
Munindar P. Singh, Information-driven interaction-oriented programming: BSPL, the blindingly simple protocol language adaptive agents and multi-agents systems. pp. 491- 498 ,(2011) , 10.5555/2031678.2031687
Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Verified Reference Implementations of WS-Security Protocols Lecture Notes in Computer Science. ,vol. 4184, pp. 88- 106 ,(2006) , 10.1007/11841197_6
Albert Fleischmann, Werner Schmidt, Christian Stary, Stefan Obermeier, Egon Börger, Subject-Oriented Business Process Management business process management. pp. 601- 621 ,(2012) , 10.1007/978-3-642-32392-8
Niels Lohmann, Karsten Wolf, Artifact-Centric Choreographies international conference on service oriented computing. pp. 32- 46 ,(2010) , 10.1007/978-3-642-17358-5_3
George A. Papadopoulos, Farhad Arbab, Coordination models and languages Advances in Computers. ,vol. 46, pp. 329- 400 ,(1998) , 10.1016/S0065-2458(08)60208-9
Johannes Maria Zaha, Alistair Barros, Marlon Dumas, Arthur ter Hofstede, Let's dance: a language for service behavior modeling international conference on move to meaningful internet systems. pp. 145- 162 ,(2006) , 10.1007/11914853_10
Mark Berler, Jeff Eastman, David Jordan, Craig Russell, Olaf Schadow, Torsten Stanienda, Fernando Velez, None, The object data standard: ODMG 3.0 Morgan Kaufmann Publishers Inc.. ,(2000)
Jianwen Su, Tevfik Bultan, Xiang Fu, Xiangpeng Zhao, Towards a theory of web service choreographies international conference on web services. pp. 1- 16 ,(2007) , 10.1007/978-3-540-79230-7_1
Niels Lohmann, Karsten Wolf, Realizability Is Controllability Lecture Notes in Computer Science. ,vol. 6194, pp. 110- 127 ,(2010) , 10.1007/978-3-642-14458-5_7