An open platform for business process modeling and verification

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6261 LNCS, Issue PART 1, 2010, Pages 76-90

  De Nicola, Antonio ^a   Missikoff, Michele ^a   Proietti, Maurizio ^a   Smith, Fabrizio ^a,b  

^a CNR   (Italy)

^b UNIVERSITY OF L'AQUILA   (Italy)

Author keywords

BPAL; business process; Horn logic; modeling language

Indexed keywords

AUTOMATIC VERIFICATION; BPAL; BUSINESS PROCESS; BUSINESS PROCESS MODELING; EXECUTION SEMANTICS; HORN LOGIC; LOGIC-BASED LANGUAGES; LOGIC-BASED MODELING; META MODEL; MODELING LANGUAGE; REASONING MECHANISM; SET OF RULES; TRACE GENERATION;

EXPERT SYSTEMS;

PROBLEM SOLVING;

EID: 78049408660     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-15364-8_6     Document Type: Conference Paper

References (20)

1. Dijkman, R.M., Dumas, M., Ouyang, C.: Formal semantics and automated analysis of BPMN process models. Preprint 7115. Queensland University of Technology, Brisbane, Australia (2007)
2. Reisig, W., Rozenberg, G. (eds.): APN 1998. LNCS, vol. 1491. Springer, Heidelberg (1998)
3. 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)
4. Montali, M., Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Verification from Declarative Specifications Using Logic Programming. In: Garcia de la Banda, M., Pontelli, E. (eds.) ICLP 2008. LNCS, vol. 5366, pp. 440-454. Springer, Heidelberg (2008)
5. 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 Logics 9(4), 1-43 (2008)
6. Conrad, B., Gruninger, M.: Psl: A semantic domain for flow models. Software and Systems Modeling 4(2), 209-231 (2005)
7. OMG: Business Process Model and Notation. Version 2.0 (August 2009), http://www.omg.org/spec/BPMN/2.0
8. De Nicola, A., Lezoche, M., Missikoff, M.: An Ontological Approach to Business Process Modeling. In: 3rd Indian International Conference on Artificial Intelligence (IICAI 2007), Pune, India (Dicembre 17 -19, 2007)
9. Lloyd, J.W.: Foundations of Logic Programming. Springer, Berlin (1987)
10. Dumas, M., van der Aalst, W., ter Hofstede, A.H.M.: Process-Aware Information Systems. Wiley-Interscience, Hoboken (2005)
11. Eder, J., Gruber, W.: A Meta Model for Structured Workflows Supporting Work-flow Transformations. In: Manolopoulos, Y., Návrat, P. (eds.) ADBIS 2002. LNCS, vol. 2435, pp. 326-339. Springer, Heidelberg (2002)
12. Combi, C., Gambini, M.: Flaws in the Flow: The Weakness of Unstructured Business Process Modeling Languages Dealing with Data. In: Meersman, R., Dillon, T., Herrero, P. (eds.) OTM 2009. LNCS, vol. 5870, pp. 42-59. Springer, Heidelberg (2009)
13. van Dongen, B.F., Mendling, J., van der Aalst, W.M.P.: Structural Patternsfor Soundness of Business Process Models. In: Proceedings of EDOC 2006, Hong Kong, China. IEEE, Los Alamitos (2006)
14. D'Antonio, F., Missikoff, M., Taglino, F.: Formalizing the OPAL eBusiness ontology design patterns with OWL. In: Third International Conference on Interoperability for Enterprise Applications and Software, I-ESA (2007)
15. Scheer, A.W., Thomas, O., Adam, O.: Process Modeling Using Event-Driven Process Chains. In: Dumas, M., van der AAlst, W., ter Hofstede, A.H.M. (eds.) Process-Aware Information Systems, pp. 119-145 (2005)
16. The XSB Logic Programming System. Version 3.1 (August 2007), http://xsb.sourceforge.net
17. Bonner, A.J., Kifer, M.: Concurrency and Communication in Transaction Logic. In: Joint International Conference and Symposium on Logic Programming (1996)
18. Roman, D., Kifer, M.: Reasoning about the Behavior of Semantic Web Services with Concurrent Transaction Logic. In: VLDB (2007)
19. OWL 2: Profiles, http://www.w3.org/TR/owl2-profiles
20. Grosof, B.N., Horrocks, I., Volz, R., Decker, S.: Description Logic Programs: Combining Logic Programs with Description Logic. In: Proceedings of the 12th International Conference on World Wide Web. ACM, New York (2003)