Formalization of UML Composite Structure using Colored Petri Nets

Design specification and requirement analysis, during development process involved in transformation of real world problems to software system are subjected to severe issues owing to involvement of semantics. Though, for design and specification of object-oriented systems, Unified Modeling Language (UML) is now recognized as standard language however, its structures have numerous drawbacks which include lack of semantics definition and unidentified deadlocks. The research work proposes a model to avoid deadlocks, specifically in composite structure of UML. Verification of system models by formal methods holds significance, particularly, at requirement specification and design level, to ensure the accuracy of models and high light the design problems before implementation. The paper proposes the rules that allow software engineers to formalize the behavior of UML 2.0 composite structure using Colored petri nets. Using these rules, the research shall analyze the correspondent Colored petri nets and conclude the properties of the original work flow, using theoretical outcomes in the Colored petri nets domain.

@article{Iqbal2018,
  title     = {Formalization of UML Composite Structure using Colored Petri Nets},
  journal   = {International Journal of Advanced Computer Science and Applications},
  volume    = {9},
  number    = {10},
  year      = {2018},
  publisher = {The Science and Information Organization},
  author    = {Rao Sohail Iqbal and Ramzan Talib and Muhammad Awais and Haseeb Ur Rehman and Wajid Raza},
  doi       = {10.14569/IJACSA.2018.091013},
  url       = {https://doi.org/10.14569/IJACSA.2018.091013}
}