An epistemic operator for description logics
Artificial Intelligence
Modeling execution architecture of software system using colored Petri nets
Proceedings of the 1st international workshop on Software and performance
A Coloured Petri Net Formalisation for a UML-Based Notation Applied to Cooperative System Modelling
DSV-IS '02 Proceedings of the 9th International Workshop on Interactive Systems. Design, Specification, and Verification
A Sweep-Line Method for State Space Exploration
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
A Simple and Fast Algorithm to Obtain All Invariants of a Generalized Petri Net
Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets
OWL DL vs. OWL flight: conceptual modeling and reasoning for the semantic Web
WWW '05 Proceedings of the 14th international conference on World Wide Web
Science of Computer Programming - Special issue on quality system and software architectures
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 - Volume 53
YAWL: yet another workflow language
Information Systems
The Description Logic Handbook
The Description Logic Handbook
Science of Computer Programming
MDA-based Automatic OWL Ontology Development
International Journal on Software Tools for Technology Transfer (STTT) - Special Section on Fundamental Approaches to Software Engineering
Definition and use of Computation Independent Models in an MDA-based groupware development process
Science of Computer Programming
Candidate interoperability standards: An ontological overlap analysis
Data & Knowledge Engineering
Pellet: A practical OWL-DL reasoner
Web Semantics: Science, Services and Agents on the World Wide Web
Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems
International Journal on Software Tools for Technology Transfer (STTT)
Formal semantics and analysis of control flow in WS-BPEL
Science of Computer Programming
Translating unstructured workflow processes to readable BPEL: Theory and implementation
Information and Software Technology
Requirements Engineering for Reactive Systems: Coloured Petri Nets for an Elevator Controller
APSEC '07 Proceedings of the 14th Asia-Pacific Software Engineering Conference
The importance of business process modeling in software systems design
Science of Computer Programming
Structured objects in owl: representation and reasoning
Proceedings of the 17th international conference on World Wide Web
Identification constraints and functional dependencies in description logics
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Ontology reasoning in the SHOQ(D) description logic
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Reasoning on UML class diagrams
Artificial Intelligence
Interoperability supported by enterprise modelling
OTM'05 Proceedings of the 2005 OTM Confederated international conference on On the Move to Meaningful Internet Systems
An ontology-based scheme enabling the modeling of cooperation in business processes
OTM'06 Proceedings of the 2006 international conference on On the Move to Meaningful Internet Systems: AWeSOMe, CAMS, COMINF, IS, KSinBIT, MIOS-CIAO, MONET - Volume Part I
Layered ontological modelling for web service-oriented model-driven architecture
ECMDA-FA'05 Proceedings of the First European conference on Model Driven Architecture: foundations and Applications
International Journal of Metadata, Semantics and Ontologies
Construction processes configuration using process patterns
Advanced Engineering Informatics
A metaprocesses-oriented methodology for software assets reuse in the e-health domain
UCAmI'12 Proceedings of the 6th international conference on Ubiquitous Computing and Ambient Intelligence
A standards-based reference framework for system portability requirements
Computer Standards & Interfaces
Hi-index | 0.00 |
A key ingredient in system and organization modeling is modeling business processes that involve the collaborative participation of different teams within and outside the organization. Recently, the use of the Unified Modeling Language (UML) for collaborative business modeling has been increasing, thanks to its human-friendly visual representation of a rich set of structural and behavioral views, albeit its unclear semantics. In the meantime, the use of the Web Ontology Language (OWL) has also been emerging, thanks to its clearly-defined semantics, hence being amenable to automatic analysis and reasoning, although it is less human friendly than, and also perhaps not as rich as, the UML notation - especially concerning processes, or activities. In this paper, we view the UML and the OWL as being complementary to each other, and exploit their relative strengths. We provide a mapping between the two, through a set of mapping rules, which allow for the capture of UML activity diagrams in an OWL-ontology. This mapping, which results in a formalization of collaborative processes, also sets a basis for subsequent construction of executable models using the Colored Petri Nets (CPN) formalism. For this purpose, we also provide appropriate mappings from OWL-based ontological elements into CPN elements. A case study of a mortgage granting system is described, along with the potential benefits and limitations of our proposal.