Ontology Based Semantics Checking for UML Activity Model

Information Technology Journal
doi 10.3923/itj.2012.301.306
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Science Alert

Related search

Model Checking Timed UML State Machines and Collaborations

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

A Validation Technique for UML Activity Model

International Journal of Computer Applications
2015English

OntCheck: An Ontology-Driven Static Correctness Checking Tool for Component-Based Models

Journal of Applied Mathematics
Applied Mathematics
2013English

Template Semantics for Model-Based Notations

IEEE Transactions on Software Engineering
Software
2003English

Model Checking Ontology‐driven Reasoning Agents Using Strategy and Abstraction

Concurrency Computation Practice and Experience
Computer NetworksCommunicationsComputer Science ApplicationsComputational TheoryMathematicsTheoretical Computer ScienceSoftware
2019English

Representing Verbal Semantics With Diagrams an Adaptation of the UML for Lexical Semantics

2004English

Property Specification Made Easy: Harnessing the Power of Model Checking in UML Designs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Complexity Assessment Based on UML-Activity Diagram

International Journal of Recent Technology and Engineering
EngineeringManagement of TechnologyInnovation
2019English

Ontology-Based Exchange of Product Data Semantics Between CAD and CAE

International Journal of Multimedia and Ubiquitous Engineering
Computer Science
2014English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy