loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Author: Yoshiyuki Shinkawa

Affiliation: Ryukoku University, Japan

Keyword(s): UML, Model Correctness, Colored Petri Nets, Model Driven Development.

Related Ontology Subjects/Areas/Topics: Model Analysis and Checking ; Model Evolution ; Model Transformation ; Models ; Paradigm Trends ; Software Engineering

Abstract: In model driven software development, the correctness of models is one of the most important issues to construct high quality software in high productivity. Numerous research has been done to verify the correctness of those models. Conventional research mainly focuses on individual models, or at most the relationships between two individual models. However, the models must be correct as a whole set. This paper presents a Color Petri Net (CPN) based formal approach to verifying the behavioral correctness of UML models depicted by three different kinds of diagrams, namely state machine, activity, and sequence diagrams. This approach defines the correctness of a set of models from three different perspectives. The first perspective is the completeness that assures the syntactical correctness of the set. The second is the consistency that claims no conflicts between heterogeneous UML models. And the last is the soundness that represents the internal correctness of each model in the set.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 44.220.131.93

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Shinkawa, Y. (2012). Evaluating Behavioral Correctness of a Set of UML Models. In Proceedings of the 7th International Conference on Software Paradigm Trends - ICSOFT; ISBN 978-989-8565-19-8; ISSN 2184-2833, SciTePress, pages 247-254. DOI: 10.5220/0004082202470254

@conference{icsoft12,
author={Yoshiyuki Shinkawa.},
title={Evaluating Behavioral Correctness of a Set of UML Models},
booktitle={Proceedings of the 7th International Conference on Software Paradigm Trends - ICSOFT},
year={2012},
pages={247-254},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004082202470254},
isbn={978-989-8565-19-8},
issn={2184-2833},
}

TY - CONF

JO - Proceedings of the 7th International Conference on Software Paradigm Trends - ICSOFT
TI - Evaluating Behavioral Correctness of a Set of UML Models
SN - 978-989-8565-19-8
IS - 2184-2833
AU - Shinkawa, Y.
PY - 2012
SP - 247
EP - 254
DO - 10.5220/0004082202470254
PB - SciTePress