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
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
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