Declarative Choreographies for Artifacts
暂无分享,去创建一个
[1] Farhad Arbab,et al. Coordination Models and Languages , 1998, Adv. Comput..
[2] Anil Nigam,et al. Business artifacts: An approach to operational specification , 2003, IBM Syst. J..
[3] Marlon Dumas,et al. Let's Dance: A Language for Service Behavior Modeling , 2006, OTM Conferences.
[4] Niels Lohmann,et al. Artifact-Centric Choreographies , 2010, ICSOC.
[5] Xiang Fu,et al. Conversation specification: a new approach to design and analysis of e-service composition , 2003, WWW '03.
[6] Niels Lohmann,et al. Decidability Results for Choreography Realization , 2011, ICSOC.
[7] Pierre Wolper,et al. Reasoning About Infinite Computations , 1994, Inf. Comput..
[8] Mathias Weske,et al. BPEL4Chor: Extending BPEL for Modeling Choreographies , 2007, IEEE International Conference on Web Services (ICWS 2007).
[9] Niels Lohmann,et al. Realizability is controllability , 2009, ZEUS.
[10] M. Hammer,et al. REENGINEERING THE CORPORATION: A MANIFESTO FOR BUSINESS REVOLUTION , 1995 .
[11] Riitta Katila,et al. Exploiting technological opportunities: the timing of collaborations , 2003 .
[12] Roberto Gorrieri,et al. Choreography and Orchestration Conformance for System Design , 2006, COORDINATION.
[13] Oliver Kopp,et al. Interaction Choreography Models in BPEL: Choreographies on the Enterprise Service Bus , 2010, S-BPM ONE.
[14] Wil M. P. van der Aalst,et al. DecSerFlow: Towards a Truly Declarative Service Flow Language , 2006, WS-FM.
[15] M. Hammer,et al. Reengineering the Corporation , 1993 .
[16] R. Milner,et al. A Theoretical Basis of Communication-Centred Concurrent Programming , 2005 .
[17] R. G. G. Cattell,et al. Recent books , 2000, IEEE Spectrum.
[18] Oliver Kopp,et al. Web Service Choreography Configurations for BPMN , 2007, ICSOC Workshops.
[19] Jianwen Su,et al. Declarative workflows that support easy modification and dynamic browsing , 1999 .
[20] Xiang Fu,et al. Conversation protocols: a formalism for specification and verification of reactive electronic services , 2003, Theor. Comput. Sci..
[21] Munindar P. Singh. LoST: Local State Transfer -- An Architectural Style for the Distributed Enactment of Business Protocols , 2011, 2011 IEEE International Conference on Web Services.
[22] Andrew D. Gordon,et al. Verified Reference Implementations of WS-Security Protocols , 2006, WS-FM.
[23] Qing Li,et al. Challenges and opportunities in collaborative business process management: Overview of recent advances and introduction to the special issue , 2009, Inf. Syst. Frontiers.
[24] Xiang Fu,et al. Towards a Theory of Web Service Choreographies , 2007, WS-FM.
[25] Munindar P. Singh. Information-driven interaction-oriented programming: BSPL, the blindingly simple protocol language , 2011, AAMAS.
[26] Santhosh Kumaran,et al. Conversation support for business process integration , 2002, Proceedings. Sixth International Enterprise Distributed Object Computing.
[27] Xiang Fu,et al. Analysis of interacting BPEL web services , 2004, WWW '04.
[28] Zahir Tari,et al. On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE, OTM Confederated International Conferences, CoopIS, DOA, GADA, and ODBASE 2006, Montpellier, France, October 29 - November 3, 2006. Proceedings, Part I , 2006, OTM Conferences.