INTER-MODEL CONSISTENCY BETWEEN UML STATE MACHINE AND SEQUENCE MODELS

Yoshiyuki Shinkawa

2011

Abstract

UML state machine diagram and sequence diagram represent a system or software from contrastive two viewpoints, namely part and whole. If these diagrams depict the same system, they must be consistent from each other. However, UML does not provide us with an appropriate way to evaluate the consistency between the models drawn by these different diagrams. This paper reveals the interrelationships between state machine and sequence diagrams based on the ordering of method invocations, which determine the behavior of them. Focusing on these relationships, two criteria are introduced to evaluate the consistency. The evaluation is performed using Coloured Petri Nets (CPN) so that both diagrams are expressed and compared in the same form, with the same syntax and semantics.

References

  1. Amalio, N. and Polack, F. (2003). Comparison of formalisation approaches of UML class constructs in z and object-z. In 3rd international conference on Formal specification and development in Z and B, pages 339- 358. Springer-Verlag.
  2. Amalio, N. and Polack, F. (2003). Comparison of formalisation approaches of UML class constructs in z and object-z. In 3rd international conference on Formal specification and development in Z and B, pages 339- 358. Springer-Verlag.
  3. Egyed, A. (2006). Instant consistency checking for the UML. In 28th International Conference on Software Engineering, pages 381-390. ACM.
  4. Egyed, A. (2006). Instant consistency checking for the UML. In 28th International Conference on Software Engineering, pages 381-390. ACM.
  5. Fischer, C., Olderog, E., and Wehrheim, H. (2001). A CSP view on UML-RT structure diagrams. In 4th International Conference on Fundamental Approaches to Software Engineering, pages 91-108. Springer-Verla.
  6. Fischer, C., Olderog, E., and Wehrheim, H. (2001). A CSP view on UML-RT structure diagrams. In 4th International Conference on Fundamental Approaches to Software Engineering, pages 91-108. Springer-Verla.
  7. Garrido, J. and Gea, M. (2002). A coloured petri net formalisation for a UML-based notation applied to cooperative system modelling. In the 9th International Workshop on Interactive Systems. Design, Specification, and Verification, pages 16-28. Springer-Verlag.
  8. Garrido, J. and Gea, M. (2002). A coloured petri net formalisation for a UML-based notation applied to cooperative system modelling. In the 9th International Workshop on Interactive Systems. Design, Specification, and Verification, pages 16-28. Springer-Verlag.
  9. Jensen, K. and Kristensen, L. (2009). Coloured Petri Nets: Modeling and Validation of Concurrent Systems. Springer-Verlag.
  10. Jensen, K. and Kristensen, L. (2009). Coloured Petri Nets: Modeling and Validation of Concurrent Systems. Springer-Verlag.
  11. Knapp, A. and Wuttke, J. (2006). Model checking of UML 2.0 interactions. In Workshops and Symposia at MoDELS 2006, pages 45-51.
  12. Knapp, A. and Wuttke, J. (2006). Model checking of UML 2.0 interactions. In Workshops and Symposia at MoDELS 2006, pages 45-51.
  13. Lausdahl, K., Lintrup, H., and Larsen, P. G. (2009). Connecting UML and VDM++ with open tool support. In the 2nd World Congress on Formal Methods, pages 563-578. Springer-Verlag.
  14. Lausdahl, K., Lintrup, H., and Larsen, P. G. (2009). Connecting UML and VDM++ with open tool support. In the 2nd World Congress on Formal Methods, pages 563-578. Springer-Verlag.
  15. OMG (2010). Unified Modeling Language Superstructure. http://www.omg.org/spec/UML/2.3/Superstructure/PDF.
  16. OMG (2010). Unified Modeling Language Superstructure. http://www.omg.org/spec/UML/2.3/Superstructure/PDF.
  17. Shinkawa, Y. (2006). Inter-model consistency in UML based on CPN formalism. In 13th Asia Pacific Software Engineering Conference, pages 411-418. IEEE.
  18. Shinkawa, Y. (2006). Inter-model consistency in UML based on CPN formalism. In 13th Asia Pacific Software Engineering Conference, pages 411-418. IEEE.
  19. Snook, C. and Butler, M. (2008). UML-B and Event-B: an integration of language. In the IASTED International Conference on Software Engineering, pages 336-341. ACTA Press.
  20. Snook, C. and Butler, M. (2008). UML-B and Event-B: an integration of language. In the IASTED International Conference on Software Engineering, pages 336-341. ACTA Press.
Download


Paper Citation


in Harvard Style

Shinkawa Y. (2011). INTER-MODEL CONSISTENCY BETWEEN UML STATE MACHINE AND SEQUENCE MODELS . In Proceedings of the 6th International Conference on Software and Database Technologies - Volume 2: ICSOFT, ISBN 978-989-8425-77-5, pages 135-142. DOI: 10.5220/0003474001350142


in Harvard Style

Shinkawa Y. (2011). INTER-MODEL CONSISTENCY BETWEEN UML STATE MACHINE AND SEQUENCE MODELS . In Proceedings of the 6th International Conference on Software and Database Technologies - Volume 2: ICSOFT, ISBN 978-989-8425-77-5, pages 135-142. DOI: 10.5220/0003474001350142


in Bibtex Style

@conference{icsoft11,
author={Yoshiyuki Shinkawa},
title={INTER-MODEL CONSISTENCY BETWEEN UML STATE MACHINE AND SEQUENCE MODELS},
booktitle={Proceedings of the 6th International Conference on Software and Database Technologies - Volume 2: ICSOFT,},
year={2011},
pages={135-142},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003474001350142},
isbn={978-989-8425-77-5},
}


in Bibtex Style

@conference{icsoft11,
author={Yoshiyuki Shinkawa},
title={INTER-MODEL CONSISTENCY BETWEEN UML STATE MACHINE AND SEQUENCE MODELS},
booktitle={Proceedings of the 6th International Conference on Software and Database Technologies - Volume 2: ICSOFT,},
year={2011},
pages={135-142},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003474001350142},
isbn={978-989-8425-77-5},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 6th International Conference on Software and Database Technologies - Volume 2: ICSOFT,
TI - INTER-MODEL CONSISTENCY BETWEEN UML STATE MACHINE AND SEQUENCE MODELS
SN - 978-989-8425-77-5
AU - Shinkawa Y.
PY - 2011
SP - 135
EP - 142
DO - 10.5220/0003474001350142


in EndNote Style

TY - CONF
JO - Proceedings of the 6th International Conference on Software and Database Technologies - Volume 2: ICSOFT,
TI - INTER-MODEL CONSISTENCY BETWEEN UML STATE MACHINE AND SEQUENCE MODELS
SN - 978-989-8425-77-5
AU - Shinkawa Y.
PY - 2011
SP - 135
EP - 142
DO - 10.5220/0003474001350142