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

DOI10.1016/J.SCICO.2009.05.002MaRDI QIDQ983197zbMATH OpenOpenAlexFDO

Authors Manuel Noguera, María V. Hurtado, María Luisa Rodríguez, J. L. Garrido, 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

collaborative systemsCPNCSCWOWLprocess analysisprocess modellingreasoningtask modelling

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1964935
• scientific article; zbMATH DE number 2215868
• scientific article; zbMATH DE number 2006499
• A semantics-preserving approach for extracting OWL ontologies from UML class diagrams
• scientific article; zbMATH DE number 2080620

Cites work

• A methodological approach to the formal specification of real-time systems by transformation of UML-RT design models
• An epistemic operator for description logics
• Definition and use of computation independent models in an MDA-based groupware development process
• Formal semantics and analysis of control flow in WS-BPEL
• scientific article; zbMATH DE number 1701774 (Why is no real title available?)
• scientific article; zbMATH DE number 1936671 (Why is no real title available?)
• scientific article; zbMATH DE number 1964935 (Why is no real title available?)
• scientific article; zbMATH DE number 1755141 (Why is no real title available?)
• scientific article; zbMATH DE number 1405450 (Why is no real title available?)
• Lectures on Concurrency and Petri Nets
• Lectures on Concurrency and Petri Nets
• Performance-related ontologies and semantic web applications for on-line performance assessment of intelligent systems
• Reasoning on UML class diagrams
• The importance of business process modeling in software systems design

Describes a project that uses

Uses Software

• Pellet
• Proclets
• Protege
• YAWL
• swrl

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q983197)