Ontology-driven analysis of UML-based collaborative processes using OWL-DL and CPN

Science of Computer Programming

Volumn 75, Issue 8, 2010, Pages 726-760

  Noguera, Manuel ^a   Hurtado, María V ^a   Rodríguez, María Luisa ^a   Chung, Lawrence ^b   Garrido, José Luis ^a  

^a UNIVERSITY OF GRANADA   (Spain)

^b The University of Texas at Dallas   (United States)

Author keywords

Collaborative systems; CPN; CSCW; OWL; Process analysis; Process modelling; Reasoning; Task modelling

Indexed keywords

AUTOMATIC ANALYSIS; BUSINESS MODELING; BUSINESS PROCESS; COLLABORATIVE PROCESS; COLLABORATIVE SYSTEMS; COLORED PETRI NET; EXECUTABLE MODEL; HUMAN-FRIENDLY; MAPPING RULES; ONTOLOGICAL ELEMENTS; POTENTIAL BENEFITS; PROCESS ANALYSIS; REASONING TASKS; RELATIVE STRENGTH; UML ACTIVITY DIAGRAMS; UML NOTATION; VISUAL REPRESENTATIONS; WEB ONTOLOGY LANGUAGE;

GRAPH THEORY; GROUPWARE; LINGUISTICS; MAPPING; ONTOLOGY; PETRI NETS; SEMANTIC WEB; SEMANTICS; WORK SIMPLIFICATION;

UNIFIED MODELING LANGUAGE;

EID: 77955278774     PISSN: 01676423     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.scico.2009.05.002     Document Type: Article

References (68)

1. W.M.P. van der Aalst Verification of workflow nets Proceedings of 18th International Conference on Application and Theory of Petri Nets Lecture Notes in Computer Science vol. 1248 1997 Springer-Verlag Toulouse, France 407 426
2. W.M.P. van der Aalst, Trends in business process analysis: From validation to process mining, in: International Conference on Enterprise Information Systems, ICEIS, Funchal, Madeira, Portugal, 12-16 June, 2007
3. W.M.P. van der Aalst, P. Barthelmess, C.A. Ellis, and J. Wainer Proclets: A framework for lightweight interacting workflow processes International Journal of Cooperative Systems 10 4 2001 443 481 (Pubitemid 33664102)
4. W.M.P. van der Aalst, and A.H.M. ter Hofstede YAWL: Yet another workflow language Information Systems 30 2005 245 275
5. W.M.P. van der Aalst, and K.B. Lassen Translating unstructured workflow processes to readable BPEL: Theory and implementation Information & Software Technology 50 3 2008 131 159
6. F. Baader, D. Calvanese, D. McGuineness, D. Nardi, and P. Patel-Schneider The Description Logic Handbook 2003 Cambridge University Press
7. J. Barjis, Developing executable models of business systems, in: Proceedings of 9th International Conference on Enterprise Information Systems, ICEIS 2007, Madeira, Portugal, INSTICC, pp. 5-13
8. J. Barjis The importance of business process modeling in software systems design Science of Computer Programming 71 1 2008 73 87
9. K. Benghazi, M.I. Capel, J.A. Holgado, and L.E. Mendoza A methodological approach to the formal specification of real-time systems by transformation of UML-RT design models Science of Computer Programming 65 1 2007 41 56
10. D. Berardi, D. Calvanese, and G. De Giacomo Reasoning on UML class diagrams Artificial Intelligence 168 12 2005 70 118
11. J. de Bruijn, R. Lara, A. Polleres, D. Fensel, OWL DL vs. OWL flight: conceptual modeling and reasoning for the semantic Web, in: Proceedings of the 14th international Conference on World Wide Web, WWW '05, Chiba, Japan, 1014 May, 2005, ACM, New York, NY, pp. 623632
12. D. Calvanese, G. De Giacomo, L. Lenzerini, Identification constraints and functional dependencies in description logics, in: Proc. of the 17th Int. Joint conf. on Artificial Intelligence, IJCAI 2001, Seattle, WA, 2001, pp. 155160
13. P.H. Carstensen, and K. Schmidt Computer supported cooperative work: New challenges to systems design Handbook of Human Factors/Ergonomics 2003 Asakura Publishing Tokyo 619 636
14. S. Christensen, L.M. Kristensen, and T. Mailund A sweep-line method for state space exploration Proc. of 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems Lecture Notes in Computer Science vol. 2031 2001 Springer-Verlag 450 464
15. S. Christensen, L.M. Kristensen, and T. Mailund Condensed state spaces for timed petri nets Proc. of 22nd International Conference on Application and Theory of Petri Nets Lecture Notes in Computer Science vol. 2075 2001 Springer-Verlag 101 120
16. CPN Tools. www.daimi.au.dk/CPNtools/
17. J. Desel, V. Milijic, and N. Neumair Model validation in controller design Lectures on Concurrency and Petri Nets LNCS vol. 3098 2004 Springer 10.1007/b98282
18. Design/CPN. http://www.daimi.au.dk/designCPN/
19. F.M. Donini, M. Lenzerini, D. Nardi, W. Nutt, and A. Schaerf An epistemic operator for description logics Artificial Intelligence 100 12 1998 225 274
20. N. Drummond, A. Rector, R. Stevens, G. Moulton, M. Horridge, H. Wang, J. Seidenberg, Putting OWL in Order: Patterns for Sequences in OWL, in: Proceedings of the 2nd OWL Experiences and Directions Workshop, OWL-ED 2006, Athens, Georgia, USA, 2006
21. J. Evermann, A UML and OWL description of Bunge's upper-level ontology model, Software and Systems Modeling 8 (2) 235249
22. J.M. Fernandes, J.B. Jorgensen, S. Tjell, Requirements engineering for reactive systems: Coloured petri nets for an elevator controller, in: APSE'C2007. doi:10.1109/APSEC.2007.81
23. J.L. Garrido, M. Noguera, M. Gonzlez, M.V. Hurtado, and M.L. Rodrguez Definition and use of computation independent models in an MDA-based groupware development process Science of Computer Programming 66 2007 25 43
24. J.L. Garrido, and M. Gea A coloured petri net formalisation for a UML-based notation applied to cooperative system modelling P. Forbrig, Interactive Systems- Design, Specification and Verification LNCS vol. 2545 2002 Springer 16 28
25. J.L. Garrido, M. Gea, and M.L. Rodrguez Requirements engineering in cooperative systems Requirements Engineering for Sociotechnical Systems 2005 IDEA GROUP, Inc. USA 226 244 (Chapter XIV)
26. D. Gasevic, and V. Devedzic Petri net ontology Knowledge-Based Systems 19 2006 220 234
27. D. Gasevic, D. Djuric, and V. Devedzic MDA-based automatic OWL ontology development International Journal of Software Tools and Technology Transfer 9 2007 103 117
28. P. Green, M. Rosemann, M. Indulska, and C. Manning Candidate interoperability standards: An ontological overlap analysis Data Knowledge Engineering 62 2 2007 274 291
29. W. Grosso, The Protégé Axiom Language and Toolset, PAL, 2002 (September, 2005): http://protege.stanford.edu/plugins/paltabs/ paldocumentation/index.html
30. N. Guarino Formal ontology and information systems Proceedings of FOIS '98 1998 IOS Press Amsterdam 3 15
31. I. Horrocks, U. Sattler, and S. Tobies Practical reasoning for expressive description logics Proc. of LPAR'99 LNAI vol. 1705 1999 161 180
32. I. Horrocks, U. Sattler, Ontology reasoning in the SHOQ(D) description logic, in: Proc. of the 17th Int. Joint Conf. on Artificial Intelligence, IJCAI 2001, 2001, pp. 199204
33. I. Horrocks, O. Kutz, and U. Sattler The even more irresistible SROIQ Proc. of the 10th Int. Conf. on Principles of Knowledge Representation and Reasoning 2006 AAAI Press 57 67
34. F.W. Jaekel, N. Perry, C. Campos, K. Mertins, and R. Chalmeta Interoperability supported by enterprise modelling LNCS vol. 3762 2005 Springer-Verlag Berlin 552 561
35. Jambalaya 2.6.0 (May 17, 2007). The Jambalaya Project. More info at http://www.thechiselgroup.org/jambalaya
36. K. Jensen, L.M. Kristensen, and L. Wells Coloured petri nets and CPN tools for modelling and validation of concurrent systems STTT 9 2007 213 254
37. Jess: The Rule Engine for the Java Platform. Available at http://herzberg.ca.sandia.gov/jess/
38. H. Jonkers, M.M. Lankhorst, R. van Buuren, S. Hoppenbrouwers, M.M. Bonsangue, and L.W.N. van der Torre Concepts for modeling enterprise architectures International Journal of Cooperative Information System 13 2004 257 287
39. Y. Katz, B. Parsia, Towards a nonmonotonic extension to OWL, in: B.C. Grau, I. Horrocks, B. Parsia, P. Patel-Schneider (Eds), Proceedings of Workshop on OWL Experiences and Directions, Galway, Ireland, 2005
40. H. Knublauch, R.W. Fergerson, N.F. Noy, and M. Musen The Protg OWL Plugin: An open development environment for semantic web applications LNCS vol. 3298 2004 229 243
41. L.M. Kristensen, J.B. Jorgensen, and K. Jensen Application of coloured petri nets in system development J. Desel, W. Reisig, G. Rozenberg, ACPN 2003 LNCS vol. 3098 2004 Springer-Verlag 626 685
42. C.F.J. Lange, M.R.V. Chaudron, and J. Muskens In practice: UML software architecture and design description IEEE Software 23 2006 40 46
43. I. Lera, C. Juiz, and R. Puigjaner Performance-related ontologies and semantic web applications for on-line performance assessment of intelligent systems Science of Computer Programming 61 2006 27 37
44. J. Martinez, and M. Silva A simple and fast algorithm to obtain all invariants of a generalised Petri net Application and Theory of Petri Nets: Selected Papers from the First and the Second European Workshop Informatik Fachberichte vol. 52 1982 Springer-Verlag Berlin 301 310
45. B. Motik, B. Cuenca Grau, U. Sattler, Structured objects in owl: Representation and reasoning, in: Proc. of the 17th International Conference on World Wide Web, WWW '08, Beijing, China, 2125 April, 2008, ACM, New York, NY, pp. 555564
46. M. Noguera, M.V. Hurtado, and J.L. Garrido An ontology-based scheme enabling the modeling of cooperation in business processes LNCS vol. 4277 2006 Springer-Verlag 863 872
47. OASIS, Reference model for service oriented architecture 1.0, Committee Specification 1, 2 August 2006. http://www.oasis-open.org/committees/tchome.php? wgabbrev=soa-rm
48. OASIS, Web services business process execution language version 2.0, OASIS standard, 11 April 2007. http://docs.oasis-open.org/wsbpel/2.0/wsbpel-v2. 0.pdf
49. OMG, Meta Object Facility (MOF) core specification, Version 2.0. OMG Specification, formal/06-01-01. Available at http://www.omg.org/docs/formal/06- 01-01.pdf
50. OMG, OCL 2.0 specification, Version 2.0. OMG Available Specification (OCL 2.0 FTF convenience document), ptc/2005-06-06. Latest version is available at http://www.omg.org/docs/ptc/05-06-06.pdf
51. OMG, Ontology definition metamodel, OMG adopted specification, OMG Document Number: ptc/2007-09-09. Available at: http://www.omg.org/docs/ptc/07- 09-09.pdf
52. OMG, Unified modeling language: Superstructure, version 2.1.1 (with change bars), formal/2007-02-03. http://www.omg.org/cgi-bin/doc?formal/07-02-03
53. C. Ouyang, E. Verbeek, W.M.P. van der Aalst, S. Breutel, M. Dumas, and A.H.M. ter Hofstede Formal semantics and analysis of control flow in WS-BPEL Science of Computer Programming 67 2007 162 198
54. OSOA, SCA service component architecture, Assembly Model Specification, SCA Version 1.00, March 15, 2007
55. C. Pahl Layered ontological modelling for web service-oriented model-driven architecture LNCS vol. 3748 2005 Springer-Verlag Berlin 88 102
56. N. Russell, W.M.P. van der Aalst, A.H.M. ter Hofstede, and P. Wohed On the suitability of UML 2.0 activity diagrams for business process modelling APCCM '06: Proceedings of the 3rd Asia-Pacific conference on Conceptual Modelling vol. 53 2006 Australian Computer Society 95 104
57. ScriptRules. Available at http://www.hansschevers.nl/scriptRules.htm
58. E. Sirin, B. Parsia, B. Cuenca-Grau, A. Kalyanpur, and Y. Katz Pellet: A practical OWL-DL reasoner Journal of Web Semantics 5 2 2007
59. W3C, Defining N -ary relations on the semantic web, W3C Working Group Note, 12 April 2006. http://www.w3.org/TR/swbp-n-aryRelations/
60. W3C, OWL web ontology language guide, W3C Recommendation, 10 February 2004. http://www.w3.org/TR/owl-guide/
61. W3C, OWL web ontology language semantics and abstract syntax, W3C Recommendation, 10 February 2004. http://www.w3.org/TR/owl-guide/
62. W3C, OWL web ontology language reference, W3C Recommendation, 10 February 2004, http://www.w3.org/TR/owl-ref/OWLDL
63. W3C, OWL-S: Semantic markup for web services, W3C Member Submission, 22 November 2004. http://www.w3.org/Submission/OWL-S/
64. W3C, RDF vocabulary description language 1.0: RDF Schema, W3C Recommendation, 10 February 2004. http://www.w3.org/TR/rdf-schema/
65. W3C, SWRL: A semantic web rule language combining OWL and RuleML, W3C Member Submission, 21 May 2004. http://www.w3.org/Submission/SWRL/
66. W3C, Web Services Description Language (WSDL) Version 2.0 Part 0: Primer, W3C Recommendation, 26 June 2007. http://www.w3.org/TR/wsdl20-primer
67. W3C, XSL Transformations (XSLT) Version 1.0, W3C Recommendation, 16 November 1999. http://www.w3.org/TR/xslt
68. J. Xu, J. Kuusela, Modeling execution architecture of software system using colored Petri nets, in: : Proc. First Int. Workshop on Software and Performance, WOSP'98, 1216 October 1998, Santa Fe, NM, 1988, pp. 7075