Declarative choreographies for artifacts

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 7636 LNCS, Issue , 2012, Pages 420-434

  Sun, Yutian ^a   Xu, Wei ^b   Su, Jianwen ^a  

^a Santa Barbara   (United States)

^b FUDAN UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

DISTRIBUTED COMPUTER SYSTEMS; FORMAL LOGIC; SPECIFICATION LANGUAGES; SPECIFICATIONS;

BUSINESS PROCESS MODEL; CARDINALITY CONSTRAINTS; CHOREOGRAPHY LANGUAGES; CHOREOGRAPHY MODELS; FIRST ORDER LOGIC; INFORMATION MODELING; LEVEL CORRELATION; MESSAGE SEQUENCES;

MODELING LANGUAGES;

EID: 84868356293     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-34321-6_28     Document Type: Conference Paper

References (24)

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. Busi, N., Gorrieri, R., Guidi, C., Lucchi, R., Zavattaro, G.: Choreography and Orchestration Conformance for System Design. In: Ciancarini, P., Wiklicky, H. (eds.) COORDINATION 2006. LNCS, vol. 4038, pp. 63-81. Springer, Heidelberg (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)
6. Decker, G., Kopp, O., Leymann, F., Weske, M.: BPEL4Chor: Extending BPEL for Modeling Choreographies. In: Proc. 5th Int. Conf. on Web Services, ICWS (2007)
7. Fu, X., Bultan, T., Su, J.: Analysis of interacting BPEL web services. In: Proc. Int. Conf. on World Wide Web, WWW (2004)
8. Hammer, M., Champy, J.: Reengineering the Corporation: A Menifesto for Business Revolution. Harper Business Press, New York (1993)
9. Hanson, J., Nandi, P., Kumaran, S.: Conversation support for business process integration. In: Proc. Int. Conf. on Enterprise Distributed Object Computing, EDOC (2002)
10. Hull, R., Llirbat, F., Simon, E., Su, J., Dong, G., Kumar, B., Zhou, G.: DeclarativeWorkflows that Support Easy Modification and Dynamic Browsing. In: Proc. Int. Joint Conf. on Work Activities Coordination and Collaboration, WACC (1999)
11. Katila, R., Mang, P.Y.: Exploiting technological oppurtonities: The timing of collaborations. Research Policy 32(2), 317-332 (2003)
12. Kopp, O., Engler, L., van Lessen, T., Leymann, F., Nitzsche, J.: Interaction Choreography Models in BPEL: Choreographies on the Enterprise Service Bus. In: Fleischmann, A., Schmidt, W., Singer, R., Seese, D. (eds.) S-BPM ONE 2010. CCIS, vol. 138, pp. 36-53. Springer, Heidelberg (2011)
13. Liu, C., Li, Q., Zhao, X.: Challenges and opportunities in collaborative business process management: Overview of recent advances and introduction to the special issue. Information Systems Frontiers 11(3), 201-209 (2009)
14. Lohmann, N., Wolf, K.: Artifact-Centric Choreographies. In: Maglio, P.P., Weske, M., Yang, J., Fantinato, M. (eds.) ICSOC 2010. LNCS, vol. 6470, pp. 32-46. Springer, Heidelberg (2010)
15. Lohmann, N., Wolf, K.: Realizability Is Controllability. In: Laneve, C., Su, J. (eds.) WS-FM 2009. LNCS, vol. 6194, pp. 110-127. Springer, Heidelberg (2010)
16. Lohmann, N., Wolf, K.: Decidability Results for Choreography Realization. In: Kappel, G., Maamar, Z., Motahari-Nezhad, H.R. (eds.) ICSOC 2011. LNCS, vol. 7084, pp. 92-107. Springer, Heidelberg (2011)
17. Nigam, A., Caswell, N.S.: Business artifacts: An approach to operational specification. IBM Systems Journal 42(3), 428-445 (2003)
18. Pfitzner, K., Decker, G., Kopp, O., Leymann, F.: Web Service Choreography Configurations for BPMN. In: Di Nitto, E., Ripeanu, M. (eds.) ICSOC 2007. LNCS, vol. 4907, pp. 401-412. Springer, Heidelberg (2009)
19. Singh, M.: Information-driven interaction-oriented programming: BSPL, the blindingly simple protocol language. In: Proc. Int. Conf. on Autonomous Agents and Multiagent Systems (AAMAS), pp. 491-498 (2011)
20. Singh, M.: LoST: Local state transfer. In: Proc. Int. Conf. on Web Services, ICWS (2011)
21. Su, J., Bultan, T., Fu, X., Zhao, X.: Towards a Theory of Web Service Choreographies. In: Dumas, M., Heckel, R. (eds.) WS-FM 2007. LNCS, vol. 4937, pp. 1-16. Springer, Heidelberg (2008)
22. van der Aalst, W.M.P., Pesic, M.: DecSerFlow: Towards a Truly Declarative Service Flow Language. In: Bravetti, M., Núñez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol. 4184, pp. 1-23. Springer, Heidelberg (2006)
23. Vardi, M., Wolper, P.: Reasoning About Infinite Computations. Inf. Comput. 115(1) (1994)
24. Zaha, J.M., Barros, A., Dumas, M., ter Hofstede, A.: Let's Dance: A Language for Service Behavior Modeling. In: Meersman, R., Tari, Z. (eds.) OTM 2006. LNCS, vol. 4275, pp. 145-162. Springer, Heidelberg (2006)