Multiparty Contracts: Agreeing and Implementing Interorganizational Processes
暂无分享,去创建一个
Wil M. P. van der Aalst | Niels Lohmann | Karsten Wolf | Christian Stahl | Wil M.P. van der Aalst | Peter Massuthe | Niels Lohmann | C. Stahl | K. Wolf | Peter Massuthe
[1] Erich J. Neuhold,et al. Matchmaking for Business Processes Based on Choreographies , 2004, Int. J. Web Serv. Res..
[2] Niels Lohmann,et al. Why Does My Service Have No Partners? , 2009, WS-FM.
[3] Wolfgang Reisig,et al. An Operating Guideline Approach to the SOA , 2005 .
[4] Mario Bravetti,et al. A Theory for Strong Service Compliance , 2007, COORDINATION.
[5] Christophe Sibertin-Blanc. CoOperative Objects: Principles, Use and Implementation , 2001, Concurrent Object-Oriented Programming and Petri Nets.
[6] Rob J. van Glabbeek,et al. Branching time and abstraction in bisimulation semantics , 1996, JACM.
[7] Cosimo Laneve,et al. The Must Preorder Revisited , 2007, CONCUR.
[8] Arend Rensink,et al. Fair testing , 1995, Inf. Comput..
[9] Patrick Cousot,et al. Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints , 1977, POPL.
[10] Tricia Walker,et al. Computer science , 1996, English for academic purposes series.
[11] Massimo Mecella,et al. When are Two Web Services Compatible? , 2004, TES.
[12] Niels Lohmann,et al. A Feature-Complete Petri Net Semantics for WS-BPEL 2.0 , 2007, WS-FM.
[13] Gérard Berthelot. Transformations and Decompositions of Nets , 1986 .
[14] Sagar Chaki,et al. Dynamic Component Substitutability Analysis , 2005, FM.
[15] Luca Padovani,et al. A theory of contracts for Web services , 2007, TOPL.
[16] Andrew Whinston,et al. Frontiers of Electronic Commerce , 1996 .
[17] Wil M. P. van der Aalst,et al. The Application of Petri Nets to Workflow Management , 1998, J. Circuits Syst. Comput..
[18] Mario Bravetti,et al. Contract based multi-party service composition , 2007, FSEN'07.
[19] Roberto Gorrieri,et al. Choreography and Orchestration: A Synergic Approach for System Design , 2005, ICSOC.
[20] Jerry R. Hobbs,et al. DAML-S: Semantic Markup for Web Services , 2001, SWWS.
[21] Marlon Dumas,et al. Let's Dance: A Language for Service Behavior Modeling , 2006, OTM Conferences.
[22] Wil M.P. van der Aalst. Inheritance of Interorganizational Workflows to Enable Business-to-Business E-Commerce , 2002 .
[23] R. V. Glabbeek. The Linear Time-Branching Time Spectrum I The Semantics of Concrete , Sequential ProcessesR , 2007 .
[24] W. Brauer,et al. Advances in Petri nets 1986, part I on Petri nets: central models and their properties , 1987 .
[25] C. A. R. Hoare,et al. Stuck-Free Conformance , 2004, CAV.
[26] C. Q. Lee,et al. The Computer Journal , 1958, Nature.
[27] Winfried Lamersdorf,et al. Interorganizational Workflow Managment with Mobile Agents in COSM , 1996, PAAM.
[28] Niels Lohmann,et al. Operating Guidelines for Finite-State Services , 2007, ICATPN.
[29] Jakob Rehof,et al. Zing: A Model Checker for Concurrent Software , 2004, CAV.
[30] Amit P. Sheth,et al. Processes Driving the Networked Economy: Process Portals, Process Vortexes, and Dynamically Trading Processes , 1999 .
[31] Walter Vogler,et al. Modular Construction and Partial Order Semantics of Petri Nets , 1992, Lecture Notes in Computer Science.
[32] Wil M. P. van der Aalst,et al. Inheritance of Interorganizational Workflows to Enable Business-to-Business , 2002, Electron. Commer. Res..
[33] Wil M. P. van der Aalst,et al. Inheritance of behavior , 2001, J. Log. Algebraic Methods Program..
[34] Tadao Murata,et al. Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.
[35] Francisco Curbera,et al. Web Services Business Process Execution Language Version 2.0 , 2007 .
[36] Munindar P. Singh,et al. Representing and Reasoning about Commitments in Business Processes , 2007, AAAI.
[37] Thomas A. Henzinger,et al. Web service interfaces , 2005, WWW '05.
[38] Wil M. P. van der Aalst,et al. Inheritance of workflows: an approach to tackling problems related to change , 2002 .
[39] Karsten Wolf,et al. LoLA: A Low Level Analyser , 2000, ICATPN.
[40] Niels Lohmann,et al. Correcting Deadlocking Service Choreographies Using a Simulation-Based Graph Edit Distance , 2008, BPM.
[41] Stephan Merz,et al. Model Checking , 2000 .
[42] T. D. Fletcher,et al. Web Services Choreography Description Language Version 1.0, W3C , 2004 .
[43] Amit P. Sheth,et al. A Multilevel Secure Workflow Management System , 1999, CAiSE.
[44] Mathias Weske,et al. BPEL4Chor: Extending BPEL for Modeling Choreographies , 2007, IEEE International Conference on Web Services (ICWS 2007).
[45] Niels Lohmann,et al. Analyzing interacting WS-BPEL processes using flexible model generation , 2008, Data Knowl. Eng..
[46] Vladimir Zwass,et al. Electronic Commerce: Structures and Issues , 1996, Int. J. Electron. Commer..
[47] Fabio Casati,et al. Representing, analysing and managing Web service protocols , 2006, Data Knowl. Eng..
[48] Karsten Wolf,et al. Operating guidelines - an automata-theoretic foundation for the service-oriented architecture , 2005, Fifth International Conference on Quality Software (QSIC'05).
[49] Eric Andonoff,et al. Specifying Web Workflow Services for Finding Partners in the Context of Loose Inter-organizational Workflow , 2005, Business Process Management.
[50] Wil M. P. van der Aalst,et al. From Public Views to Private Views - Correctness-by-Design for Services , 2007, WS-FM.
[51] T. House. A FRAMEWORK FOR GLOBAL ELECTRONIC COMMERCE , 2021, Profit over Privacy.
[52] Rocco De Nicola,et al. Testing Equivalences for Processes , 1984, Theor. Comput. Sci..
[53] Flemming Nielson,et al. Principles of Program Analysis , 1999, Springer Berlin Heidelberg.
[54] Akhil Kumar,et al. Workflow support for electronic commerce applications , 2002, Decis. Support Syst..
[55] R. Wigand,et al. Electronic Markets and Virtual Value Chains on the Information Superhighway , 1995 .
[56] Thomas W. Malone,et al. Electronic Markets and Electronic Hierarchies: Effects of Information Technology on Market Structure , 1986 .
[57] Wolfgang Reisig,et al. Analyzing BPEL4Chor: Verification and Participant Synthesis , 2007, WS-FM.
[58] Niels Lohmann,et al. Analyzing Interacting BPEL Processes , 2006, Business Process Management.
[59] Mike P. Papazoglou,et al. Agent-oriented technology in support of e-business , 2001, CACM.
[60] Niels Lohmann,et al. Extending the compatibility notion for abstract WS-BPEL processes , 2008, WWW.
[61] Jüri Vain,et al. Model-Based Testing of Reactive Systems , 2009 .
[62] Antonio Brogi,et al. A behavioural congruence for web services , 2007, FSEN'07.
[63] Mike P. Papazoglou,et al. Web Services - Principles and Technology , 2007 .
[64] Kurt Jensen. Coloured Petri Nets , 1992, EATCS Monographs in Theoretical Computer Science.
[65] Wil M. P. van der Aalst,et al. Inheritance of Interorganizational Workflows: How to Agree to Disagree Without Loosing Control? , 2003, Inf. Technol. Manag..
[66] Axel Martens,et al. Analyzing Web Service Based Business Processes , 2005, FASE.
[67] Karsten Wolf,et al. An algorithm for matching non-deterministic services with operating guidelines , 2006, Int. J. Bus. Process. Integr. Manag..
[68] Ekkart Kindler,et al. A Compositional Partial Order Semantics for Petri Net Components , 1997, ICATPN.
[69] Jakob Rehof,et al. Models for Contract Conformance , 2004, ISoLA.