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

DOI10.1016/j.scico.2009.05.002zbMath1195.68111MaRDI QIDQ983197

María V. Hurtado, Manuel Noguera, José Luis Garrido, María Luisa Rodríguez, Lawrence M. L. Chung

Publication date: 3 August 2010

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.scico.2009.05.002

zbMATH Keywords

reasoning; process modelling; process analysis; OWL; collaborative systems; CSCW; CPN; task modelling

Mathematics Subject Classification ID

68T35: Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

90B70: Theory of organizations, manpower planning in operations research

68M11: Internet topics

Uses Software

• YAWL
• Pellet
• Proclets
• swrl
• Protege

Cites Work

• A methodological approach to the formal specification of real-time systems by transformation of UML-RT design models
• Definition and use of computation independent models in an MDA-based groupware development process
• Formal semantics and analysis of control flow in WS-BPEL
• An epistemic operator for description logics
• Reasoning on UML class diagrams
• The importance of business process modeling in software systems design
• Performance-related ontologies and semantic web applications for on-line performance assessment of intelligent systems
• Lectures on Concurrency and Petri Nets
• Lectures on Concurrency and Petri Nets
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item