Forward and Backward Analysis of Weak Sequencing Specification

  • Thouraya Bouabana-Tebibel
  • Stuart H. Rubin
  • Miloud Bennama
Conference paper

DOI: 10.1007/978-3-319-16577-6_2

Part of the Advances in Intelligent Systems and Computing book series (AISC, volume 346)
Cite this paper as:
Bouabana-Tebibel T., Rubin S.H., Bennama M. (2015) Forward and Backward Analysis of Weak Sequencing Specification. In: Bouabana-Tebibel T., Rubin S. (eds) Formalisms for Reuse and Systems Integration. Advances in Intelligent Systems and Computing, vol 346. Springer, Cham

Abstract

In this paper, we propose a new approach to formally analyze UML CombinedFragments. The latter are mapped into Colored Petri Nets, or CPN. The derived specification is value-oriented, composed of identified objects and events, thus allowing for a more precise analysis of the model behavior. To verify that the CPN model preserves the system properties, we use OCL invariants. This use induces the need for specifying the association ends on the behavioral models. The analysis results are in the form of CPNTools reports. They, consequently, are not necessarily comprehensible to UML designers. Automatic analysis of the CPNTools results is, therefore, provided. It is followed by an interpretation of these results and their feedback to the user, expressed in UML language.

Keywords

UML interactions association ends OCL analysis 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  • Thouraya Bouabana-Tebibel
    • 1
  • Stuart H. Rubin
    • 2
  • Miloud Bennama
    • 1
  1. 1.Laboratoire de Communication dans les Systèmes Informatiques - LCSIEcole Nationale Supérieure d’InformatiqueAlgiersAlgeria
  2. 2.SPAWAR Systems Center PacificSan DiegoUSA

Personalised recommendations