Deriving Architecture Specifications from KAOS Specifications: A research case study

Lecture Notes in Computer Science

Volumn 3527, Issue , 2005, Pages 185-202

  Jani, Divya ^a   Vanderveken, Damien ^b   Perry, Dewayne ^a  

^a UNIVERSITY OF TEXAS AT AUSTIN   (United States)

^b UNIVERSITÉ CATHOLIQUE DE LOUVAIN   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

ARCHITECTURE SPECIFICATION; CASE-STUDIES;

SPECIFICATIONS;

EID: 26444612183     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11494713_13     Document Type: Conference Paper

References (13)

1. Coen-Porisini, A., Mandrioli, D.: Using trio for designing a corba-based application. Concurrency: Practical and Experience 12 (2000) 981-1015
2. Coen-Porisini, A., Pradella, M., Rossi, M., Mandrioli, D.: A formal approach for designing corba based applications. In: ICSE 2000 - 22nd International Conference on on Software Engineering, Limerick, ACM Press (2000) 188-197
3. Massonet, Ph., van Lamsweerde, A.: Formal refinement patterns for goal-driven requirements elaboration. In: FSE-4 - 4th ACM Symposium on the Foundations of Sofware Engineering, San Fransisco, ACM Press (1996) 179-190
4. Letier, E., van Lamsweerde, A.: Deriving operational software specifications from system goals. In: FSE-10 - 10th ACM Symposium on the Foundations of Sofware Engineering, Charleston, ACM Press (2002) 119-128
5. Letier, E., van Lamsweerde, A.: Agent-based tactics for goal-oriented requirements elaboration. In: ICSE 2002 - 24th International Conference of Sofware Engineering, Orlando, ACM Press (2002) 83-93
6. van Lamsweerde, A.: From system goals to software architecture. In Bernardo, M., Inverardi, P., eds.: Formal Methods for Software Architectures. Volume 2804 of Lecture Notes in Computer Science. Springer-Verlag (2003) 25-43
7. Brandozzi, M., Perry, D.E.: Transforming goal oriented requirement specifications into architectural prescriptions. In Castro, Kramer, eds.: STRAW 2001 - From Software Requirements to Architectures. (2001) 54-60
8. Brandozzi, M., Perry, D.E.: Architectural prescriptions for dependable systems. In: ICSE 2002 - International Workshop on Architecting Dependable Systems, Orlando (2002)
9. Brandozzi, M.: From goal oriented requirements specifications to architectural prescriptions. Master's thesis, The University of Texas at Austin (2001)
10. Jani, D., Vanderveken, D., Perry, D.: Experience report deriving architectural specification from kaos specification. Technical report (2004) Also avaiable at http://www.ece.utexas.edu/~perry/papers/R2A-ER.pdf.
11. 3. Manna, Z., Pnueli, A.: 3. In: The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer-Verlag (1992)
12. Jani, D.: Deriving architecture specifications from goal oriented requirement specifications. Master's thesis, The University of Texas at Austin (2004)
13. Vanderveken, D.: Deriving architecture descriptions from goal oriented requirements. Master's thesis, University of Louvain, Belgium (2004)