Local Enforceability in Interaction Petri Nets
暂无分享,去创建一个
[1] Mathias Weske,et al. Behavioral Consistency for B2B Process Integration , 2007, CAiSE.
[2] Remco M. Dijkman,et al. Service-Oriented Design: A Multi-Viewpoint Approach , 2004, Int. J. Cooperative Inf. Syst..
[3] Xiang Fu,et al. Synchronizability of conversations among Web services , 2005, IEEE Transactions on Software Engineering.
[4] Xiang Fu,et al. Conversation protocols: a formalism for specification and verification of reactive electronic services , 2003, Theor. Comput. Sci..
[5] Rob J. van Glabbeek,et al. Branching time and abstraction in bisimulation semantics , 1996, JACM.
[6] Matjaz B. Juric,et al. Business process execution language for web services , 2004 .
[7] Mathias Weske,et al. The P2P Approach to Interorganizational Workflows , 2001, International Conference on Advanced Information Systems Engineering.
[8] Marlon Dumas,et al. Service Interaction Modeling: Bridging Global and Local Views , 2006, 2006 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC'06).
[9] Perdita Stevens,et al. Modelling Recursive Calls with UML State Diagrams , 2003, FASE.
[10] Tony Andrews. Business Process Execution Language for Web Services Version 1.1 , 2003 .
[11] Wil M. P. van der Aalst,et al. Inheritance of workflows: an approach to tackling problems related to change , 2002 .
[12] Fabio Casati,et al. Service-Oriented Computing - ICSOC 2005, Third International Conference, Amsterdam, The Netherlands, December 12-15, 2005, Proceedings , 2005, ICSOC.
[13] Robin Milner,et al. A Calculus of Mobile Processes, II , 1992, Inf. Comput..
[14] Andrew D. Gordon,et al. Verified Reference Implementations of WS-Security Protocols , 2006, WS-FM.
[15] Rocco De Nicola. Programming Languages and Systems, 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings , 2007, ESOP.
[16] Alberto Martelli,et al. A Priori Conformance Verification for Guaranteeing Interoperability in Open Environments , 2006, ICSOC.
[17] Wil M. P. van der Aalst,et al. DecSerFlow: Towards a Truly Declarative Service Flow Language , 2006, WS-FM.
[18] T. D. Fletcher,et al. Web Services Choreography Description Language Version 1.0, W3C , 2004 .
[19] Axel Martens,et al. Analyzing Web Service Based Business Processes , 2005, FASE.
[20] Nobuko Yoshida,et al. Structured Communication-Centred Programming for Web Services , 2007, ESOP.
[21] Marlon Dumas,et al. Let's Dance: A Language for Service Behavior Modeling , 2006, OTM Conferences.
[22] Wil vanderAalst,et al. Workflow Management: Models, Methods, and Systems , 2004 .
[23] Winfried Lamersdorf,et al. Service-Oriented Computing - ICSOC 2006, 4th International Conference, Chicago, IL, USA, December 4-7, 2006, Proceedings , 2006, ICSOC.
[24] Roberto Gorrieri,et al. Choreography and Orchestration: A Synergic Approach for System Design , 2005, ICSOC.