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

Science of Computer Programming

Volumn 65, Issue 1, 2007, Pages 41-56

  Benghazi Akhlaki, K ^a   Capel Tunon M I ^a   Holgado Terriza, J A ^a   Mendoza Morales, L E ^b  

^a UNIVERSITY OF GRANADA   (Spain)

^b UNIVERSIDAD SIMÓN BOLÍVAR   (Venezuela)

Author keywords

CSP+T; Formal specification; Real time software systems; UML RT

Indexed keywords

ALGEBRA; COMPUTER SCIENCE; COMPUTER SOFTWARE; LIFE CYCLE; MATHEMATICAL MODELS; REQUIREMENTS ENGINEERING;

DEPENDABILITY ANALYSIS; FORMAL SPECIFICATIONS; SYSTEMATIC TRANSFORMATION PROCEDURES;

REAL TIME SYSTEMS;

EID: 33846585888     PISSN: 01676423     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.scico.2006.08.005     Document Type: Article

References (20)

1. Object Management Group, UML Superstructure Specification - version 2.0, Object Management Group, Massachusetts, USA, 2004
2. B. Selic, J. Rumbaugh, UML for modeling complex real-time systems, ObjecTime Technical Report, ObjecTime, New York, 1998
3. Selic B., Gullekson G., and Ward P. Real-Time Object-Oriented Modeling (1994), John Wiley & Sons, Ltd, New York
4. A. Evans, A. Clark, Foundations of the unified modeling language
5. Kim S.-K., and Carrington D. Formalizing the UML class diagram using object-Z. UML 99 - The Unified Modeling Language: Beyond the Standard. Lecture Notes in Computer Science vol. 1723 (1999), Springer-Verlag, Berlin 83-98
6. Capel M., Benghazi K., and Holgado J. Combining the description features of UML-RT and CSP+T specifications applied to a complete design of real-time system. International Journal of Information Technology 2 2 (2005) 137-146
7. Ramos R., Sampaio A., and Mota A. A semantics for UML-RT active classes via mapping into circus. International Conference of Formal Methods for Open Object-Based Distributed Systems, FMOODS, 2005. Lecture Notes in Computer Science vol. 3535 (2005), Springer-Verlag, Berlin 99-114
8. Woodcock J., and Cavalcanti A. The semantics of circus. Formal Specification and Development in Z and B: 2nd International Conference of B and Z Users ZB 2002. Lecture Notes in Computer Science vol. 2272 (2002), Springer-Verlag, Berlin 184-203
9. Hoare C. Communicating Sequential Processes. International Series in Computer Science (1985), Prentice-Hall International Ltd, Hertfordshire, UK
10. Roscoe A. The Theory and Practice of Concurrency (1997), Prentice-Hall International Ltd, Hertfordshire, UK
11. Zic J. Time-constrained buffer specifications in CSP+T and timed CSP. ACM Transaction on Programming Languages and Systems 16 6 (1994) 1661-1674
12. ®XT, version 1.2.0, Bundesministerium des Innern, Berlin, 2004
13. Fischer C., Olderog E.-R., and Wehrheim H. A CSP view on UML-RT structure diagram. Fundamental Approaches to Software Engineering. Lecture Notes in Computer Science vol. 2029 (2001), Springer-Verlag, Berlin 91-108
14. Lindner T. Task description. Formal Development of Reactive Systems: Case Study Production Cell. Lecture Notes in Computer Science vol. 891 (1995), Springer-Verlag, Berlin 7-19
15. Engels G., Küster J., Heckel R., and Groenewegen L. A methodology for specifying and analyzing consistency of object-oriented behavioral models. ESEC/FSE-9: Proceedings of the 8th European Software Engineering Conference Held Jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering (2001), ACM Press, New York, NY, USA 186-195
16. Möller M., Olderog E.-R., Rasch H., and Wehrheim H. Linking CSP-OZ with UML and Java: A case study. 4th International Conference of Integrated Formal Methods. IFM 2004. Lecture Notes in Computer Science vol. 2999 (2005), Springer-Verlag, Berlin 267-286
17. Kuster J., and Stroop J. Consistent design of embedded real-time systems with UML-RT. Proc. Fourth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing ISORC-2001 (2001), IEEE Computer Society Press, Magdeburg, Germany 31-40
18. Li X., and Lilius J. Timing analysis of UML sequence diagrams. UML 99 - The Unified Modeling Language: Beyond the Standard. Lecture Notes in Computer Science vol. 1723 (2005), Springer-Verlag, Berlin 661-674
19. Erickson J., and Siau K. Toward practical measures of complexity in real-time modeling methods. Proc. Eleventh Americas Conference on Information Systems, AMCIS-2005 (2005), Association for Information Systems, Omaha, USA 3067-3074
20. Kitchenham B., and Jones L. Evaluating software engineering methods and tools, part 8: Analysing a feature analysis evaluation. SIGSOFT Software Engineering Notes 22 5 (1997) 10-12