Declarative Choreographies for Artifacts-Reference-Cited by-同舟云学术

Declarative Choreographies for Artifacts

Published:2012 Issue: Volume: Page:420-434
ISSN:0302-9743
Container-title:Service-Oriented Computing
language:
Short-container-title:

Author:

Sun Yutian,Xu Wei,Su Jianwen

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-34321-6_28

Reference24 articles.

1. Conversation protocols: a formalism for specification and verification of reactive electronic services. Theo. Comp. Sci. 328(1-2), 19–37 (2004)

2. Bultan, T., Fu, X., Hull, R., Su, J.: Conversation specification: a new approach to design and analysis of e-service composition. In: Proc. Int. Conf. on World Wide Web, WWW (2003)

3. Lecture Notes in Computer Science;N. Busi,2006

4. Carbone, M., Honda, K., Yoshida, N., Milner, R., Brown, G., Ross-Talbot, S.: A theoretical basis of communication-centred concurrent programming (2006)

5. Cattell, R., Barry, D.: The Object Data Standard: ODMG 3.0. Morgan Kaufmann (2000)

Cited by 11 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Grammatical Approach for Administrative Workflow Design and their Distributed Execution Using Structured and Cooperatively Edited Mobile Artifacts;SN Computer Science;2024-04-27

2. Coordinating large distributed relational process structures;Software and Systems Modeling;2020-11-09

3. Toward configurable modeling for artifact‐centric business processes;Concurrency and Computation: Practice and Experience;2019-07-09

4. Coordinating Large Distributed Process Structures;Enterprise, Business-Process and Information Systems Modeling;2019

5. Modeling Process Interactions with Coordination Processes;Lecture Notes in Computer Science;2018