Analyzing behavioral properties of semantic business processes with parametric data

Concurrency and Computation: Practice and Experience

Volumn 23, Issue 6, 2011, Pages 525-555

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

^a UNIVERSITY OF ZARAGOZA   (Spain)

Author keywords

parametric analysis; parametric reachability graph; Petri nets; RDF; semantic business processes

Indexed keywords

ENTERPRISE RESOURCE MANAGEMENT; MODEL CHECKING; PETRI NETS; SEMANTIC WEB; SEMANTICS;

BEHAVIORAL PROPERTIES; BUSINESS PROCESS; BUSINESS PROCESS MANAGEMENT; MODEL-CHECKING TECHNIQUES; PARAMETRIC -ANALYSIS; REACHABILITY GRAPHS; SATISFIABILITY MODULO THEORIES; SEMANTIC PROPAGATION;

DATA FLOW ANALYSIS;

EID: 79952936499     PISSN: 15320626     EISSN: 15320634     Source Type: Journal    
DOI: 10.1002/cpe.1661     Document Type: Article

References (39)

1. Lecue F, Delteil A, Leger A,. Applying abduction in semantic web service composition. 2007 IEEE International Conference on Web Services (ICWS 2007), 9-13 July 2007, Salt Lake City, Utah, U.S.A., 2007; 94-101.
2. Nitzsche J, van Lessen T, Karastoyanova D, Leymann F,. BPEL for Semantic Web Services (BPEL4SWS). On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops. Springer: Berlin, 2007; 179-188.
3. Koliadis G, Ghose A,. Verifying Semantic Business Process Models in Inter-operation. 2007 IEEE International Conference on Services Computing (SCC 2007), 9-13 July 2007, Salt Lake City, Utah, U.S.A., 2007; 731-738. (Pubitemid 47565685)
4. Weber I, Hoffmann J, Mendling J,. Beyond soundness: On the semantic consistency of executable process models. Sixth IEEE European Conference on Web Services, 12-14 November 2008, Dublin, Ireland 2008; 102-111.
5. Meyer H,. On the semantics of service compositions. Proceedings of the First International Conference on Web Reasoning and Rule Systems (RR 2007), Innsbruck, Austria, 7-8 June 2007.
6. Burstein M, Hobbs J, Lassila O, Mcdermott D, Mcilraith S, Narayanan S, Paolucci M, Parsia B, Payne T, Sirin E, Srinivasan N, Sycare K,. OWL-S: Semantic markup for web services. Technical Report, November 2004. Available at: [22 November 2004 ].
7. Ibáñez MJ, Álvarez P, Ezpeleta J,. Symbolic analysis of the behavior of semantic business processes. The 2009 International Conference on Semantic Web and Web Services, 13-16 July 2009, Las Vegas, Nevada, U.S.A., 2009; 213-219.
8. Ibáñez MJ, Álvarez P, Ezpeleta J,. RDF model checking: A technique to verify behavioral properties in semantically annotated business processes. Third IEEE International Conference on Semantic Computing, 14-16 September 2009, Berkeley, CA, U.S.A., 2009; 245-252.
9. Hayes P, (ed.). In RDF Semantics. W3C Recommendation, World Wide Web Consortium, 2004. Available at: [10 February 2004 ].
10. Prudhommeaux E, Seaborne A,. SPARQL Query Language for RDF. W3c Candidate Recommendation, World Wide Web Consortium, January 2008. Available at: [15 January 2008 ].
11. Dutertre B, de Moura L,. The Yices SMT solver. Technical Report, August 2006.
12. Ibáñez MJ, Ezpeleta J, Álvarez P, Bhiri S,. RDF-annotated petri nets: A formalism for the validation and analysis of processes with semantic information. ACM SBPM09 Workshop, Crete, Greece, 1 June 2009.
13. Murata T,. Petri nets: Properties, analysis and applications. Proceedings of the IEEE 1989; 77 (4): 541-580.
14. Silva M, Teruel E, Colom J, Rozenberg G, Haddad S,. Petri nets for systems engineering: A guide to modelling, verification, and application. Structural Methods. Springer: Berlin, 2003; 277-316.
15. Silva M, Teruel E, Colom J, Rozenberg G, Reisig W,. Linear algebraic and linear programming techniques for the analysis of net systems. Lectures in Petri Nets. I: Basic Models., Reisig W, Rozenberg G, (eds), Springer: Berlin, 1998; 309-373.
16. Emerson EA,. Temporal and Modal Logic. MIT Press: Cambridge, MA, 1990; 995-1072.
17. Clarke EM, Emerson EA,. Design and synthesis of synchronization skeletons using branching-time temporal logic. Logic of Programs, Workshop. Springer: London, U.K., 1982; 52-71.
18. Liu B, Hu B,. An evaluation of RDF storage systems for large data applications. First International Conference on Semantics, Knowledge and Grid, 2005, SKG 05, Beijing, China, 28-29 November 2005; 59-59. DOI: 10.1109/SKG.2005.37.
19. Balser M, Bumler S, Reif W, Schellhorn G,. Interactive verification of concurrent systems using symbolic execution. LPAR Workshops, CEUR Workshop Proceedings, Doha, Qatar, Rudnicki P, Sutcliffe G, Konev B, Schmidt RA, Schulz S (eds), vol. 418. CEUR-WS.org, 22-27 November 2008.
20. Xie T, Marinov D, Schulte W, Notkin D,. Symstra: A framework for generating object-oriented unit tests using symbolic execution. Proceedings of the 11th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2005), 2005; 365-381. (Pubitemid 41273753)
21. Anand S, Pasareanu C, Visser W,. Symbolic execution with abstract subsumption checking. Model Checking Software, SPIN Workshop, Vienna, Austria, 30 March-1 April 2006; 163-181. (Pubitemid 44019624)
22. Campos S, Clarke E, Marrero W, Minea M,. Verus: A tool for quantitative analysis of finite-state real-time systems. ACM Workshop on Languages Compilers and Tools for Real-Time Systems, La Jolla, CA, U.S.A., 21-22 June 1995.
23. Lerda F, Kapinski J, Clarke EM, Krogh BH,. Verification of supervisory control software using state proximity and merging. HSCC 08: Proceedings of the 11th International Workshop on Hybrid Systems. Springer: Berlin, Heidelberg, 2008; 344-357.
24. Deutsch A, Sui L, Vianu V,. Specification and verification of data-driven web applications. Journal of Computer and System Sciences 2007; 73 (3): 442-474. (Pubitemid 46028926)
25. Godefroid P, Huth M, Jagadeesan R,. Abstraction-based model checking using modal transition systems. CONCUR 01: Proceedings of the 12th International Conference on Concurrency Theory. Springer: London, U.K., 2001; 426-440. (Pubitemid 33326672)
26. Pnueli A,. The temporal logic of programs. 18th Annual Symposium on the Foundations of Computer Science, IEEE, Providence, RI, U.S.A., 30 September-1 November 1977.
27. van der Aalst WMP, de Beer HT, van Dongen BF,. Process mining and verification of properties: An approach based on temporal logic. OTM Conferences, Agia Napa, Cyprus, 31 October-4 November 2005; 130-147. (Pubitemid 43734301)
28. Pathak J, Basu S, Honavar V,. Modeling web service composition using symbolic transition systems. AAAI Workshop on AI-Driven Technologies for Service-Oriented Computing, Boston, MA, U.S.A., 16-20 July 2006.
29. Rao J, Kungas P, Matskin M,. Composition of semantic web services using linear logic theorem proving. Information Systems 2006; 31 (4-5): 340-360. (Pubitemid 43290447)
30. Giordano L, Martelli A,. Web service composition in a temporal action logic. Proceedings of Fourth International Workshop on AI for Service Composition, Trento, Italy, 28 August 2006; 52-59.
31. Florian Lautenbacher BB,. Semantic reference and business process modeling enables an automatic synthesis. Proceedings of Semantics for Business Process Management Workshop (SBPM) of the European Semantic Web Conference (ESWC), 2006, Budva, Montenegro, 2006.
32. Bonchi F, Brogi A, Corfini S, Gadducci F,. Compositional specification of web services via behavioural equivalence of nets: A case study. Petri Nets, Xian, China, 23-27 June 2008; 52-71.
33. Liu Z, Ranganathan A, Riabov A,. Modeling web services using semantic graph transformations to aid automatic composition. IEEE International Conference on Web Services (ICWS 2007). IEEE Computer Society: Silver Spring, MD, 2007; 78-85.
34. Bouillet E, Feblowitz M, Feng H, Liu Z, Ranganathan A, Riabov A,. A folksonomy-based model of web services for discovery and automatic composition. 2008 IEEE International Conference on Services Computing (SCC 2008), 8-11 July 2008, Honolulu, Hawaii, U.S.A., 2008; 389-396.
35. Pedrinaci C, Domingue J, Brelage C, van Lessen T, Karastoyanova D, Leymann F,. Semantic business process management: Scaling up the management of business processes. ICSC 2008, Santa Clara, CA, U.S.A., 4-7 August 2008; 546-553.
36. de Medeiros AKA, Pedrinaci C, van der Aalst WMP, Domingue J, Song M, Rozinat A, Norton B, Cabral L,. An outlook on semantic business process mining and monitoring. On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops, OTM Confederated International Workshops. OTM07 Workshops, Vilamoura, Portugal, 25-30 November 2007; 1244-1255.
37. Roman D, Kifer M,. Semantic web service choreography: Contracting and enactment. Seventh International Semantic Web Conference, Karlsruhe, Germany, 26-30 October 2008; 550-566.
38. Roman D, Kifer M,. Reasoning about the behavior of semantic web services with concurrent transaction logic. VLDB 07: Proceedings of the 33rd International Conference on Very Large Data Bases, Vienna, Austria; VLDB Endowment, 23-27 September 2007; 627-638.
39. Anyanwu K, Maduko A, Sheth AP,. SPARQ2L: Towards support for subgraph extraction queries in RDF databases. WWW 2007, Banff, AB, Canada, 8-12 May 2007; 797-806.