RDF model checking: A technique to verify behavioral properties in semantically annotated business processes

ICSC 2009 - 2009 IEEE International Conference on Semantic Computing

Volumn , Issue , 2009, Pages 245-252

  Ibáñez, María José ^a   Álvarez, Pedro ^a   Ezpeleta, Joaquín ^a  

^a UNIVERSITY OF ZARAGOZA   (Spain)

Author keywords

Behavioral analysis of semantic business processes; Model checking; Petri nets; RDF; SPARQL

Indexed keywords

ANALYSIS TECHNIQUES; BEHAVIORAL ANALYSIS; BEHAVIORAL ANALYSIS OF SEMANTIC BUSINESS PROCESSES; BEHAVIORAL PROPERTIES; BUSINESS PROCESS; MODEL CHECKER; MODEL DESCRIPTION; RDF; RDF MODEL;

GRAPH THEORY; PETRI NETS; SEMANTICS;

MODEL CHECKING;

EID: 73449100123     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSC.2009.13     Document Type: Conference Paper

References (14)

1. K. Anyanwu, A. Maduko, and A. P. Sheth. SPARQ2L: towards Support for Subgraph Extraction Queries in RDF Databases. In WWW 2007, pages 797-806, 2007.
2. M. Arenas, C. Gutierrez, and J. Pérez. An Extension of SPARQL for RDFS. pages 1-20, 2008.
3. E. M. Clarke and E. A. Emerson. Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic. In Logic of Programs, Workshop, pages 52-71, London, UK, 1982. Springer-Verlag.
4. A. K. A. de Medeiros, C. Pedrinaci, W. M. P. van der Aalst, J. Domingue, M. Song, A. Rozinat, B. Norton, and L. Cabral. An Outlook on Semantic Business Process Mining and Monitoring. In OTM07 Workshops.
5. E. A. Emerson. Temporal and Modal Logic. volume B: Formal Models and Semantics, pages 995-1072. MIT Press, 1990.
6. P. Hayes, editor. RDF Semantics. W3C Recommendation. World Wide Web Consortium, February 2004.
7. M. J. Ibáñez, J. Ezpeleta, P. Álvarez, and S. Bhiri. RDF-Annotated Petri Nets: A Formalism for the Validation and Analysis of Processes with Semantic Information. In To Appear ACM SBPM09 Workshop, 2009.
8. H. Meyer. On the Semantics of Service Compositions. In Proceedings of The First International Conference on Web Reasoning and Rule Systems (RR 2007), 2007.
9. A. Pnueli. The Temporal Logic of Programs. In 18th Annual Symposium on the Foundations of Computer Science, IEEE, November, 1977.
10. E. Prud'hommeaux and A. Seaborne. SPARQL Query Language for RDF. W3c candidate recommendation,World Wide Web Consortium, January 2008.
11. D. Roman and M. Kifer. Semantic Web Service Choreography: Contracting and Enactment. In 7th International Semantic Web Conference, Karlsruhe, Germany, October 26-30, 2008., pages 550-566, 2008.
12. W. M. P. van der Aalst, H. T. de Beer, and B. F. van Dongen. Process Mining and Verification of Properties: An Approach Based on Temporal Logic. In OTM Conferences 2005, pages 130-147, 2005.
13. I.Weber, J. Hoffmann, and J. Mendling. Beyond Soundness: On the Semantic Consistency of Executable Process Models. In 6th IEEE European Conference on Web Services, 12-14 November 2008, Dublin, Ireland, pages 102-111, 2008.
14. Q.Wu, C. Pu, A. Sahai, and R. S. Barga. Categorization and Optimization of Synchronization Dependencies in Business Processes. In 23rd International Conference on Data Engineering, pages 306-315, 2007.