Model transformation of dependability-focused requirements models

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2009, Pages 50-55

  Mustafiz, Sadaf ^a   Kienzle, Jörg ^a   Vangheluwe, Hans ^a  

^a MCGILL UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

ACTIVITY DIAGRAM; FORMAL SPECIFICATION; MODEL TRANSFORMATION; REQUIREMENTS MODELS; RUNTIMES; SERVICE PROVISIONS; STANDARD REQUIREMENTS; SYSTEM INTERACTIONS; TRANSFORMATION RULES;

COMPUTER SOFTWARE; SYSTEMS ANALYSIS;

MATHEMATICAL MODELS;

EID: 77949813689     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/MISE.2009.5069897     Document Type: Conference Paper

References (15)

1. J. M. Almendros-Jiménez and L. Iribarne. Describing use cases with activity charts. In Metainformatics, volume 3511 of LNCS, pages 141-159. Springer, 2004.
2. A. Avizienis, J.-C. Laprie, B. Randell, and C. Landwehr. Basic concepts and taxonomy of dependable and secure computing. Dependable and Secure Computing, IEEE Transactions on, 1(1):11-33, Jan.-March 2004.
3. B. Baudry, C. Nebut, and Y. L. Traon. Model-driven engineering for requirements analysis. In EDOC '07, page 459, Washington, DC, USA, 2007. IEEE Computer Society.
4. A. Berlizev and N. Guelfi. CORRECT Analysis for Embedded System Modeling: An Outcome of East-West Scientific Cooperation. In SEESE 08, pages 23 - 30. IEEE, 2008.
5. C. Dony. Exception handling and object-oriented programming: Towards a synthesis. In 4th ECOOP '90, volume 25, pages 322 - 330. ACM, 1990.
6. J. J. Gutiérrez, C. Nebut, M. J. Escalona, M. Mejías, and I. M. Ramos. Visualization of use cases through automatically generated activity diagrams. In MoDELS '08, pages 83-96. Springer-Verlag, 2008.
7. J. Kienzle. On Exceptions and the Software Development Life Cycle. In 4th WEH '08, pages 32-38. ACM, 2008.
8. A. Kleppe, J. Warmer, and W. Bast. MDA Explained: The Model Driven Architecture - Practice and Promise. Addison-Wesley, 2003.
9. C. Larman. Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and the Unified Process. Prentice Hall, 2002.
10. T. Mens and P. V. Gorp. A taxonomy of model transformation. Electr. Notes Theor. Comput. Sci., 152:125-142, 2006.
11. J. Mukerji and J. Miller. Mda guide v1.0.1, 2003.
12. S. Mustafiz and J. Kienzle. DREP: A requirements engineering process for dependable reactive systems. In Methods, Models, and Tools for Fault Tolerance, volume 5454. Springer Verlag, 2008. To be published.
13. S. Mustafiz, J. Kienzle, and A. Berlizev. Addressing degraded service outcomes and exceptional modes of operation in behavioural models. In SERENE 2008. ACM, 2008.
14. S. Mustafiz, X. Sun, J. Kienzle, and H. Vangheluwe. Modeldriven assessment of system dependability. Software and Systems Modeling (SoSym), March 2007.
15. A. Shui, S. Mustafiz, J. Kienzle, and C. Dony. Exceptional use cases. In MoDELS, volume 3713 of LNCS, pages 568-583. Springer, 2005.