On formalizing UML with high-level petri nets
Concurrent object-oriented programming and petri nets
Executable UML: A Foundation for Model-Driven Architectures
Executable UML: A Foundation for Model-Driven Architectures
On Formalizing the UML Object Constraint Language OCL
ER '98 Proceedings of the 17th International Conference on Conceptual Modeling
Building Petri nets from video event ontologies
ISVC'07 Proceedings of the 3rd international conference on Advances in visual computing - Volume Part I
Hi-index | 0.00 |
This research is an endeavor to provide an approach that will help in managing complexities of a system architecture at abstract level and allow the architect to visually analyze the proposed system. Convergence of three established modeling tools, ontology, UML, and CPN, will be used to demonstrate the dual functionality (static and dynamic) of the methodology proposed. Ontology and UML are used to model static view of system architecture whereas dynamic/executable model is developed in CPN. Proposed methodology uses OWL ontology to define domain terminology in a domain model and establishes contextual relationship among those terms. As the domain knowledge is modeled in ontology which is machine interpretable and support automated inference. So, an architect can reuse the existing domain model and save time and effort. The proposed methodology uses UML for the specification of behavior and provides the steps to map static view of system architecture modeled in Ontology and UML to dynamic view modeled in CPN. The transformation of static model into executable model will help in conducting behavior analysis of systems architecture.