EVALUATING CONSISTENCY BETWEEN UML ACTIVITY AND SEQUENCE MODELS

Yoshiyuki Shinkawa

2008

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.

References

  1. Ambler, S. W. (2004). The Object Primer, Third Edition. Cambridge University Press.
  2. Ardis, M. A. (1994). Lessons from using basic LOTOS. In Proc. of the 16th International Conference on Software Engineering (ICSE94), pages 5-14. EEEE.
  3. Bergstra, J. A. and Klop, J. W. (1985). Algebra of Communicating Processes with Abstraction. In Theoretical Computer Science, Elsevier Science, volume 37, pages 77-121.
  4. Elaasar, M. and Briand, L. C. (2004). An Overview of UML Consistency Management. Technical Report SCE-04- 18, Carleton University.
  5. Favre, L. and Clerici, S. (1999). Integrating uml and algebraic specification techniques. In Proc. of 32nd International Conference on Technology of Object-Oriented Languages and Systems(TOOLS'99), pp.151-162. IEEE.
  6. France, R. B., Bruel, J. M., Larrondo-Petrie, M. M., and Shroff, M. (1997). Exploring the semantics of uml type structures with z. In Proc. of 2nd IFIP conference, Formal Methods for Open Object-Based Distributed Systems(FMOODS'97), pp.247-260. Chapman and Hall.
  7. Hore, C. A. R. (1985). Communicating Sequential Processes. Prentice-Hall International UK Ltd.
  8. Hu, Z. and Shatz, S. M. (2004). Mapping UML Diagrams to a Petri Net Notation for System Simulation. In Proc. of the International Conference on Software Engineering and Knowledge Engineering (SEKE), pages 213- 219.
  9. McUmber, W. E. and Cheng, B. H. C. (2001). A general framework for formalizing uml with formal languages. In the 23rd International Conference on Software Engineering (ICSE 2001), pp.433-442. EEEE.
  10. Milner, R. (1989). Communication and Concurrency. PrenticeHall.
  11. Shinkawa, Y. (2006). Inter-Model Consistency in UML Based on CPN Formalism. In Proc. of the 13th Asia Pacific Software Engineering Conference, pages 411- 419. EEEE.
Download


Paper Citation


in Harvard Style

Shinkawa Y. (2008). EVALUATING CONSISTENCY BETWEEN UML ACTIVITY AND SEQUENCE MODELS . In Proceedings of the Tenth International Conference on Enterprise Information Systems - Volume 6: ICEIS, ISBN 978-989-8111-38-8, pages 282-289. DOI: 10.5220/0001699302820289


in Bibtex Style

@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 6: ICEIS,},
year={2008},
pages={282-289},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001699302820289},
isbn={978-989-8111-38-8},
}


in EndNote Style

TY - CONF
JO - Proceedings of the Tenth International Conference on Enterprise Information Systems - Volume 6: 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