A methodological approach to the formal specification of real-time systems by transformation of UML-RT design models

@article{Akhlaki2007AMA,
  title={A methodological approach to the formal specification of real-time systems by transformation of UML-RT design models},
  author={Kawtar Benghazi Akhlaki and Manuel I. Capel and Juan Antonio Holgado Terriza and Luis Eduardo Mendoza},
  journal={Sci. Comput. Program.},
  year={2007},
  volume={65},
  pages={41-56}
}
By following a methodological approach, introduced in a previous work, a correct system specification in terms of CSP+T process algebra is systematically obtained from the UML-RT model of a real-time software system. Among other contributions, this article aims at integrating collaboration diagrams into our approach to facilitate the specification of capsules in UML-RT design models. Thus, an improved systematic transformation procedure to derive a correct and complete formal system… CONTINUE READING
Highly Cited
This paper has 22 citations. REVIEW CITATIONS