Formal specification of real-time systems by transformation of UML-RT design models

Proceedings of the 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2006 - In Conjunction with ICEIS 2006

Volumn , Issue , 2006, Pages 16-25

  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

[No Author keywords available]

Indexed keywords

COLLABORATION DIAGRAM; COMPLETE FORMAL SYSTEMS; DEPENDABILITY ANALYSIS; DESIGN MODELS; DESIGN STAGE; FORMAL SPECIFICATION; PROCESS ALGEBRAS; TRANSFORMATION METHODS;

INFORMATION SYSTEMS; SPECIFICATIONS;

REAL TIME SYSTEMS;

EID: 84880321155     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (14)

1. G. Booch, I. Jacobsen, and J. Rumbaugh. OMG Unified Modeling Language Specification, March 2000. Available at www.omg.org/technology/documents/formal/ unified-modeling-language.htm.
2. Object Modeling Group: UML Profile for Schedulability, Performance, and Time Specification, OMG Documentsptc/2003-03-02.
3. Selic. B, Gullekson, G., Ward, P.: Real-Time Object-Oriented Modeling. John Wiley & Sons, Inc. (1994)
4. FormalSystems, FDR2.82 released. http://www.fsel.com. (2005)
5. Bowen, J. P.: Formal Methods in Safety-Critical Standards. Proc. 1993 Software Engineering Standards Symposium, IEEE Computer Society Brighton, UK(1993) 168-177
6. Capel, M.I., Benghazi, K., Holgado, J.A.: Combining the Description Features of UMLRT and CSP+T Specifications Applied to a Complete Design of Real-Time Systems. Int. J. Inf. Tech. 2 (2005) 137-146
7. Selic, B., Rumbaugh, J.: UML for modeling complex real-time systems. Technical report, ObjectTime. (1998).
8. Ramos, R., Sampaio, A., Mota, A.: A semantics for UML-RT Active Classes via Mapping into Circus. 7th IFIP WG 6.1 International Conference on Formal Methods for Open Object Based Distributed Systems, Vol. 3535, (2005) 99-114.
9. XRCE (Xerox Research Centre Europe). Circus home page, 2002. http://www.xrce.xerox.com/competencies/contextualcomputing/circus.
10. Zic, J.J.: Timed constrained buffer specifications in CSP + T and timed CSP. ACM Transaction on Programming Languages and Systems, Vol. 16 (1994) 1661-1674
11. Hoare, C.A.R.: Communicating Sequential Processes, Prentice-Hall, Englewood Cliffs (1985)
12. Roscoe: The theory and practice of concurrency. Prentice Hall Prentice-Hall, Englewood Cliffs (1997)
13. Fisher, C. Olderog, E.R., Wehrheim, H.: A CSP view on UML-RT Structure diagrams. Proceedings of the 4th International Conference on Integrated Fundamental Approaches to Software Engineering. Springer-Verlag, Berlin Heidelberg New York (2001)
14. Lindert, Formal Development of reactive Systems: Case Study Production Cell. Lecture Notes in Computer Science, Vol. 891. Springer-Verlag, Berlin Heidelberg New York (1995) 415-438.