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

DOI10.1016/j.scico.2009.05.002zbMath1195.68111OpenAlexW2055724467MaRDI 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

reasoningprocess modellingprocess analysisOWLcollaborative systemsCSCWCPNtask modelling

Mathematics Subject Classification ID

Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theory of organizations, manpower planning in operations research (90B70) Internet topics (68M11)

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

This page was built for publication: Ontology-driven analysis of UML-based collaborative processes using OWL-DL and CPN