Consistency of UML class, object and statechart diagrams using ontology reasoners-Reference-Cited by-同舟云学术

Consistency of UML class, object and statechart diagrams using ontology reasoners

Published:2015-02 Issue: Volume:26 Page:42-65
ISSN:1045-926X
Container-title:Journal of Visual Languages & Computing
language:en
Short-container-title:Journal of Visual Languages & Computing

Author:

Khan Ali Hanzala^ORCID,Porres Ivan

Publisher

Elsevier BV

Subject

Computer Science Applications,Human-Computer Interaction,Language and Linguistics

Reference63 articles.

1. Model driven engineering;Kent,2002

2. OMG, UML, Superstructure Specification, Version 2.4.1, Technical Report, Object Management Group, URL: 〈http://www.omg.org/spec/UML/2.4.1/Superstructure/〉, 2011.

3. Current practices in the use of UML;Dobing,2005

4. OMG, Meta Object Facility, Version 1.4, Technical Report, Object Management Group, document formal/2002-04-03, Available at: 〈http://www.omg.org/〉, April 2002.

5. KM3: a DSL for metamodel specification;Jouault,2006

Cited by 27 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Definitions and Computational Properties of OCL: A Systematic Review;IEEE Access;2024

2. BERDD: A Behaviour Engineering-Based Approach for Requirements Defects Detection;IEEE Access;2024

3. Using a process algebra interface for verification and validation of UML statecharts;Computer Standards & Interfaces;2023-08

4. Detection of Inconsistencies in SysML/OCL Models Using OWL Reasoning;SN Computer Science;2023-01-19

5. An Object Driven Model of Above-Land Merkus Pine Tree for Quantifying the Commercial Contribution With Functional-Structural Plant Modeling;IEEE Access;2023