A Rewriting Semantics for a Software Architecture Description Language

Electronic Notes in Theoretical Computer Science

Volumn 130, Issue , 2005, Pages 345-377

  Rademaker, Alexandre ^a   Braga, Christiano ^a   Sztajnberg, Alexandre ^b  

^a FLUMINENSE FEDERAL UNIVERSITY   (Brazil)

^b STATE UNIVERSITY OF RIO DE JANEIRO   (Brazil)

Author keywords

Contracts; Maude; Rewriting logic; Software architecture description languages

Indexed keywords

CODES (SYMBOLS); COMPUTER ARCHITECTURE; CONTRACTS; FORMAL LOGIC; LIFE CYCLE; REQUIREMENTS ENGINEERING; SEMANTICS; SOFTWARE ENGINEERING;

MAUDE SYSTEM; REWRITING LOGIC; SOFTWARE ARCHITECTURE DESCRIPTION LANGUAGES; SOFTWARE ARCHITECTURE DESIGN;

COMPUTER PROGRAMMING LANGUAGES;

EID: 18144428780     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2005.03.018     Document Type: Conference Paper

References (37)

1. Allen, R. and D. Garlan, Beyond definition/use: architectural interconnection, in: Proceedings of the workshop on Interface definition languages (1994), pp. 35-45 http://doi.acm.org/10.1145/185084.185101
2. M.J. Bach The Design of the UNIX Operation System 1987 Prentice-Hall Englewood Cliffs, NJ
3. M. Ben-Ari Principles of Concurrent and Distributed Programming 1990 Prentice-Hall Englewood Cliffs, NJ
4. A. Beugnard, J.-M. Jzquel, and N. Plouzeau Making components contract aware IEEE Computer 1999 38 45
5. C. Braga, and A. Sztajnberg Towards a rewriting semantics to a software architecture description language A. Cavalcanti P. Machado Proceedings of WMF 2003, 6th Workshop on Formal Methods, Campina Grande, Brazil Electronic Notes in Theoretical Computer Science 95 2003 148 168
6. R. Bruni, and J. Meseguer Generalized rewrite theories J.C.M. Baeten J.K. Lenstra J. Parrow G.J. Woeginger Automata, Languages and Programming. 30th International Colloquium. Proceedings ICALP 2003, Eindhoven, The Netherlands, June 30-July 4, 2003 Lecture Notes in Computer Science 2719 2003 252 266
7. M. Clavel Reflection in rewriting logic: metalogical foundations and metaprogramming applications 2000 CSLI Publications
8. M. Clavel, F. Durán, S. Eker, N. Martí-Oliet, P. Lincoln, J. Meseguer, and C. Talcott "Maude 2", SRI International and University of Illinois at Urbana-Champaign http://maude.cs.uiuc.edu 2003
9. L. Dobrica, and E. Niemela A survey on software architecture analysis methods IEEE Transactions on Software Engineering 28 2002 638 653
10. Durán, F., "Reflective Module Algebra with Applications to the Maude Language," Ph.D. thesis, University of Málaga (1999)
11. F. Durán, and J. Meseguer An extensible module algebra for Maude 2nd International Workshop on Rewriting Logic and its Applications (WRLA'98) Electronic Notes in Theoretical Computer Science 15 1998
12. S. Eker, J. Meseguer, and A. Sridharanarayanan The Maude LTL model checker F. Gadducci U. Montanari Fourth Workshop on Rewriting Logic and its Applications WRLA '02 Electronic Notes in Theoretical Computer Science 71 2002 230 234
13. Felix, M.F., "Análise Formal de Modelos de Software Orientados por Abstrações Arquiteturais," Ph.D. thesis, Departamento de Informática, PUC-RJ, Rio de Janeiro, Brazil (2004), in portuguese
14. S. Frölund Inheritance of synchronization constraints in concurrent object-oriented programming languages Proceedings of the ECOOP'92 - 6th European Conference on Object-oriented Programming Lecture Notes in Computer Science 615 1992 185 196
15. D. Garlan, R. Monroe, and D. Wile Foundations of Component-Based Systems 2000 Cambridge Univ. Press 47 68
16. Helm, R., I.M. Holland and D. Gangopadhyay, Contracts: Specifying behavioral compositions in object-oriented systems, in: Proceedings of the 4th European Conference on Object-oriented Programming, Ottawa, 1990, pp. 169-180
17. D. Lea Concurrent Programming in Java: Design Principles and Patterns second edition The Java Series 2003 Addison-Wesley USA
18. Lewis, B. and P. Feiler, An overview of the SAE architecture analysis design language (AADL) standard: a basis for model-based architecture-driven embedded systems engineering, in: Workshop on Architecture Description Languages, Toulouse, France, 2004
19. K.-P. Löhr Concurrency annotations for reusable software Communications of the ACM 36 1993 81 89
20. O. Loques, A. Sztajnberg, R.C. Cerqueira, and S. Ansaloni A contract-based approach to describe and deploy non-functional adaptations in software architectures Journal of the Brazilian Computer Society 10 2004 5 18
21. O. Loques, A. Sztajnberg, J. Leite, and M. Lobosco On the integration of meta-level programming and configuration programming Reflection and Software Engineering (special edition) Lecture Notes in Computer Science 1826 2000 191 210
22. D.C. Luckham Specification and analysis of system architecture using Rapide IEEE Transactions on Software Engineering 21 1995 336 355
23. J. Magee, and J. Kramer Concurrency: state models & Java programs 1999 John Wiley & Sons, Inc. UK
24. N. Martí-Oliet, and J. Meseguer 9 2002 Kluwer Academic Publishers Dordrecht http://maude.cs.uiuc.edu/papers
25. S. Matsuoka, and A. Yonezawa Analysis of inheritance anomaly in object-oriented concurrent programming languages Research directions in concurrent object-oriented programming 1993 MIT Press 107 150
26. N. Medvidovic, D.S. Rosenblum, D.F. Redmiles, and J.E. Robbins Modeling software architectures in the Unified Modeling Language ACM Transactions on Software Engineering and Methodology 11 2002 2 57
27. N. Medvidovic, and R.N. Taylor A framework for classifying and comparing architecture description languages ESEC '97/FSE-5: Proceedings of the 6th European conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering 1997 60 76 http://doi.acm.org/10.1145/267895.267903
28. J. Meseguer Conditional rewriting as a unified model of concurrency Theoretical Computer Science 96 1992 73 155
29. J. Meseguer A logical theory of concurrent objects and its realization in the maude language Research directions in concurrent object-oriented programming 1993 MIT Press 314 390
30. J. Meseguer Membership algebra as a logical framework for equational specification 12th International Workshop on Recent Trends in Algebraic Development Techniques (WADT'97) Lecture Notes in Computer Science 1376 1998 18 61
31. J. Meseguer, M. Palomino, and N. Martí-Oliet Equational abstractions F. Baader Automated Deduction - CADE-19. 19th International Conference on Automated Deduction Lecture Notes in Computer Science 2741 2003 2 16
32. J. Meseguer, and C. Talcott Semantic models for distributed object reflection ECOOP 2002 - Object-Oriented Programming, 16th European Conference, Malaga, Spain, June 10-14, 2002, Proceedings Lecture Notes in Computer Science 2374 2002 1 36
33. B. Meyer Applying design by contract IEEE Computer 25 1992 40 51
34. D.C. Schmidt, H. Rohnert, M. Stal, and D. Schultz Pattern-Oriented Software Architecture: Patterns for Concurrent and Networked Objects 2000 John Wiley & Sons, Inc.
35. M. Shaw, and D. Garlan Software architecture: perspectives on an emerging discipline 1996 Prentice-Hall Inc. USA
36. A. Sztajnberg, and O. Loques Reflection in the R-RIO configuration programming environment Proceedings of the Middleware'2000 Workshop on Reflective Middleware, Palisades, NY, USA 2000 26 27
37. A. Sztajnberg, and O. Loques Customizing component-based architectures by contract W. Emmerich A.L. Wolf Component Deployment, Second International Working Conference Lecture Notes in Computer Science 3083 2004 3-540-22059-3 18 34 Edinburgh, UK