Cross-Organizational Business Processes Modeling Using Design-by-Contract Approach
暂无分享,去创建一个
[1] Parisa Ghodous,et al. A Novel Approach to Ensure Interoperability Based on a Cloud Infrastructure , 2012, ISPE CE.
[2] Mike P. Papazoglou,et al. Enforcing compliance on business processes through the use of patterns , 2011, ECIS.
[3] Wil M. P. van der Aalst,et al. Multiparty Contracts: Agreeing and Implementing Interorganizational Processes , 2010, Comput. J..
[4] Munindar P. Singh,et al. Business Modeling via Commitments , 2009, SOCASE.
[5] Parisa Ghodous,et al. Interoperability framework for dynamic manufacturing networks , 2012, Comput. Ind..
[6] Marlon Dumas,et al. Let's Dance: A Language for Service Behavior Modeling , 2006, OTM Conferences.
[7] Mark A. Ardis,et al. Proceedings of the second workshop on Formal methods in software practice , 1998 .
[8] Hajo A. Reijers,et al. Product-Based Workflow Design , 2003, J. Manag. Inf. Syst..
[9] George S. Avrunin,et al. Property specification patterns for finite-state verification , 1998, FMSP '98.
[10] Wil M. P. van der Aalst,et al. DecSerFlow: Towards a Truly Declarative Service Flow Language , 2006, WS-FM.
[11] Parisa Ghodous,et al. Product-based business processes interoperability , 2013, SAC '13.
[12] Laura Bocchi,et al. A Theory of Design-by-Contract for Distributed Multiparty Interactions , 2010, CONCUR.
[13] Andrew D. Gordon,et al. Verified Reference Implementations of WS-Security Protocols , 2006, WS-FM.
[14] Michael Guttman,et al. Real-Life MDA: Solving Business Problems with Model Driven Architecture , 2006 .
[15] Gary Brown,et al. Scribbling Interactions with a Formal Foundation , 2011, ICDCIT.
[16] 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.
[17] Paola Mello,et al. Declarative specification and verification of service choreographiess , 2010, TWEB.
[18] Suhaimi Ibrahim,et al. A comparative study of process mediator components that support behavioral incompatibility , 2011, ArXiv.
[19] David Frankel,et al. Model Driven Architecture: Applying MDA to Enterprise Computing , 2003 .
[20] Paul Gastin,et al. CONCUR 2010 - Concurrency Theory, 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010. Proceedings , 2010, CONCUR.
[21] Andrew Y. C. Nee,et al. Advanced Design and Manufacturing Based on STEP , 2009 .
[22] Mira Mezini,et al. Hybrid web service composition: business processes meet business rules , 2004, ICSOC '04.
[23] van der Wmp Wil Aalst,et al. Dealing with workflow change: identification of issues and solutions , 2000 .
[24] Cesare Pautasso,et al. Emerging Web Services Technology , 2007 .
[25] Gerhard Knolmayer,et al. Modeling Processes and Workflows by Business Rules , 2000, Business Process Management.
[26] Koteshwar Chirumalla,et al. Project: CRESCENDO - Collaborative and Robust Engineering using Simulation Capability Enabling Next Design Optimisation , 2009 .
[27] Mike P. Papazoglou,et al. Service oriented architectures: approaches, technologies and research issues , 2007, The VLDB Journal.
[28] Marwane El Kharbili,et al. Bringing Agility to Business Process Management: Rules Deployment in an SOA , 2008, WEWST@ECOWS.
[29] Soumya Simanta,et al. Why Standards Are Not Enough to Guarantee End-to-End Interoperability , 2008, Seventh International Conference on Composition-Based Software Systems (ICCBSS 2008).
[30] Thomas R. Kramer,et al. STEP in a Nutshell , 2009 .
[31] Maria-Eugenia Iacob,et al. Achieving Business Process Flexibility with Business Rules , 2008, 2008 12th International IEEE Enterprise Distributed Object Computing Conference.
[32] Zakaria Maamar,et al. Service-Oriented Computing: Agents, Semantics, and Engineering, AAMAS 2007 International Workshop, SOCASE 2007, Honolulu, HI, USA, May 14, 2007, Proceedings , 2007, SOCASE.
[33] Mathias Weske,et al. Business Process Management: A Survey , 2003, Business Process Management.