ON THE APPLICATION OF A THEORY FOR MOBILE SYSTEMS TO BUSINESS PROCESS MANAGEMENT

[1]  Wil M.P. van der Aalst,et al.  Three good reasons for using a Petri-net-based workflow management system , 1996 .

[2]  Roozbeh Farahbod,et al.  Specification and Validation of the Business Process Execution Language for Web Services , 2004, Abstract State Machines.

[3]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[4]  Eric. Newcomer,et al.  Understanding SOA with Web Services , 2004 .

[5]  Daniel Moldt,et al.  Object Oriented Petri Nets in Business Process Modeling , 2000, Business Process Management.

[6]  Antonio Brogi,et al.  From BPEL Processes to YAWL Workflows , 2006, WS-FM.

[7]  Wil M. P. van der Aalst,et al.  Inheritance of workflows: an approach to tackling problems related to change , 2002 .

[8]  Umeshwar Dayal,et al.  Organizing long-running activities with triggers and transactions , 1990, SIGMOD '90.

[9]  Aa Twan Basten,et al.  In terms of nets : system design with Petri nets and process algebra , 1998 .

[10]  Roberto Lucchi,et al.  Mobility Mechanisms in Service Oriented Computing , 2006, FMOODS.

[11]  Jos C. M. Baeten,et al.  A brief history of process algebra , 2005, Theor. Comput. Sci..

[12]  van der Wmp Wil Aalst,et al.  Workflow control-flow patterns : a revised view , 2006 .

[13]  C. R. Ramakrishnan,et al.  Logic based modeling and analysis of workflows , 1998, PODS '98.

[14]  Robin Milner,et al.  An Algebraic Definition of Simulation Between Programs , 1971, IJCAI.

[15]  Harold T. Hodes,et al.  The | lambda-Calculus. , 1988 .

[16]  Stephen A. White,et al.  Process Modeling Notations and Workflow Patterns , 2004 .

[17]  Wil M. P. van der Aalst,et al.  Verification of Workflow Nets , 1997, ICATPN.

[18]  Gul A. Agha,et al.  ACTORS - a model of concurrent computation in distributed systems , 1985, MIT Press series in artificial intelligence.

[19]  Priya Narasimhan,et al.  Service-Oriented Computing - ICSOC 2007, Fifth International Conference, Vienna, Austria, September 17-20, 2007, Proceedings , 2007, ICSOC.

[20]  José M. Troya,et al.  Compatibility and inheritance in software architectures , 2001, Sci. Comput. Program..

[21]  van der Wmp Wil Aalst,et al.  PATTERNS IN COLORED PETRI NETS , 2005 .

[22]  Antonio Vallecillo,et al.  Formalizing Web Service Choreographies , 2004, Electron. Notes Theor. Comput. Sci..

[23]  Rob J. van Glabbeek,et al.  Branching time and abstraction in bisimulation semantics , 1996, JACM.

[24]  Charles Lakos,et al.  From Coloured Petri Nets to Object Petri Nets , 1995, Application and Theory of Petri Nets.

[25]  Davide Sangiorgi,et al.  An Investigation into Functions as Processes , 1993, MFPS.

[26]  Björn Victor,et al.  The fusion calculus: expressiveness and symmetry in mobile processes , 1998, Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226).

[27]  Ekkart Kindler,et al.  On the semantics of EPCs: A vicious circle , 2002, EPK.

[28]  Carlos Delgado Kloos,et al.  Formal Verification of BPEL4WS Business Collaborations , 2004, EC-Web.

[29]  Robin Milner,et al.  Functions as processes , 1990, Mathematical Structures in Computer Science.

[30]  Davide Sangiorgi,et al.  A theory of bisimulation for the π-calculus , 2009, Acta Informatica.

[31]  Mathias Weske,et al.  Web Services: Foundation and Composition , 2003, Electron. Mark..

[32]  R. Milner,et al.  Bigraphical Reactive Systems , 2001, CONCUR.

[33]  Fabio Casati,et al.  Analysis and Management of Web Service Protocols , 2004, ER.

[34]  Harald Störrle,et al.  Semantics of Control-Flow in UML 2.0 Activities , 2004, 2004 IEEE Symposium on Visual Languages - Human Centric Computing.

[35]  Joachim Parrow,et al.  An Introduction to the π-Calculus , 2001, Handbook of Process Algebra.

[36]  Ismailcem Budak Arpinar,et al.  Formalization of Workflows and Correctness Issues in the Presence of Concurrency , 1999, Distributed and Parallel Databases.

[37]  Juliane Dehnert,et al.  Relaxed Soundness of Business Processes , 2001, CAiSE.

[38]  C. A. R. Hoare,et al.  A Theory of Communicating Sequential Processes , 1984, JACM.

[39]  Robin Milner,et al.  The Polyadic π-Calculus: a Tutorial , 1993 .

[40]  Gwen Salaün,et al.  Describing and reasoning on Web services using process algebra , 2004 .

[41]  W. F. Osgood.  Introduction to the calculus , 1922 .

[42]  Gwen Salaün,et al.  Using Process Algebra for Web Services: Early Results and Perspectives , 2004, TES.

[43]  Wil M. P. van der Aalst,et al.  On the Suitability of BPMN for Business Process Modelling , 2006, Business Process Management.

[44]  Rüdiger Valk.  Self-Modifying Nets, a Natural Extension of Petri Nets , 1978, ICALP.

[45]  Robin Milner,et al.  Communicating and mobile systems - the Pi-calculus , 1999 .

[46]  A. Turing.  On Computable Numbers, with an Application to the Entscheidungsproblem. , 1937 .

[47]  Davide Sangiorgi,et al.  The Pi-Calculus - a theory of mobile processes , 2001 .

[48]  van der Wmp Wil Aalst,et al.  Workflow resource patterns , 2004 .

[49]  Karsten Wolf,et al.  Transforming BPEL to Petri Nets , 2005, Business Process Management.

[50]  Marlon Dumas,et al.  Pattern Based Analysis of BPEL4WS , 2002 .

[51]  Bill Curtis,et al.  Process modeling , 1992, CACM.

[52]  Hans H. Kron,et al.  Programming-in-the-Large Versus Programming-in-the-Small , 1975 .

[53]  David N. Turner,et al.  The polymorphic Pi-calculus : theory and implementation , 1996 .

[54]  Munindar P. Singh,et al.  Workflow Agents , 1998, IEEE Internet Comput..

[55]  Amit P. Sheth,et al.  An overview of workflow management: From process modeling to workflow automation infrastructure , 1995, Distributed and Parallel Databases.

[56]  Wil M. P. van der Aalst,et al.  Workflow Patterns , 2004, Distributed and Parallel Databases.

[57]  Serge Haddad,et al.  Theoretical Aspects of Recursive Petri Nets , 1999, ICATPN.

[58]  Axel Martens.  On Compatibility of Web Services , 2003 .

[59]  Marlon Dumas,et al.  Service Interaction Patterns , 2005, Business Process Management.

[60]  Mathias Weske,et al.  Business Process Management: A Survey , 2003, Business Process Management.

[61]  Daniel Moldt,et al.  Pattern Based Workflow Design Using Reference Nets , 2003, Business Process Management.

[62]  Roy Fielding,et al.  Architectural Styles and the Design of Network-based Software Architectures"; Doctoral dissertation , 2000 .

[63]  Davide Sangiorgi,et al.  A Theory of Bisimulation for the pi-Calculus , 1993, CONCUR.

[64]  W.M.P. van der Aalst,et al.  YAWL: yet another workflow language (revised version) , 2003 .

[65]  Jos C. M. Baeten,et al.  Process Algebra , 2007, Handbook of Dynamic System Modeling.

[66]  Massimo Mecella,et al.  When are Two Web Services Compatible? , 2004, TES.

[67]  Luca Cardelli,et al.  Mobile Ambients , 1998, FoSSaCS.

[68]  Wolfgang Reisig,et al.  An Operating Guideline Approach to the SOA , 2005 .

[69]  Robin Milner,et al.  A Calculus of Mobile Processes, II , 1992, Inf. Comput..

[70]  R. Tibshirani,et al.  An introduction to the bootstrap , 1993 .

[71]  Uwe Nestmann.  Welcome to the Jungle: A Subjective Guide to Mobile Process Calculi , 2006, CONCUR.

[72]  Cédric Fournet,et al.  The reflexive CHAM and the join-calculus , 1996, POPL '96.

[73]  Jayadev Misra,et al.  Workflow Patterns in Orc , 2006, COORDINATION.

[74]  Holger Schlingloff,et al.  Modeling and Model Checking Web Services , 2005, LCMAS.

[75]  C. Petri.  Kommunikation mit Automaten , 1962 .

[76]  Proceedings of the 1990 ACM SIGMOD International Conference on Management of Data, Atlantic City, NJ, May 23-25, 1990. , 1990, SIGMOD 1990.

[77]  David Park,et al.  Concurrency and Automata on Infinite Sequences , 1981, Theoretical Computer Science.

[78]  Axel Martens,et al.  Analyzing Web Service Based Business Processes , 2005, FASE.

[79]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.

[80]  Roberto Bruni,et al.  SCC: A Service Centered Calculus , 2006, WS-FM.

[81]  Robin Milner,et al.  Lectures on a Calculus for Communicating Systems , 1984, Seminar on Concurrency.

[82]  Gerhard Knolmayer,et al.  Modeling Processes and Workflows by Business Rules , 2000, Business Process Management.

[83]  Xiang Fu,et al.  Analysis of interacting BPEL web services , 2004, WWW '04.

[84]  Wil M. P. van der Aalst,et al.  Formalization and verification of event-driven process chains , 1999, Inf. Softw. Technol..

[85]  Robin Milner,et al.  Flowgraphs and Flow Algebras , 1979, JACM.

[86]  Frank Leymann,et al.  Production Workflow: Concepts and Techniques , 1999 .

[87]  Marlon Dumas,et al.  Service interaction patterns : towards a reference framework for service-based business process interconnection , 2005 .

[88]  Roberto Gorrieri,et al.  Reasoning About Interaction Patterns in Choreography , 2005, EPEW/WS-FM.

[89]  Cosimo Laneve,et al.  Foundations of Web Transactions , 2005, FoSSaCS.

[90]  Roberto Gorrieri,et al.  Choreography and Orchestration: A Synergic Approach for System Design , 2005, ICSOC.

[91]  Alberto Martelli,et al.  A Priori Conformance Verification for Guaranteeing Interoperability in Open Environments , 2006, ICSOC.

[92]  Anne H. H Ngu,et al.  Web Information Systems Engineering - WISE 2005, 6th International Conference on Web Information Systems Engineering, New York, NY, USA, November 20-22, 2005, Proceedings , 2005, WISE.

[93]  Hartmut Ehrig,et al.  Mathematisch-strukturelle Grundlagen der Informatik, 2. Auflage , 2001, Mathematisch-strukturelle Grundlagen der Informatik, 2. Auflage.

[94]  J. Bergstra,et al.  Handbook of Process Algebra , 2001 .

[95]  Karsten Wolf,et al.  Operating guidelines - an automata-theoretic foundation for the service-oriented architecture , 2005, Fifth International Conference on Quality Software (QSIC'05).

[96]  Moe Thandar Wynn,et al.  Achieving a General, Formal and Decidable Approach to the OR-Join in Workflow Using Reset Nets , 2005, ICATPN.

[97]  Stephane Gagnon,et al.  BPM and SOA: Synergies and Challenges , 2005, WISE.

[98]  Wil M. P. van der Aalst,et al.  The Application of Petri Nets to Workflow Management , 1998, J. Circuits Syst. Comput..

[99]  Martín Abadi,et al.  A calculus for cryptographic protocols: the spi calculus , 1997, CCS '97.

[100]  Roberto Gorrieri,et al.  : A Calculus for Service Oriented Computing , 2006, ICSOC.

[101]  van der Wmp Wil Aalst,et al.  Workflow data patterns , 2004 .

[102]  Volker Gruhn,et al.  FUNSOFT nets: a Petri-net based software process modeling language , 1991, Proceedings of the Sixth International Workshop on Software Specification and Design.

[103]  Andrew William Roscoe,et al.  The Theory and Practice of Concurrency , 1997 .

[104]  Andrea Ferrara,et al.  Web services: a process algebra approach , 2004, ICSOC '04.

[105]  W.M.P. van der Aalst,et al.  Inheritance of workflow processes: Four problems - one solution? , 1999 .

[106]  Donald Ervin Knuth,et al.  The Art of Computer Programming , 1968 .

[107]  Peter Bernus,et al.  Handbook on Architectures of Information Systems , 1999 .

[108]  Gustavo Alonso,et al.  Web Services: Concepts, Architectures and Applications , 2009 .

[109]  Ivan Lanese,et al.  Towards a Unifying Theory for Web Services Composition , 2006, WS-FM.

[110]  Kurt Jensen.  Coloured Petri nets , 1986 .