loading
Papers

Research.Publish.Connect.

Paper

Paper Unlock

Author: Yoshiyuki Shinkawa

Affiliation: Ryukoku University, Japan

ISBN: 978-989-8111-38-8

Keyword(s): UML, software engineering, model consistency, formal methods, process algebra.

Related Ontology Subjects/Areas/Topics: Enterprise Information Systems ; Information Systems Analysis and Specification ; Methodologies, Processes and Platforms ; Model-Driven Software Development ; Modeling Formalisms, Languages and Notations ; Software Engineering ; Systems Engineering

Abstract: UML activity diagrams and sequence diagrams describe the behavior of a target domain or a system from different viewpoints. When we use these diagrams for modeling the same matter in an application, these diagrams, or the models written by them, must be consistent from each other. However, the evaluation for the consistency is difficult, since these diagrams have considerably different syntax and semantics. This paper presents a process algebraic approach to evaluating the consistency between these models. CCS (Communicating Sequential Processes) is used as process algebra.

PDF ImageFull Text

Download
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 34.204.200.74

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. and (2008). EVALUATING CONSISTENCY BETWEEN UML ACTIVITY AND SEQUENCE MODELS.In Proceedings of the Tenth International Conference on Enterprise Information Systems - Volume 2: ICEIS, ISBN 978-989-8111-38-8, pages 282-289. DOI: 10.5220/0001699302820289

@conference{iceis08,
author={Yoshiyuki Shinkawa},
title={EVALUATING CONSISTENCY BETWEEN UML ACTIVITY AND SEQUENCE MODELS},
booktitle={Proceedings of the Tenth International Conference on Enterprise Information Systems - Volume 2: ICEIS,},
year={2008},
pages={282-289},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001699302820289},
isbn={978-989-8111-38-8},
}

TY - CONF

JO - Proceedings of the Tenth International Conference on Enterprise Information Systems - Volume 2: ICEIS,
TI - EVALUATING CONSISTENCY BETWEEN UML ACTIVITY AND SEQUENCE MODELS
SN - 978-989-8111-38-8
AU - Shinkawa, Y.
PY - 2008
SP - 282
EP - 289
DO - 10.5220/0001699302820289

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.