Model checking analysis of semantically annotated business processes

IEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans

Volumn 42, Issue 4, 2012, Pages 854-867

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

^a UNIVERSITY OF ZARAGOZA   (Spain)

Author keywords

Business process analysis (BPA); model checking; Petri nets; resource description framework (RDF); semantic business processes (SBPs); SPARQL

Indexed keywords

ANALYSIS TECHNIQUES; BEHAVIORAL PROPERTIES; BUSINESS PROCESS; BUSINESS PROCESS ANALYSIS; INPUT MODELS; MODEL CHECKER; MODEL DESCRIPTION; NET SYSTEMS; PROTOTYPE IMPLEMENTATIONS; RESOURCE DESCRIPTION FRAMEWORK; SEMANTIC DESCRIPTIONS; SPARQL;

MODEL CHECKING; PETRI NETS; SEMANTICS;

SEMANTIC WEB;

EID: 84862511366     PISSN: 10834427     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSMCA.2012.2183357     Document Type: Article

References (29)

1. C. Pedrinaci, J. Domingue, C. Brelage, T. van Lessen, D. Karastoyanova, and F. Leymann, "Semantic business process management: Scaling up the management of business processes," in Proc. 2nd IEEE ICSC, Santa Clara, CA, Aug. 4-7, 2008, pp. 546-553.
2. J. Pathak, S. Basu, and V. Honavar, "Modeling web service composition using symbolic transition systems," in Proc. AAAI-Workshop AI-Driven Technologies Service-Oriented Computing, Boston, MA, Jul. 16-20, 2006, pp. 44-51.
3. F. Bonchi, A. Brogi, S. Corfini, and F. Gadducci, "Compositional specification of web services via behavioural equivalence of nets: A case study," in Proc. 29th Int. Conf. Petri Nets, Xi'an, China, Jun. 23-27, 2008, pp. 52-71.
4. E. Bouillet, M. Feblowitz, H. Feng, Z. Liu, A. Ranganathan, and A. Riabov, "A Folksonomy-based model of web services for discovery and automatic composition," in Proc. IEEE SCC, Honolulu, HI, Jul. 8-11, 2008, pp. 389-396.
5. I. Weber, J. Hoffmann, and J. Mendling, "Beyond soundness: On the verification of semantic business process models," Distrib. Parallel Databases, vol. 27, no. 3, pp. 271-343, Jun. 2010.
6. X. Li, Y. Fan, Q. Z. Sheng, Z. Maamar, and H. Zhu, "A Petri net approach to analyzing behavioral compatibility and similarity of web services," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 41, no. 3, pp. 510-521, May 2011.
7. G. Koliadis and A. Ghose, "Verifying semantic business process models in inter-operation," in Proc. IEEE SCC, Salt Lake City, UT, Jul. 9-13, 2007, pp. 731-738.
8. H. Meyer, "On the semantics of service compositions," in Proc. 1st Int. Conf. RR, Innsbruck, Austria, Jun. 7-8, 2007, pp. 31-42.
9. P. Xiong, Y. Fan, and M. Zhou, "A Petri net approach to analysis and composition of web services," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 40, no. 2, pp. 376-387, Mar. 2010.
10. G. Liu, C. Jiang, and M. Zhou, "Process nets with channels," IEEE Trans. Syst.,Man, Cybern.A, Syst.,Humans, vol. 42, no. 1, pp. 213-225, Jan. 2012.
11. 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 Proc. OTM-On the Move to Meaningful Internet Systems, Vilamoura, Portugal, Nov. 25-30, 2007, pp. 1244-1255.
12. S. V. A. Campos, W. R. M. Edmund, M. Clarke, and M. Minea, "Verus: A tool for quantitative analysis of finite-state real-time systems," in Proc. ACM ACM SIGPLAN, La Jolla, CA, Jun. 21-22, 1995, pp. 1-13.
13. F. Lerda, J. Kapinski, E. M. Clarke, and B. H. Krogh, "Verification of supervisory control software using state proximity and merging," in Proc. 11th HSCC, St. Louis, MO, Apr. 22-24, 2008, pp. 344-357.
14. A. Deutsch, L. Sui, and V. Vianu, "Specification and verification of datadriven web applications," J. Comput. Syst. Sci., vol. 73, no. 3, pp. 442-474, 2007.
15. P. Godefroid, M. Huth, and R. Jagadeesan, "Abstraction-based model checking using modal transition systems," in Proc. 12th CONCUR, Aalborg, Denmark, Aug. 20-25, 2001, pp. 426-440.
16. E. M. Clarke and E. A. Emerson, "Design and synthesis of synchronization skeletons using branching-time temporal logic," in Proc. Logic Programs Workshop, Yorktown Heights, NY, May 1982, pp. 52-71.
17. A. Pnueli, "The temporal logic of programs," in Proc. 18th Annu. Symp. FOCS, Providence, RI, Sep. 30-Nov. 1, 1977, pp. 46-57.
18. W. M. P. van der Aalst, H. T. de Beer, and B. van Dongen, "Process mining and verification of properties: An approach based on temporal logic," in Proc. OTM, Agia Napa, Cyprus, Oct. 31-Nov. 4, 2005, pp. 130-147.
19. A. Günay and P. Yolum, "Service matchmaking revisited: An approach based on model checking," J. Web Semantics, vol. 8, no. 4, pp. 292-309, Nov. 2010.
20. M. J. Ibáñez, P. Álvarez, and J. Ezpeleta, "Analyzing behavioral properties of semantic business processes with parametric data," Concurrency Comput., Pract. Exp., vol. 23, no. 6, pp. 525-555, Apr. 2011.
21. B. Dutertre and L. de Moura, The Yices SMT solver, SRI Int., Menlo Park, CA, Tech. Rep. [Online]. Available: http://yices.csl.sri.com/tool-paper.pdf
22. M. J. Ibáñez, P. Álvarez, and J. Ezpeleta, "RDF model checking: A technique to verify behavioral properties in semantically annotated business processes," in Proc. 3rd IEEE ICSC, Berkeley, CA, Sep. 14-16, 2009, pp. 245-252.
23. F. Manola and E. Miller, RDF Primer, W3C Recommendation, World Wide Web Consortium, Feb. 2004. [Online]. Available: http://www.w3.org/TR/rdf-primer
24. OMG, "Business Process Modeling Notation Specification," OMG Final Adopted Specification, 2006. [Online]. Available: http://www.bpmn.org
25. G. Decker, O. Kopp, F. Leymann, and M. Weske, "BPEL4Chor: Extending BPEL for modeling choreographies," in Proc. IEEE Int. Conf. Web Serv., 2007, pp. 296-303.
26. P. Hayes, RDF semantics, World Wide Web Consortium (W3C), Tech. Rep. [Online]. Available: http://www.w3.org/TR/rdf-mt
27. T. Murata, "Petri nets: Properties, analysis and applications," Proc. IEEE, vol. 77, no. 4, pp. 541-580, Apr. 1989.
28. E. A. Emerson, "Temporal and modal logic," in Handbook of Theoretical Computer Science, Formal Models and Semantics. Cambridge, MA: MIT Press, 1990, pp. 995-1072.
29. B. Liu and B. Hu, "An Evaluation of RDF Storage Systems for Large Data Applications," in Proc. 1st Int. Conf. SKG, Beijing, China, Nov. 28-29, 2005, p. 59.