Specification and verification of declarative open interaction models: A logic-based approach

Lecture Notes in Business Information Processing

Volumn 56 LNBI, Issue , 2010, Pages 1-402

  Montali, Marco ^a  

^a UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SYSTEM FIREWALLS; ENTERPRISE RESOURCE MANAGEMENT; KNOWLEDGE BASED SYSTEMS; LINGUISTICS; LOGIC PROGRAMMING; MULTI AGENT SYSTEMS; QUERY LANGUAGES; SEMANTICS; SPECIFICATION LANGUAGES; SPECIFICATIONS; TEMPORAL LOGIC;

ABDUCTIVE LOGIC PROGRAMMING; APPLICATION DOMAINS; AUTONOMOUS ENTITIES; BUSINESS CONSTRAINTS; BUSINESS PROCESS; BUSINESS PROCESS MANAGEMENT; CLINICAL GUIDELINE; COMPLIANCE VERIFICATION; COMPUTATIONAL LOGIC; DECLARATIVE SEMANTICS; DEVELOPED MODEL; DISTINCTIVE FEATURES; EVENT CALCULUS; EXHAUSTIVE LISTS; EXPERIMENTAL EVALUATION; EXTENDED VERSIONS; FORMAL PROPERTIES; HETEROGENEOUS SYSTEMS; INTERACTION MODEL; LINEAR TEMPORAL LOGIC; LOGIC-BASED APPROACH; MODEL CHECKER; MODELING LANGUAGES; MODELING TECHNIQUE; POSTERIORI; PROCESS MINING; PROOF PROCEDURES; REASONING TECHNIQUES; RULE-BASED LANGUAGE; RUN-TIME VERIFICATION; RUNTIMES; SERVICE ORIENTED COMPUTING; SPECIFICATION AND VERIFICATION; STATIC VERIFICATION; STRATEGIC GOALS; THEORETICAL ASPECTS; THEORETICAL INVESTIGATIONS; VERIFIABILITY;

MODEL CHECKING;

EID: 77955723244     PISSN: 18651348     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-3-642-14538-4_1     Document Type: Conference Paper

References (270)

1. Agrawal, R., Gunopulos, D., Leymann, F.: Mining Process Models from Workflow Logs. In: Schek, H.-J., Saltor, F., Ramos, I., Alonso, G. (eds.) EDBT 1998. LNCS, vol. 1377, pp. 469-483. Springer, Heidelberg (1998)
2. Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Montali, M.: An Abductive Framework for A-Priori Verification of Web Services. In: Bossi, A., Maher, M.J. (eds.) Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, pp. 39-50. ACM Press, New York (2006)
3. Alberti, M., Chesani, F., Lamma, E., Gavanelli, M., Mello, P., Montali, M., Storari, S., Torroni, P.: Computational Logic for the Run-time Verification of Web Service Choreographies: Exploiting the SOCS-SI Tool. In: Bravetti, M., Núñez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol. 4184, pp. 58-72. Springer, Heidelberg (2006)
4. Alberti, M., Gavanelli, M., Lamma, E., Chesani, F., Mello, P., Torroni, P.: Compliance Verification of Agent interaction: a Logic-Based Software Tool. Applied Artificial Intelligence 20(2-4), 133-157 (2006)
5. Alberti, M., Gavanelli, M., Lamma, E., Mello, P., Sartor, G., Torroni, P.: Mapping Deontic Operators to Abductive Expectations. Computational and Mathematical Organization Theory 12(2-3), 205-225 (2006) (Pubitemid 44203858)
6. Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Montali, M., Torroni, P.: Web Service contracting: Specification and Reasoning with SCIFF. In: Franconi, E., Kifer, M., May, W. (eds.) ESWC 2007. LNCS, vol. 4519, pp. 68-83. Springer, Heidelberg (2007)
7. Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Montali, M., Torroni, P.: Expressinǵ and Verifying Contracts with Abductive Logic Programming. Electronic Commerce, Special Issue on Contract Architectures and Languages 12(4), 9-38 (2008)
8. Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Verifiable Agent Interaction in Abductive Logic Programming: The SCIFF framework. ACM Transactions on Computational Logic (TOCL) 9(4) (2008)
9. Alberti, M., Cattafi, M., Chesani, F., Gavanelli, M., Lamma, E., Montali, M., Mello, P., Torroni, P.: Integrating abductive logic programming and description logics in a dynamic contracting architecture. In: IEEE International Conference on Web Services (ICWS 2009), pp. 254-261. IEEE, Los Alamitos (2009)
10. Alberti, M., Gavanelli, M., Lamma, E.: Runtime addition of integrity constraints in abductive logic programs. In: Proceedings of the 26th International Conference on Logic Programming, ICLP 2010 (2010)
11. Allen, J.F.: Maintaining Knowledge about Temporal Intervals. Communications of the ACM 26(11) (1983)
12. Alur, R., Henzinger, T.A.: A Really Temporal Logic. In: Proceedings of the 30th Annual IEEE Symposium on Foundations of Computer Science, pp. 164-169. IEEE Computer Society, Los Alamitos (1989)
13. Alur, R., Henzinger, T.A.: Real-Time Logics: Complexity and Expressiveness. Information and Computation 104, 35-77 (1993)
14. Alur, R., Henzinger, T.A.: Finitary Fairness. ACM Transactions on Programming Languages and Systems 20(6), 1171-1194 (1998)
15. Amnell, T., Behrmann, G., Bengtsson, J., D'argenio, P.R., David, A., Fehnker, A., Hune, T., Jeannet, B., Larsen, K.G., Möller, M.O., Pettersson, P., Weise, C., Yi, W.: UPPAAL: Now, Next, and Future. In: Cassez, F., Jard, C., Rozoy, B., Dermot, M. (eds.) MOVEP 2000. LNCS, vol. 2067, pp. 99-124. Springer, Heidelberg (2001)
16. Andrews, T., Curbera, F., Dholakia, H., Goland, Y., Klein, J., Leymann, F., Liu, K., Roller, D., Smith, D., Thatte, S., Trickovic, I., Weerawarana, S.: Business Process Execution Language for Web Services, Version 1.1. Standards proposal by BEA Systems. International Business Machines Corporation, and Microsoft Corporation (2003)
17. Andrieux, A., Czajkowski, K., Dan, A., Keahey, K., Ludwig, H., Nakata, T., Pruyne, J., Rofrano, J., Tuecke, S., Xu, M.: Web services agreement specification (ws-agreement). Technical report, Grid Resource Allocation Agreement Protocol (GRAAP) WG (2007)
18. Apt, K.R.: A New Definition of SLDNF-Resolution. Technical report, CWI (Centre for Mathematics and Computer Science) (1992)
19. Apt, K.R., Bezem, M.: Acyclic Programs. In: Warren, D.H. (ed.) Logic Programming, pp. 617-633. MIT Press, Cambridge (1990)
20. Artikis, A., Pitt, J., Sergot, M.J.: Animated specifications of computational societies. In: Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems (AAMAS 2002), pp. 1053-1061. ACM, New York (2002)
21. Awad, A., Decker, G., Weske, M.: Efficient Compliance Checking Using BPMNQ and Temporal Logic. In: Dumas, M., Reichert, M., Shan, M.-C. (eds.) BPM 2008. LNCS, vol. 5240, pp. 326-341. Springer, Heidelberg (2008)
22. Awad, A., Weidlich, M., Weske, M.: Specification, Verification and Explanation of Violation for Data Aware Compliance Rules. In: Baresi, L., Chi, C.-H., Suzuki, J. (eds.) Service-Oriented Computing. LNCS, vol. 5900, pp. 500-515. Springer, Heidelberg (2009)
23. Baldoni, M., Baroglio, C., Martelli, A., Patti, V., Schifanella, C.: Verifying the Conformance of Web Services to Global Interaction Protocols: A First Step. In: Bravetti, M., Kloul, L., Zavattaro, G. (eds.) EPEW/WS-EM 2005. LNCS, vol. 3670, pp. 257-271. Springer, Heidelberg (2005)
24. Baldoni, M., Baroglio, C., Martelli, A., Patti, V.: A Priori Conformance Verification for Guaranteeing Interoperability in Open Environments. In: Dan, A., Lamersdorf, W. (eds.) ICSOC 2006. LNCS, vol. 4294, pp. 339-351. Springer, Heidelberg (2006)
25. Baldoni, M., Baroglio, C., Marengo, E.: Behavior-oriented Commitment-based Protocols. In: Coelho, H., Wooldridge, M. (eds.) Proceedings of the 19th European Conference on Artificial Intelligence (ECAI 2010). IOS Press, Amsterdam (2010)
26. Barbon, F., Traverso, P., Pistore, M., Trainotti, M.: Run-Time Monitoring of Instances and Classes of Web Service Compositions. In: Proceedings of the 2006 IEEE International Conference on Web Services (ICWS 2006), pp. 63-71. IEEE Computer Society, Los Alamitos (2006)
27. Baresi, L., Guinea, S.: Towards Dynamic Monitoring of WS-BPEL Processes. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol. 3826, pp. 269-282. Springer, Heidelberg (2005)
28. Baresi, L., Guinea, S.: A Dynamic and Reactive Approach to the Supervision of BPEL Processes. In: Shroff, G., Jalote, P., Rajamani, S.K. (eds.) Proceedings of the 1st Annual India Software Engineering Conference (ISEC 2008), pp. 39-48. ACM, New York (2008)
29. Baresi, L., Guinea, S., Pistore, M., Trainotti, M.: Dynamo + Astro: An Integrated Approach for BPEL Monitoring. In: Proceedings of the 2009 IEEE International Conference on Web Services (ICWS 2009), pp. 230-237. IEEE, Los Alamitos (2009)
30. Barros, A., Dumas, M., Oaks, P.: A Critical Overview of the Web Services Choreography Description Language (WS-CDL). BPTrends (2005)
31. Bauer, A., Leucker, M., Schallhart, C.: Monitoring of Real-Time Properties. In: Arun-Kumar, S., Garg, N. (eds.) FSTTCS 2006. LNCS, vol. 4337, pp. 260-272. Springer, Heidelberg (2006)
32. Bauer, A., Leucker, M., Schallhart, C.: Comparing LTL Semantics for Runtime Verification. In: Logic and Computation (2010)
33. Bauer, B., Cossentino, M., Cranefield, S., Huget, M.P., Kearney, K., Levy, R., Nodine, M., Odell, J., Cervenka, R., Turci, P., Zhu, H.: The FIPA Agent UML Web Site (2007) (last update), http://www.auml.org/
34. Benatallah, B., Casati, F., Toumani, F.: Analysis and Management of Web Service Protocols. In: Atzeni, P., Chu, W., Lu, H., Zhou, S., Ling, T.-W. (eds.) ER 2004. LNCS, vol. 3288, pp. 524-541. Springer, Heidelberg (2004)
35. Benatallah, B., Casati, F., Toumani, F.: Representing, Analysing and Managing Web Service Protocols. Data and Knowledge Engineering 58(3), 327-357 (2006)
36. Benbernou, S., Cavallaro, L., Hacid, M.S., Kazhamiakin, R., Kecskemeti, G., Poizat, J.-L., Silvestri, F., Uhlig, M., Wetzstein, B.: State of the Art Report, Gap Analysis of Knowledge on Principles, Techniques and Methodologies for Monitoring and Adaptation of SBAs. Technical report, S-Cube European Network (2008)
37. Bengtsson, J., Yi, W.: Timed Automata: Semantics, Algorithms and Tools. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) Lectures on Concurrency and Petri Nets. LNCS, vol. 3098, pp. 87-124. Springer, Heidelberg (2004)
38. Berardi, D., Calvanese, D., Giacomo, G.D., Lenzerini, M., Mecella, M.: Automatic Service Composition Based on Behavioral Descriptions. Cooperative Information Systems 14(4), 333-376 (2005)
39. Berens, P.: The FLOWer Case-Handling Approach: Beyond Workflow Management. In: Process-Aware Information Systems. Wiley Interscience, Hoboken (2005)
40. Beyer, D., Chakrabarti, A., Henzinger, T.: Web Service Interfaces. In: Proceedings of the 14th International World Wide Web Conference (WWW 2005), pp. 148-159 (2005)
41. Bianculli, D., Morzenti, A., Pradela, M., San Pietro, P., Spoletini, P.: Trio2Promela: a model checker for temporal metric specifications. In: Proceedings of the 20th International Conference on Software Engineering (ICSE 2007), pp. 61-62. IEEE Computer Society, Los Alamitos (2007)
42. Biere, A., Cimatti, A., Clarke, E.M., Zhu, Y.: Symbolic Model Checking without BDDs. In: Cleaveland, W.R. (ed.) TACAS 1999. LNCS, vol. 1579, pp. 193-207. Springer, Heidelberg (1999)
43. Biere, A., Cimatti, A., Clarke, E.M., Strichman, O., Zhu, Y.: Bounded Model Checking. Advances in Computers 58, 118-149 (2003)
44. Billington, J.: Extensions to coloured petri nets. In: Proceedings of the Third International Workshop on Petri Nets and Performance Models (PNPM 1989), pp. 61-70. IEEE Computer Society, Los Alamitos (1989)
45. Bonner, A.J., Kifer, M.: Concurrency and communication in transaction logic. In: Proceedings of the Joint International Conference and Symposium on Logic Programming (JICSLP 1996), pp. 142-156. MIT Press, Cambridge (1996)
46. Bordeaux, L., Salaün, G., Berardi, D., Mecella, M.: When are Two Web Services Compatible? In: Shan, M.-C., Dayal, U., Hsu, M. (eds.) TES 2004. LNCS, vol. 3324, pp. 15-28. Springer, Heidelberg (2005)
47. Bottrighi, A., Chesani, F., Mello, P., Molino, G., Montali, M., Montani, S., Storari, S., Terenziani, P., Torchio, M.: A Hybrid Approach to Clinical Guideline and to Basic Medical Knowledge Conformance. In: Combi, C., Shahar, Y., Abu-Hanna, A. (eds.) AIME 2009. LNCS, vol. 5651, pp. 91-95. Springer, Heidelberg (2009)
48. Bottrighi, A., Chesani, F., Mello, P., Montali, M., Montani, S., Storari, S., Terenziani, P.: Analysis of the GLARE and GPROVE Approaches to Clinical Guidelines. In: Riaño, D., ten Teije, A., Miksch, S., Peleg, M. (eds.) KR4HC 2009. LNCS, vol. 5943, pp. 76-87. Springer, Heidelberg (2010)
49. Bratko, I.: Prolog Programming for Artificial Intelligence, 3rd edn. Pearson Education, Addison-Wesley (2001)
50. Bryant, R.E.: Graph-Based Algorithms for Boolean Function Manipulation. IEEE Transactions on Computers 35(8), 677-691 (1986)
51. Bultan, T., Fu, X., Hull, R., Su, J.: Conversation Specification: A New Approach to Design and Analysis of E-Service Composition. In: Proceedings of the 12th International World Wide Web Conference (WWW 2003), pp. 403-410. ACM Press, New York (2003)
52. Burch, J.R., Clarke, E.M., McMillan, K.L., Dill, D.L., Hwang, L.J.: Symbolic model checking: 1020 states and beyond. In: Proceedings of the IEEE Symposium on Logic in Computer Science, Washington, DC, USA, pp. 428-439. IEEE Computer Society, Los Alamitos (1990)
53. Bürckert, H.-J.: A Resolution Principle for Constrained Logics. Artificial Intelligence 66, 235-271 (1994)
54. Busi, N., Gorrieri, R., Guidi, C., Lucchi, R., Zavattaro, G.: Choreography and Orchestration Conformance for System Design. In: Ciancarini, P., Wiklicky, H. (eds.) COORDINATION 2006. LNCS, vol. 4038, pp. 63-81. Springer, Heidelberg (2006)
55. Casella, G., Mascardi, V.: West2East: exploiting WEb Service Technologies to Engineer Agent-based SofTware. In: Agent-Oriented Software Engineering, pp. 396-434 (2007)
56. Castelfranchi, C.: Commitments: From Individual Intentions to Groups and Organizations. In: Gasser, V.R.L.L. (ed.) Proceedings of the First International Conference on Multiagent Systems (ICMAS 1995), pp. 41-48. MIT Press, Cambridge (1995)
57. Chatterjee, K., Henzinger, T.A., Horn, F.: Stochastic Games with Finitary Objectives. In: Královič, R., Niwiński, D. (eds.) MFCS 2009. LNCS, vol. 5734, pp. 34-54. Springer, Heidelberg (2009)
58. Chesani, F.: Specification, Execution and Verification of Interaction Protocols: an Approach based on Computational Logic. PhD thesis, University of Bologna (2007)
59. Chesani, F., Mello, P., Montali, M., Storari, S.: Testing Careflow Process Execution Conformance by Translating a Graphical Language to Computational Logic. In: Bellazzi, R., Abu-Hanna, A., Hunter, J. (eds.) AIME 2007. LNCS (LNAI), vol. 4594, pp. 479-488. Springer, Heidelberg (2007)
60. Chesani, F., Mello, P., Montali, M., Storari, S.: Testing Careflow Process Execution Conformance by Translating a Graphical Language to Computational Logic. In: Bellazzi, R., Abu-Hanna, A., Hunter, J. (eds.) AIME 2007. LNCS (LNAI), vol. 4594, pp. 479-488. Springer, Heidelberg (2007)
61. Chesani, F., Lamma, E., Mello, P., Montali, M., Storari, S., Baldazzi, P., Manfredi, M.: Compliance Checking of Cancer-Screening Careflows: an Approach Based on Computational Logic. In: ten Teije, A., Miksch, S., Lucas, P. (eds.) Book Chapter of Computer-Based Medical Guidelines and Protocols: a Primer and Current Trends. IOS Press, Amsterdam (2008)
62. Chesani, F., Lamma, E., Mello, P., Montali, M., Riguzzi, F., Storari, S.: Exploiting Inductive Logic Programming Techniques for Declarative Process Mining. In: Jensen, K., van der Aalst, W.M.P. (eds.) Transactions on Petri Nets. LNCS, vol. 5460, pp. 278-295. Springer, Heidelberg (2009)
63. Chesani, F., Mello, P., Montali, M., Riguzzi, F., Sebastianis, M., Storari, S.: Checking Compliance of Execution Traces to Business Rules. In: Ardagna, D., Mecella, M., Yang, J. (eds.) Proceedings of BPM 2008 Workshops. Revised Papers. LNBIP, vol. 17, pp. 134-145. Springer, Heidelberg (2009)
64. Chesani, F., Mello, P., Montali, M., Torroni, P.: Verification of Choreographies During Execution Using the Reactive Event Calculus. In: Bruni, R., Wolf, K. (eds.) WS-FM 2008. LNCS, vol. 5387, pp. 55-72. Springer, Heidelberg (2009)
65. Chesani, F., Mello, P., Montali, M., Torroni, P.: Commitment Tracking via the Reactive Event Calculus. In: Boutilier, C. (ed.) Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI 2009), pp. 91-96 (2009)
66. Chesani, F., Mello, P., Montali, M., Storari, S., Torroni, P.: On the Integration of Declarative Choreographies and Commitment-based Agent Societies into the SCIFF Logic Programming Framework. Multiagent and Grid Systems, Special Issue on Agents, Web Services and Ontologies: Integrated Methodologies 6(2) (2010)
67. Chesani, F., Montali, M., Mello, P., Torroni, P.: Monitoring Time-Aware Social Commitments with Reactive Event Calculus. In: Proceedings of the 7th International Symposium "From Agent Theory to Agent Implementation", AT2AI-7 (2010)
68. Chinnici, R., Moreau, J.-J., Ryman, A., Weerawarana, S.: Web Services Description Language (WSDL) Version 2.0. Technical report, World Wide Web Consortium (W3C) Recommendation (2007), http://www.w3.org/TR/wsdl20
69. Chittaro, L., Montanari, A.: Efficient Handling of Context Dependency in the Cached Event Calculus. In: Goodwin, S.D., Hamilton, H.J. (eds.) Proceedings of the TIME 1994 International Workshop on Temporal Reasoning, pp. 103-112 (1994)
70. Chittaro, L., Montanari, A.: Efficient Temporal Reasoning in the Cached Event Calculus. Computational Intelligence 12, 359-382 (1996)
71. Chittaro, L., Montanari, A.: Temporal Representation and Reasoning in Artifi- cial Intelligence: Issues and Approaches. Annals of Mathematics and Artificial Intelligence 28(1-4), 47-106 (2000)
72. Chopra, A.K., Singh, C.P.: Producing Compliant Interactions: Conformance, Coverage, and Interoperability. In: Baldoni, M., Endriss, U. (eds.) DALT 2006. LNCS (LNAI), vol. 4327, pp. 1-15. Springer, Heidelberg (2006)
73. Chopra, A.K., Singh, M.P.: Commitments for Flexible Business Processes. In: Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), pp. 1362-1363. IEEE Computer Society, Los Alamitos (2004)
74. Chopra, A.K., Singh, M.P.: Constitutive Interoperability. In: Padgham, L., Parkes, D.C., Müller, J., Parsons, S. (eds.) Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), vol. 2, pp. 797-804. IFAAMAS (2008)
75. Christensen, S., Hansen, N.D.: Coloured petri nets extended with place capacities, test arcs and inhibitor arcs. In: Ajmone Marsan, M. (ed.) ICATPN 1993. LNCS, vol. 691, pp. 186-205. Springer, Heidelberg (1993)
76. Cimatti, A., Clarke, E.M., Giunchiglia, F., Roveri, M.: NuSMV: a New Symbolic Model Checker. Software Tools for Technology Transfer 2(4), 410-425 (2000)
77. Clark, K.L.: Negation as Failure. In: Gallaire, H., Minker, J. (eds.) Logic and Data Bases, pp. 293-322. Plenum Press, New York (1978)
78. Clark, K.L.: Predicate Logic as a Computational Formalism. Res. report doc 79/59, Imperial College, Department of Computing (1979)
79. Clarke, E.M., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (1999)
80. Clarke, E.M., Grumberg, O., Jha, S., Lu, Y., Veith, H.: Progress on the State Explosion Problem in Model Checking. In: Wilhelm, R. (ed.) Informatics: 10 Years Back, 10 Years Ahead. LNCS, vol. 2000, pp. 176-194. Springer, Heidelberg (2001)
81. Colin, S., Mariani, L.: Run-Time Verification. In: Broy, M., Jonsson, B., Katoen, J.-P., Leucker, M., Pretschner, A. (eds.) Model-Based Testing of Reactive Systems. LNCS, vol. 3472, pp. 525-555. Springer, Heidelberg (2005)
82. Colombetti, M., Fornara, N., Verdicchio, M.: A Social Approach to Communication in Multiagent Systems. In: Leite, J., Omicini, A., Sterling, L., Torroni, P. (eds.) DALT 2003. LNCS (LNAI), vol. 2990, pp. 191-220. Springer, Heidelberg (2004)
83. Crnkovic, I., Hnich, B., Jonsson, T., Kiziltan, Z.: Specification, Implementation, and Deployment of Components. Communications of the ACM 45(10), 35-40 (2002)
84. Dadam, P., Reichert, M.: The ADEPT project: a decade of research and development for robust and flexible process support. Computer Science - R&D 23(2), 81-97 (2009)
85. Decker, G., Zaha, J.M., Dumas, M.: Execution Semantics for Service Choreographies. In: Bravetti, M., Núñez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol. 4184, pp. 163-177. Springer, Heidelberg (2006)
86. Decker, G., Kopp, O., Barros, A.P.: An Introduction to Service Choreographies (Servicechoreographien - eine Einführung). IT - Information Technology 50(2), 122-127 (2008)
87. Delzanno, G., Podelski, A.: Model Checking in CLP. In: Cleaveland, W.R. (ed.) TACAS 1999. LNCS, vol. 1579, pp. 223-239. Springer, Heidelberg (1999)
88. Demri, S., Laroussinie, F., Schnoebelen, P.: A Parametric Analysis of the State- Explosion Problem in Model Checking. Computer and System Sciences 72(4), 547-575 (2006)
89. Denecker, M., Schreye, D.D.: SLDNFA: An Abductive Procedure for Abductive Logic Programs. Jorunal of Logic Programming 34(2), 111-167 (1998)
90. Denti, E., Omicini, A., Ricci, A.: tu Prolog: A Light-Weight Prolog for Internet Applications and Infrastructures. In: Ramakrishnan, I.V. (ed.) PADL 2001. LNCS, vol. 1990, pp. 184-198. Springer, Heidelberg (2001)
91. DeRemer, F., Kron, H.H.: Programming-in-the-Large Versus Programming-in-the- Small. IEEE Transactions on Software Engineering 2(2), 80-86 (1976)
92. Desel, J., Erwin, T.: Hybrid Specifications: Looking at Workflows From a Run- Time Perspective. Computer System Science & Engineering 15(5), 291-302 (2000)
93. Deutsch, A., Sui, L., Vianu, V., Zhou, D.: Verification of Communicating Data- Driven Web Services. In: Proceedings of the 25th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS 2006), pp. 90-99. ACM Press, New York (2006)
94. Dijkman, R.M., Dumas, M., Ouyang, C.: Semantics and analysis of business process models in BPMN. Information & Software Technology 50(12), 1281-1294 (2008)
95. Dincbas, M., Hentenryck, P.V., Simonis, H., Aggoun, A., Graf, T., Berthier, F.: The Constraint Logic Programming Language CHIP. In: Proceedings of the International Conference on Fifth Generation Computer Systems, pp. 693-702 (1988)
96. Dourish, P., Holmes, J., MacLean, A., Marqvardsen, P., Zbyslaw, A.: Freeflow: Mediating Between Representation and Action in Workflow Systems. In: Proceedings of the CM Conference on Computer Supported Cooperative Work (CSCW 1996), pp. 190-198 (1996)
97. Dumas, M., van der Aalst, W.M.P., ter Hofstede, A.H.M.: Process-Aware Information Systems: Bridging People and Software through Process Technology. Wiley & Sons, Chichester (2005)
98. Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Property Specification Patterns for Finite-State Verification. In: Ardis, M.A., Atlee, J.M. (eds.) Proceedings of the Second Workshop on Formal Methods in Software Practice (FMSP 1998), pp. 7-15. ACM Press, New York (1998)
99. Emerson, E.A.: Temporal and Modal Logic. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science. Formal Models and Sematics, vol. B. Elsevier and MIT Press (1990) ISBN 0-444-88074-7, 0-262-22039-3
100. Euzenat, J., Montanari, A.: Time granularity. In: Fisher, M., Gabbay, D., Vila, L. (eds.) Handbook of Temporal Reasoning in AI. Foundations of AI, vol. 1. Elsevier Science, Amsterdam (2004)
101. Ferreira, H.M., Ferreira, D.R.: An Integrated Life Cycle for Workflow Management Based on Learning and Planning. Cooperative Information Systems 15(4), 485-505 (2006)
102. Field, M.J., Lohr, K.N.: Clinical Practice Guidelines. Directions for a New Program. National Academy Press, Washington (1990)
103. Fisher, M., Dixon, C., Peim, M.: Clausal Remporal Resolution. ACM Transactions on Computational Logic 2(1), 12-56 (2001)
104. Foundation for Intelligent Physical Agents. FIPA Communicative Act Library Specification, Interaction Protocol XC00037H. Technical report, FIPA Consortium (2001)
105. Fornara, N., Colombetti, M.: Operational Specification of a Commitment- Based Agent Communication Language. In: Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems (AAMAS 2002), pp. 535-542. ACM Press, New York (2002)
106. Förster, A., Engels, G., Schattkowsky, T., van der Straeten, R.: Verification of Business Process Quality Constraints Based on Visual Process Patterns. In: First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE 2007), pp. 197-208. IEEE Computer Society, Los Alamitos (2007)
107. Foster, H., Uchitel, S., Magee, J., Kramer, J.: Model-based Verification of Web Service Composition. In: Proceedings of 18th IEEE International Conference on Automated Software Engineering (ASE), pp. 152-161 (2003)
108. Frankel, D.S.: Model Driven Architecture: Applying MDA to Enterprise Computing. John Wiley & Sons, Chichester (2003)
109. Fridsma, D.B.: Special Issue on Workflow Management and Clinical Guidelines. Journal of the American Medical Informatics Association 22(1) (2001)
110. Frühwirth, T.: Theory and Practice of Constraint Handling Rules. Logic Programming 37(1-3), 95-138 (1998)
111. Fung, T.H., Kowalski, R.A.: The Iff Proof Procedure for Abductive Logic Programming. Logic Programming 33(2), 151-165 (1997)
112. Gastin, P., Oddoux, D.: Fast LTL to Büchi Automata Translation. In: Berry, G., Comon, H., Finkel, A. (eds.) CAV 2001. LNCS, vol. 2102, pp. 53-65. Springer, Heidelberg (2001)
113. Ghezzi, C., Mandrioli, D., Morzenti, A.: TRIO: A Logic Language for Executable Specifications of Real-Time Systems. Systems and Software 12(2), 107-123 (1990)
114. Ghose, A., Koliadis, G.: Auditing Business Process Compliance. In: Krämer, B.J., Lin, K.-J., Narasimhan, P. (eds.) ICSOC 2007. LNCS, vol. 4749, pp. 169-180. Springer, Heidelberg (2007)
115. Giannakopoulou, D., Havelund, K.: Automata-Based Verification of Temporal Properties on Running Programs. In: Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), pp. 412-416. IEEE Computer Society, Los Alamitos (2001)
116. Goedertier, S.: Declarative Techniques for Modeling and Mining Business Processes. PhD thesis, Katholieke Universiteit Leuven (2008)
117. Goedertier, S., Vanthienen, J.: Designing Compliant Business Processes with Obligations and Permissions. In: Eder, J., Dustdar, S. (eds.) BPM Workshops 2006. LNCS, vol. 4103, pp. 5-14. Springer, Heidelberg (2006)
118. Goedertier, S., Vanthienen, J.: Compliant and Flexible Business Processes with Business Rules. In: Regev, G., Soffer, P., Schmidt, R. (eds.) Proceedings of the CAISE*06 Workshop on Business Process Modelling, Development, and Support (BPMDS 2006). CEUR Workshop Proceedings, vol. 236 (2007), CEUR-WS.org
119. Gößler, G., Sifakis, J.: Composition for Component-Based Modeling. Science of Computer Programming 55(1-3), 161-183 (2005)
120. Governatori, G., Milosevic, Z., Sadiq, S.W.: Compliance Checking Between Business Processes and Business Contracts. In: Proceedings of the 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2006), pp. 221-232. IEEE Computer Society, Los Alamitos (2006)
121. Greco, G., Guzzo, A., Pontieri, L., Saccà, D.: Discovering Expressive Process Models by Clustering Log Traces. IEEE Transactions on Knowledge and Data Engineering 18(8), 1010-1027 (2006) (Pubitemid 44109532)
122. Green, T.R.G.: Cognitive Dimensions of Notations. People and Computers V, 443-460 (1989)
123. Green, T.R.G., Petre, M.: Usability Analysis of Visual Programming Environments: a 'Cognitive Dimensions' Framework. Visual Languages and Computing 7, 131-174 (1996)
124. Gudgin, M., Hadley, M., Mendelsohn, N., Moreau, J.-J., Nielsen, H.F., Karmarkar, A., Lafon, Y.: Simple Object Access Protocol (SOAP) Version 1.2. Technical report, World Wide Web Consortium (W3C) Recommendation (2007), http://www.w3.org/TR/soap
125. Günther, C.W., van der Aalst, W.M.P.: Fuzzy mining - adaptive process simplification based on multi-perspective metrics. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol. 4714, pp. 328-343. Springer, Heidelberg (2007)
126. Gupta, G., Pontelli, E.: A Constraint-Based Approach for Specification and Verification of Real-Time Systems. In: Proceedings of the 18th IEEE Realtime Systems Symposium (RTSS 1997), pp. 230-239. IEEE Computer Society, Los Alamitos (1997)
127. Gupta, G., Bansal, A., Min, R., Simon, L., Mallya, A.: Coinductive Logic Programming and Its Applications. In: Dahl, V., Niemelä, I. (eds.) ICLP 2007. LNCS, vol. 4670, pp. 27-44. Springer, Heidelberg (2007)
128. Hallé, S., Villemaire, R.: Runtime Monitoring of Web Service Choreographies Using Streaming XML. In: Proceedings of to the 24th Annual ACM Symposium on Applied Computing, ACM SAC 2009 (2009)
129. Halpern, J.Y., Vardi, M.Y.: Model Checking vs. Theorem Proving: A Manifesto. In: Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, pp. 151-176 (1991)
130. Hartshorn, C., Weiss, P.: Collected Papers of Charles Sanders Peirce, vol. 2. Harvard University Press, Cambridge (1965)
131. Havelund, K., Rosu, G.: Testing Linear Temporal Logic Formulae on Finite Execution Traces. Technical Report TR 01-08, RIACS Technical Report (2001)
132. Hewitt, C.: Open Information Systems Semantics for Distributed Artificial Intelligence. Artificial Intelligence 47(1-3), 79-106 (1991)
133. Holzmann, G.J.: The SPIN Model Checker: Primer and Reference Manual. Addison-Wesley, Reading (2003)
134. Huhns, M.N., Singh, M.P.: Service-Oriented Computing: Key Concepts and Principles. IEEE Internet Computing 9(1), 75-81 (2005)
135. Jaffar, J., Maher, M.J.: Constraint Logic Programming: a Survey. Logic Programming (19-20), 503-582 (1994)
136. Jaffar, J., Michaylov, S., Stuckey, P.J., Yap, R.H.C.: The CLP(R) Language and System. ACM Transactions on Programming Languages and Systems 14(3), 339-395 (1992)
137. Jaffar, J., Maher, M.J., Marriott, K., Stuckey, P.J.: The Semantics of Constraint Logic Programs. Logic Programming 37(1-3), 1-46 (1998)
138. Joeris, G.: Decentralized and Flexible Workflow Enactment Based on Task Coordination Agents. In: Wangler, B., Bergman, L.D. (eds.) CAiSE 2000. LNCS, vol. 1789, pp. 41-62. Springer, Heidelberg (2000)
139. Jouault, F., Allilaire, F., Bézivin, J., Kurtev, I.: ATL: A Model Transformation Tool. Science of Computer Programming 72(1-2), 31-39 (2008)
140. Kakas, A.C., Kowalski, R.A., Toni, F.: Abductive Logic Programming. Logic and Computation 2(6), 719-770 (1993)
141. Kavantzas, N., Burdett, D., Ritzinger, G., Fletcher, T., Lafon, Y., Barreto, C.: Web Services Choreography Description Language Version 1.0. Technical report, World WideWeb Consortium (W3C) Candidate Recommendation (2005)
142. Kindler, E.: Safety and Liveness Properties: a Survey. EATCS-Bulletin 53 (1994)
143. Kowalski, R.A.: Predicate Logic as a Programming Language. Information Processing 74 (1974)
144. Kowalski, R.A.: Algorithm = Logic + Control. Communications of the ACM 22(7), 424-436 (1979)
145. Kowalski, R.A., Sadri, F.: Towards a Unified Agent Architecture that Combines Rationality with Reactivity. In: Pedreschi, D., Zaniolo, C. (eds.) LID 1996. LNCS, vol. 1154, pp. 137-149. Springer, Heidelberg (1996)
146. Kowalski, R.A., Sergot, M.J.: A Logic-Based Calculus of Events. New Generation Computing 4(1), 67-95 (1986)
147. Kunen, K.: Negation in Logic Programming. In: Logic Programming, vol. 4, pp. 289-308 (1987)
148. Kupferman, O., Piterman, N., Vardi, M.Y.: From Liveness to Promptness. In: Damm, W., Hermanns, H. (eds.) CAV 2007. LNCS, vol. 4590, pp. 406-419. Springer, Heidelberg (2007)
149. Lamma, E., Mello, P., Montali, M., Riguzzi, F., Storari, S.: Inducing Declarative Logic-Based Models from Labeled Traces. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol. 4714, pp. 344-359. Springer, Heidelberg (2007)
150. Lamma, E., Mello, P., Riguzzi, F., Storari, S.: Applying Inductive Logic Programming to Process Mining. In: Blockeel, H., Ramon, J., Shavlik, J., Tadepalli, P. (eds.) ILP 2007. LNCS (LNAI), vol. 4894, pp. 132-146. Springer, Heidelberg (2008)
151. Larsen, K.G., Pettersson, P., Yi, W.: UPPAAL in a Nutshell. International Journal on Software Tools for Technology Transfer 1(1-2), 134-152 (1997)
152. Leymann, F., Roller, D.: Production Workflow - Concepts and Techniques. Prentice-Hall, Englewood Cliffs (2000)
153. Liu, X., Müller, S., Xu, K.: A Static Compliance-Checking Framework for Business Process Models - References. IBM Systems Journal 46, 335-362 (2007) (Pubitemid 46915268)
154. Lloyd, J.W.: Foundations of Logic Programming, 2nd edn. Springer, Heidelberg (1987)
155. Luccarini, L., Bragadin, G.L., Colombini, G., Mancini, M., Mello, P., Montali, M., Sottara, D.: Formal Verification of Wastewater Treatment Processes Using Events Detected From Continuous Signals by Means of Artificial Neural Networks. Case Study: SBR Plant. Environmental Modelling and Software 25(5), 648-660 (2010)
156. Luckham, D.: The Power of Events: An Introduction to Complex Event Processing in Distributed Enterprise Systems. Addison-Wesley, Reading (2001)
157. Ly, L.T., Rinderle, S., Dadam, P.: Integration and Verification of Semantic Constraints in Adaptive Process Management Systems. Data and Knowledge Engineering 64(1), 3-23 (2008) (Pubitemid 350087284)
158. Mahbub, K., Spanoudakis, G.: Run-Time Monitoring of Requirements for Systems Composed of Web-Services: Initial Implementation and Evaluation Experience. In: Proeedings of the 3rd IEEE International Conference on Web Services (ICWS 2005), pp. 257-265. IEEE Computer Society, Los Alamitos (2005)
159. Mahbub, K., Spanoudakis, G.: Monitoring WS-Agreements: An Event Calculus-Based Approach. In: Baresi, L., Nitto, E.D. (eds.) Test and Analysis of Web Services, pp. 265-306. Springer, Heidelberg (2007)
160. Marques-Silva, J.: Model Checking with Boolean Satisfiability. Algorithms 63(1-3), 3-16 (2008)
161. Martens, A.: Analyzing Web Service Based Business Processes. In: Cerioli, M. (ed.) FASE 2005. LNCS, vol. 3442, pp. 19-33. Springer, Heidelberg (2005)
162. Martens, A.: Consistency between Executable and Abstract Processes. In: Proceedings of International IEEE Conference on e-Technology, e-Commerce, and e-Services (EEE 2005), pp. 60-67. IEEE Computer Society, Los Alamitos (2005)
163. Martin, D., Paolucci, M., McIlraith, S., Burstein, M., McDermott, D., McGuinness, D., Parsia, B., Payne, T., Sabou, M., Solanki, M., Srinivasan, N., Sycara, K.: Bringing Semantics to Web Services: the OWL-S Approach. In: Cardoso, J., Sheth, A., Kalinichenko, L., Curbera, F. (eds.) SWSWPC 2004. LNCS, vol. 3387, pp. 26-42. Springer, Heidelberg (2005)
164. Martin, D.L., Burstein, M.H., McDermott, D.V., McIlraith, S.A., Paolucci, M., Sycara, K.P., McGuinness, D.L., Sirin, E., Srinivasan, N.: Bringing Semantics to Web Services with OWL-S. In: Proceedings of the 16th International World Wide Web Conference (WWW 2007), pp. 243-277 (2007)
165. Massuthe, P., Reisig, W., Schmidt, K.: An Operating Guideline Approach to the SOA. In: Proceedings of the 2nd South-East European Workshop on Formal Methods 2005, SEEFM 2005 (2005)
166. McCarthy, J., Hayes, P.J.: Some Philosophical Problems From the StandPoint of Artificial Intelligence. Machine Intelligence 4, 463-502 (1969)
167. Mecella, M., Presicce, F.P., Pernici, B.: Modeling E-service Orchestration through Petri Nets. In: Hogrefe, D., Wiles, A. (eds.) TestCom 2003. LNCS, vol. 2644, pp. 38-47. Springer, Heidelberg (2003)
168. Midgley, G.C.J.: Linguistic Rules. In: Proceedings of the Aristotelian Society. New Series, vol. 59, pp. 271-290. Blackwell Publishing, Malden (1959)
169. Miksch, S., Shahar, Y., Johnson, P.: Asbru: a Task-Specific, Intention-Based, and Time-Oriented Language for Representing Skeletal Plans. In: Proceedings of the 7th Workshop on Knowledge Engeneering Methods and Languages, pp. 9-20 (1997)
170. Milner, R., Parrow, J., Walker, D.: A Calculus of Mobile Processes. Information and Computation 100(1), 1-40 (1992)
171. Montali, M.: Specification and Verification of Declarative Open Interaction Models: a Logic-Based Approach. PhD thesis, University of Bologna (2009)
172. Montali, M., Torroni, P., Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P.: Verification from Declarative Specifications Using Logic Programming. In: de la Banda, M.G., Pontelli, E. (eds.) ICLP 2008. LNCS, vol. 5366, pp. 440-454. Springer, Heidelberg (2008)
173. Montali, M., Pesic, M., van der Aalst, W.M.P., Chesani, F., Mello, P., Storari, S.: Declarative Specification and Verification of Service Choreographies. ACM Transactions on the Web 4(1) (2010)
174. Montali, M., Torroni, P., Alberti, M., Chesani, F., Lamma, E., Mello, P.: Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes. Technical report, DEIS - University of Bologna (2010)
175. Moschoyiannis, S., Shields, M.W.: A Set-Theoretic Framework for Component Composition. Fundamenta Informaticae 59(4), 373-396 (2004)
176. Moser, O., Rosenberg, F., Dustdar, S.: Non-intrusive monitoring and service adaptation for ws-bpel. In: Huai, J., Chen, R., Hon, H.-W., Liu, Y., Ma, W.-Y., Tomkins, A., Zhang, X. (eds.) Proceedings of the 17th International Conference on World Wide Web (WWW 2008), pp. 815-824. ACM, New York (2008)
177. Muggleton, S.: Inductive Logic Programming. New Generation Computing 8(4), 295-318 (1991)
178. Muggleton, S., Raedt, L.D.: Inductive Logic Programming: Theory and Methods. Logic Programming 19/20, 629-679 (1994)
179. Mühl, G., Fiege, L., Pietzuch, P.: Distributed Event-Based Systems. Springer, Heidelberg (2006)
180. Mulyar, N., van der Aalst, W.M.P., Peleg, M.: A Pattern-based Analysis of Clinical Computer-Interpretable Guideline Modelling Languages. Journal of the American Medical Informatics Association 14, 781-787 (2007) (Pubitemid 350026417)
181. Mulyar, N., Pesic, M., van der Aalst, W.M.P., Peleg, M.: Declarative and Procedural Approaches for Modelling Clinical Guidelines: Addressing Flexibility Issues. In: ter Hofstede, A.H.M., Benatallah, B., Paik, H.-Y. (eds.) BPM Workshops 2007. LNCS, vol. 4928, pp. 335-346. Springer, Heidelberg (2008)
182. Naumovich, G., Clarke, L.A.: Classifying Properties: an Alternative to the Safety-Liveness Classification. In: Proceedings of the 8th ACM SIGSOFT International Symposium on Foundations of Software Engineering: 21st Century Applications, pp. 159-168. ACM Press, New York (2000)
183. OASIS Web Services Business Process Execution Language (WSBPEL) Technical Committee. Web Service Business Process Execution Language Version 2.0. Technical report, OASIS Standard (2007)
184. Object Management Group. Business Process Modeling Notation Version 1.1. Technical report, Object Management Group Final Adopted Specification (2008)
185. Object Management Group. OMG Unified Modeling Language (OMG UML), Superstructure. Version 2.2. Technical report, Object Management Group Standard (2009)
186. Ouyang, C., Verbeek, E., van der Aalst, W.M.P., Breutel, S., Dumas, M., ter Hofstede, A.H.M.: Formal semantics and analysis of control flow in WS-BPEL. Science of Computer Programming 67(2-3), 162-198 (2007)
187. Papazoglou, M.P., Traverso, P., Dustdar, S., Leymann, F.: Service-Oriented Computing: a Research Roadmap. Cooperative Information Systems 17(2), 223-255 (2008)
188. Pearl, J.: Embracing Causality in Formal Reasoning. In: Proceedings of the National Conference on Artificial Intelligence (AAAI 1987), pp. 369-373 (1987)
189. Peleg, M., Tu, S., Bury, J., Ciccarese, P., Jones, N., Fox, J., Greenes, R.A., Hall, R., Johnson, P., Jones, N., Kumar, A., Miksch, S., Quaglini, S., Seyfang, A., Shortliffe, E.H., Stefanelli, M.: Comparing Computer-Interpretable Guideline Models: A Case-Study Approach. Journal of the American Medical Informatics Association 10(1), 52-68 (2003)
190. Peltz, C.: Web Services Orchestration and Choreography. IEEE Computer 36(10), 46-52 (2003)
191. Pesic, M.: Constraint-Based Workflow Management Systems: Shifting Controls to Users. PhD thesis, Beta Research School for Operations Management and Logistics, Eindhoven (2008)
192. Pesic, M., van der Aalst, W.M.P.: A Declarative Approach for Flexible Business Processes Management. In: Eder, J., Dustdar, S. (eds.) BPM Workshops 2006. LNCS, vol. 4103, pp. 169-180. Springer, Heidelberg (2006)
193. Pesic, M., Schonenberg, H., van der Aalst, W.M.P.: DECLARE: Full Support for Loosely-Structured Processes. In: Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007), pp. 287-300. IEEE Computer Society, Los Alamitos (2007)
194. Pesic, M., Schonenberg, M.H., Sidorova, N., van der Aalst, W.M.P.: Constraint- Based Workflow Models: Change Made Easy. In: Meersman, R., Tari, Z. (eds.) OTM 2007, Part I. LNCS, vol. 4803, pp. 77-94. Springer, Heidelberg (2007)
195. Pesic, M., Bosnacki, D., van der Aalst, W.M.: Enacting Declarative Languages using LTL: Avoiding Errors and Improving Performance. Computer Science Report 09-14, Technische Universiteit Eindhoven (2009)
196. Pissinou, N., Snodgrass, R.T., Elmasri, R., Mumick, I.S., Özsu, T., Pernici, B., Segev, A., Theodoulidis, B., Dayal, U.: Towards an Infrastructure for Temporal Databases: Report of an Invitational ARPA/NSF Workshop. ACM SIGMOD Record 23(1), 35-51 (1994)
197. Ponnekanti, S.R., Fox, A.: Interoperability Among Independently Evolving Web Services. In: Jacobsen, H.-A. (ed.) Middleware 2004. LNCS, vol. 3231, pp. 331-351. Springer, Heidelberg (2004)
198. Pradella, M., Morzenti, A., Pietro, P.S.: Refining Real-Time System Specifications through Bounded Model- and Satisfiability-Checking. In: Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), pp. 119-127. IEEE Computer Society, Los Alamitos (2008)
199. Reichert, M., Rinderle, S., Kreher, U., Dadam, P.: Adaptive Process Management with ADEPT2. In: Proceedings of the 21st International Conference on Data Engineering (ICDE 2005), pp. 1113-1114. IEEE Computer Society, Los Alamitos (2005)
200. Reiter, R.: On Closed-Word Data Bases. In: Gallaire, H., Minker, J. (eds.) Logic and Data Bases, pp. 55-76. Plenum Press, New York (1978)
201. Rescher, N., Urquhart, A.: Temporal Logic. Springer, Heidelberg (1971)
202. Roman, D., Kifer, M.: Semantic Web Service Choreography: Contracting and Enactment. In: Sheth, A.P., Staab, S., Dean, M., Paolucci, M., Maynard, D., Finin, T., Thirunarayan, K. (eds.) ISWC 2008. LNCS, vol. 5318, pp. 550-566. Springer, Heidelberg (2008)
203. Roman, D., Keller, U., Lausen, H., de Bruijn, J., Lara, R., Stollberg, M., Polleres, A., Feier, C., Bussler, C., Fensel, D.: Web Service Modeling Ontology. Applied Ontology 1(1), 77-106 (2005)
204. Ross, R.G.: Business Rule Concepts: Getting to the Point of Knowledge. Business Rule Solutions, LLC (2009)
205. Rouached, M., Fdhila, W., Godart, C.: A Semantical Framework to Engineering WSBPEL Processes. Information Systems and E-Business Management 7(2), 223-250 (2008)
206. Rozier, K.Y., Vardi, M.Y.: LTL satisfiability checking. In: Bošnački, D., Edelkamp, S. (eds.) SPIN 2007. LNCS, vol. 4595, pp. 149-167. Springer, Heidelberg (2007)
207. Rozinat, A., van der Aalst, W.: Conformance Testing: Measuring the Fit and Appropriateness of Event Logs and Process Models. In: Bussler, C.J., Haller, A. (eds.) BPM 2005. LNCS, vol. 3812, pp. 163-176. Springer, Heidelberg (2006)
208. Russo, A., Miller, R., Nuseibeh, B., Kramer, J.: An Abductive Approach for Analysing Event-Based Requirements Specifications. In: Stuckey, P.J. (ed.) ICLP 2002. LNCS, vol. 2401, pp. 22-37. Springer, Heidelberg (2002)
209. Sadiq, S.W., Orlowska, M.E., Sadiq, W.: Specification and Validation of Process Constraints for Flexible Workflows. Information Systems 30(5), 349-378 (2005)
210. Sadiq, S.W., Governatori, G., Namiri, K.: Modeling Control Objectives for Business Process Compliance. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol. 4714, pp. 149-164. Springer, Heidelberg (2007)
211. Sadri, F., Kowalski, R.A.: Variants of the Event Calculus. In: Sterling, L. (ed.) Proceedings of the 12th International Conference on Logic Programming (ICLP 1995), pp. 67-81. MIT Press, Cambridge (1995)
212. Sahai, A., Machiraju, V., Sayal, M., Jin, L.J., Casati, F.: Automated sla monitoring for web services. In: Feridun, M., Kropf, P.G., Babin, G. (eds.) DSOM 2002. LNCS, vol. 2506, pp. 28-41. Springer, Heidelberg (2002)
213. Sartor, G.: Legal Reasoning. Treatise, vol. 5. Kluwer, Dordrecht (2004)
214. Schlingloff, B.H., Martens, A., Schmidt, K.:Modeling and Model Checking Web Services. Electronic Notes in Theoretical Computer Science: Issue on Logic and Communication in Multi-Agent Systems 126, 3-26 (2005) (Pubitemid 40276668)
215. Schonenberg, H., Mans, R., Russell, N., Mulyar, N., van der Aalst, W.M.P.: Towards a Taxonomy of Process Flexibility. In: Bellahsene, Z., Woo, C., Hunt, E., Franch, X., Coletta, R. (eds.) Proceedings of the Forum at the CAiSE 2008 Conference. CEUR Workshop Proceedings, vol. 344, pp. 81-84 (2008)
216. Schreiber, F.A.: Is Time a Real Time? An Overview of Time Ontology in Informatics. Real Time Computing F 127, 283-307 (1994)
217. Searle, J.: Speech Acts. Cambridge University Press, Cambridge (1969)
218. Shanahan, M.: The Event Calculus Explained. In: Wooldridge, M., Veloso, M.M. (eds.) Artificial Intelligence Today. LNCS (LNAI), vol. 1600, pp. 409-430. Springer, Heidelberg (1999)
219. Shiffman, R.N.: Representation of Clinical Practice Guidelines in Conventional and Augmented Decision Tables. Journal of the American Medical Informatics Association 4(5), 382-393 (1997)
220. Simmonds, J., Gan, Y., Chechik, M., Nejati, S., O'Farrell, B., Litani, E., Waterhouse, J.: Runtime Monitoring of Web Service Conversations. IEEE Transactions on Services Computing 2(3), 223-244 (2009)
221. Singh, M.P.: Agent Communication Languages: Rethinking the Principles. IEEE Computer 31(12) (1998)
222. Singh, M.P.: A social semantics for agent communication languages. In: Dignum, F.P.M., Greaves, M. (eds.) Issues in Agent Communication. LNCS, vol. 1916, pp. 31-45. Springer, Heidelberg (2000)
223. Singh, M.P., Chopra, A.K., Desai, N.: Commitment-Based Service-Oriented Architecture. IEEE Computer 42(11), 72-79 (2009)
224. Sistla, A.P., Vardi, M.Y., Wolper, P.: The Complementation Problem for Buchi Automata with Appplications to Temporal Logic. Jorunal of Theoretical Computer Science 49, 217-237 (1987)
225. Sottara, D., Luccarini, L., Mello, P.: AI Techniques for Waste Water Treatment Plant Control Case Study: Denitrification in a Pilot-Scale SBR. In: Apolloni, B., Howlett, R.J., Jain, L. (eds.) KES 2007, Part I. LNCS (LNAI), vol. 4692, pp. 639-646. Springer, Heidelberg (2007)
226. Spanoudakis, G., Mahbub, K.: Non-Intrusive Monitoring of Service-Based Systems. Cooperative Information Systems 15(3), 325-358 (2006)
227. Sterling, L., Shapiro, E.: The Art of Prolog, 2nd edn. MIT Press, Cambridge (1994)
228. ten Teije, A., Marcos, M., Balser, M., van Croonenborg, J., Duelli, C., van Harmelen, F., Lucas, P., Miksch, S., Reif, W., Rosenbrand, K., Seyfang, A.: Improving Medical Protocols by Formal Methods. Artificial Intelligence in Medicine 36(3), 193-209 (2006)
229. Ten Teije, A., Miksch, S., Lucas, P. (eds.): Computer-based Medical Guidelines and Protocols: A Primer and Current Trends. Studies in Health Technology and Informatics, vol. 139. IOS Press, Amsterdam (2008)
230. ter Beek, M.H., Massink, M., Latella, D., Gnesi, S., Forghieri, A., Sebastianis, M.: A Case Study on the Automated Verification of Groupware Protocols. In: Roman, G.C., Griswold, W.G., Nuseibeh, B. (eds.) Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), pp. 596-603. ACM, New York (2005)
231. ter Hofstede, A.H.M., van der Aalst, W.M.P., Adams, M., Russell, N.: Modern Business Process Automation - YAWL and its Support Environment. Springer, Heidelberg (2010)
232. Terenziani, P., Molino, G., Torchio, M.: A Modular Approach for Representing and Executing Clinical Guidelines. Artificial Intelligence in Medicine 23(3), 249-276 (2001) (Pubitemid 33009453)
233. Terenziani, P., Montani, S., Bottrighi, A., Torchio, M., Molino, G., Anselma, L., Correndo, G.: Applying Artificial Intelligence to Clinical Guidelines: The GLARE Approach. In: Cappelli, A., Turini, F. (eds.) AI*IA 2003. LNCS, vol. 2829, pp. 536-547. Springer, Heidelberg (2003)
234. Torroni, P., Chesani, F., Mello, P., Montali, M.: Social commitments in time: Satisfied or compensated. In: Baldoni, M., Bentahar, J., van Riemsdijk, M.B., Lloyd, J. (eds.) DALT 2009. LNCS, vol. 5948, pp. 228-243. Springer, Heidelberg (2010)
235. Torroni, P., Chesani, F., Yolum, P., Gavanelli, M., Singh, M.P., Lamma, E., Alberti, M., Mello, P.: Modelling Interactions via Commitments and Expectations. In: Handbook of Research on Multi-Agent Systems: Semantics and Dynamics of Organizational Models. IGI Global (2009)
236. UDDI Committee. Universal Description, Discovery and Integration (UDDI) Version 2.04 API Specification. Technical report, OASIS Standard (2002)
237. van der Aalst, W., de Beer, H., van Dongen, B.: Process Mining and Verification of Properties: An Approach based on Temporal Logic. In: Meersman, R., Tari, Z. (eds.) OTM 2005. LNCS, vol. 3760, pp. 130-147. Springer, Heidelberg (2005)
238. van der Aalst, W., van Dongen, B., Günther, C., Mans, R., de Medeiros, A.A., Rozinat, A., Rubin, V., Song, M., Verbeek, H., Weijters, A.: ProM 4.0: Comprehensive Support for Real Process Analysis. In: Kleijn, J., Yakovlev, A. (eds.) ICATPN 2007. LNCS, vol. 4546, pp. 484-494. Springer, Heidelberg (2007)
239. van der Aalst, W.M., ter Hofstede, A.H., Kiepuszewski, B., Barros, A.P.: Work- flow Patterns. Distributed and Parallel Databases 14(1), 5-51 (2003)
240. van der Aalst, W.M.P.: Verification of Workflow Nets. In: Azéma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol. 1248, pp. 407-426. Springer, Heidelberg (1997)
241. van der Aalst, W.M.P., Jablonski, S.: Dealing with Workflow Change: Identification of Issues and Solutions. Computer Systems, Science, and Engineering 15(5), 267-276 (2000)
242. van der Aalst, W.M.P., Pesic, M.: DecSerFlow: Towards a Truly Declarative Service Flow Language. In: Bravetti, M., Núñez, M., Zavattaro, G. (eds.)WSFM 2006. LNCS, vol. 4184, pp. 1-23. Springer, Heidelberg (2006)
243. van der Aalst, W.M.P., Dumas, M., ter Hofstede, A.H.M.: Web Service Composition Languages: OldWine in New Bottles? In: Chroust, G., Hofer, C. (eds.) Proceeding of the 29th EUROMICRO Conference: New Waves in System Architecture, pp. 298-305. IEEE Computer Society, Los Alamitos (2003)
244. van der Aalst, W.M.P., van Dongen, B.F., Herbst, J., Maruster, L., Schimm, G., Weijters, A.J.M.M.: Workflow Mining: A Survey of Issues and Approaches. Data and Knowledge Engineering 47(2), 237-267 (2003)
245. van der Aalst, W.M.P., Weijters, T., Maruster, L.: Workflow Mining: Discovering Process Models from Event Logs. IEEE Transactions on Knowledge and Data Engineering 16(9), 1128-1142 (2004)
246. van der Aalst, W.M.P., Dumas, M., ter Hofstede, A.H.M., Russell, N., Verbeek, H.M.W., Wohed, P.: Life After BPEL? In: Bravetti, M., Kloul, L., Zavattaro, G. (eds.) EPEW/WS-EM 2005. LNCS, vol. 3670, pp. 35-50. Springer, Heidelberg (2005)
247. van der Aalst, W.M.P., Reijers, H.A., Weijters, A.J.M.M., van Dongen, B.F., de Medeiros, A.K.A., Song, M., Verbeek, H.M.W.E.: Business Process Mining: An Industrial Application. Information Systems 32(5), 713-732 (2007) (Pubitemid 46560274)
248. van der Aalst, W.M.P., Dumas, M., Ouyang, C., Rozinat, A., Verbeek, E.: Conformance Checking of Service Behavior. ACM Transactions on Internet Technologies 8(3) (2008)
249. van der Aalst, W.M.P., Pesic, M., Schonenberg, H.: Declarative workflows: Balancing between flexibility and support. Computer Science - R&D 23(2), 99-113 (2009)
250. van der Aalst, W.M.P., van Hee, K.M., Martijn, J., van der Werf, E.M., Verdonk, M.: Auditing 2.0: Using Process Mining to Support Tomorrow's Auditor. IEEE Computer 43(3), 90-93 (2010)
251. van Dongen, B.F.: Process Mining and Verification. PhD thesis, Eindhoven University of Technology (2007)
252. van Dongen, B.F., van der Aalst, W.M.P.: Multi-phase Process Mining: Building Instance Graphs. In: Atzeni, P., Chu, W., Lu, H., Zhou, S., Ling, T.-W. (eds.) ER 2004. LNCS, vol. 3288, pp. 362-376. Springer, Heidelberg (2004)
253. van Dongen, B.F., van der Aalst, W.M.P.: A Meta Model for Process Mining Data. In: Castro, J., Teniente, E. (eds.) Proceedings of the CAiSE 2005 Workshops EMOI-INTEROP Workshop, vol. 160, pp. 309-320. FEUP Edições (2005)
254. van Hoeve, W.J.: The AllDifferent Constraint: a Survey. In: Sixth Annual Workshop of the ERCIM Working Group on Constraints (2001)
255. Vardi, M.Y.: Branching vs. Linear Time: Final Showdown. In: Margaria, T., Yi, W. (eds.) TACAS 2001. LNCS, vol. 2031, pp. 1-22. Springer, Heidelberg (2001)
256. Veiga, G.M., Ferreira, D.R.: Understanding Spaghetti Models with Sequence Clustering for ProM. In: Proceedings of BPM 2009 Workshops. LNBIP. Springer, Heidelberg (2009)
257. Vila, L.: A Survey on Temporal Reasoning in Artificial Intelligence. AI Communication 7(1), 4-28 (1994)
258. Wainer, J., de Lima Bezerra, F.: Constraint-Based Flexible Workflows. In: Favela, J., Decouchant, D. (eds.) CRIWG 2003. LNCS, vol. 2806, pp. 151-158. Springer, Heidelberg (2003)
259. Weber, B., Rinderle, S., Reichert, M.: Change Patterns and Change Support Features in Process-Aware Information Systems. In: Krogstie, J., Opdahl, A.L., Sindre, G. (eds.) CAiSE 2007 and WES 2007. LNCS, vol. 4495, pp. 574-588. Springer, Heidelberg (2007)
260. Weiss, G.: Multiagent Systems - A Modern Approach to Distributed Artificial Intelligence. MIT Press, Cambridge (1999)
261. Weske, M.: Business Process Management: Concepts, Languages, Architectures. Springer, Heidelberg (2007)
262. White, S.A.: Introduction to BPMN. BPTrends (2004)
263. White, S.A.: Business Process Modeling Notation Specification 1.0. Technical report, OMG (2006)
264. Wooldridge, M.: An Introduction to MultiAgent Systems, 2nd edn. Wiley & Sons, Chichester (2009)
265. Workflow Management Coalition. Process Definition Interface - XML Process Definition Language, 2.1a edn. (2008)
266. Wright, G.H.: Deontic logic. Mind 60, 1-15 (1951)
267. Xanthakos, I.: Semantic Integration of Information by Abduction. PhD thesis, Imperial College London (2003)
268. Yolum, P., Singh, M.P.: Flexible Protocol Specification and Execution: Applying Event Calculus Planning Using Commitments. In: Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems (AAMAS 2002), pp. 527-534. ACM Press, New York (2002)
269. Zaha, J.M., Barros, A.P., Dumas, M., ter Hofstede, A.H.M.: Let's Dance: A Language for Service Behavior Modeling. In: Meersman, R., Tari, Z. (eds.) OTM 2006. LNCS, vol. 4275, pp. 145-162. Springer, Heidelberg (2006)
270. Zhang, I.: Economic Consequences of the Sarbanes-Oxley Act of 2002. University of Minnesota - Twin Cities, 5 (2002)