Verification of Choreographies During Execution Using the Reactive Event Calculus
暂无分享,去创建一个
[1] Michael Wooldridge,et al. Artificial Intelligence Today: Recent Trends and Developments , 1999 .
[2] Winfried Lamersdorf,et al. Service-Oriented Computing - ICSOC 2006, 4th International Conference, Chicago, IL, USA, December 4-7, 2006, Proceedings , 2006, ICSOC.
[3] Li Jing,et al. Conformance Validation between Choreography and Orchestration , 2007 .
[4] Evelina Lamma,et al. Verifiable agent interaction in abductive logic programming: The SCIFF framework , 2008, TOCL.
[5] Marek J. Sergot,et al. Using the event calculus for tracking the normative state of contracts , 2005, Int. J. Cooperative Inf. Syst..
[6] Howard Falk,et al. Formal Verification of Timed Systems: A Survey and Perspective , 2004, Proc. IEEE.
[7] Michael Wooldridge,et al. Artificial Intelligence Today , 1999, Lecture Notes in Computer Science.
[8] Nihan Kesim Cicekli,et al. Automated Web Services Composition with the Event Calculus , 2007, ESAW.
[9] Andrew D. Gordon,et al. Verified Reference Implementations of WS-Security Protocols , 2006, WS-FM.
[10] Mohsen Rouached,et al. A semantical framework to engineering WSBPEL processes , 2009, Inf. Syst. E Bus. Manag..
[11] Alberto Martelli,et al. A Priori Conformance Verification for Guaranteeing Interoperability in Open Environments , 2006, ICSOC.
[12] Murray Shanahan,et al. The Event Calculus Explained , 1999, Artificial Intelligence Today.
[13] Marlon Dumas,et al. Service Interaction Modeling: Bridging Global and Local Views , 2006, 2006 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC'06).
[14] George Spanoudakis,et al. Run-time monitoring of requirements for systems composed of Web-services: initial implementation and evaluation experience , 2005, IEEE International Conference on Web Services (ICWS'05).
[15] Luciano Baresi,et al. Test and Analysis of Web Services , 2007, Test and Analysis of Web Services.
[16] Evelina Lamma,et al. Computational Logic for Run-Time Verification of Web Services Choreographies: Exploiting the SOCS-SI Tool , 2006, WS-FM.
[17] Mathias Weske,et al. Local Enforceability in Interaction Petri Nets , 2007, BPM.
[18] Joseph Y. Halpern,et al. “Sometimes” and “not never” revisited: on branching versus linear time temporal logic , 1986, JACM.
[19] Marek J. Sergot,et al. A logic-based calculus of events , 1989, New Generation Computing.
[20] Thomas A. Henzinger,et al. Real-Time Logics: Complexity and Expressiveness , 1993, Inf. Comput..
[21] Wil M. P. van der Aalst,et al. DecSerFlow: Towards a Truly Declarative Service Flow Language , 2006, WS-FM.
[22] Munindar P. Singh,et al. Flexible protocol specification and execution: applying event calculus planning using commitments , 2002, AAMAS '02.
[23] T. D. Fletcher,et al. Web Services Choreography Description Language Version 1.0, W3C , 2004 .
[24] George Spanoudakis,et al. Monitoring WS-Agreement s: An Event Calculus-Based Approach , 2007, Test and Analysis of Web Services.
[25] Evelina Lamma,et al. COMPLIANCE VERIFICATION OF AGENT INTERACTION: A LOGIC-BASED SOFTWARE TOOL , 2006, Appl. Artif. Intell..