Towards a rewriting semantics for a software architecture description language

Electronic Notes in Theoretical Computer Science

Volumn 95, Issue , 2004, Pages 149-168

  Braga, Christiano ^a   Sztajnberg, Alexandre ^b  

^a FLUMINENSE FEDERAL UNIVERSITY   (Brazil)

^b STATE UNIVERSITY OF RIO DE JANEIRO   (Brazil)

Author keywords

Architecture description languages; Model checking; Rewriting semantics

Indexed keywords

COMPUTATIONAL METHODS; COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER ARCHITECTURE; CONCURRENT ENGINEERING; CONFORMAL MAPPING; LOGIC PROGRAMMING; MATHEMATICAL MODELS; OBJECT ORIENTED PROGRAMMING; SEMANTICS; TOPOLOGY;

ARCHITECTURE DESCRIPTION LANGUAGES (ADL); MODEL CHECKING; REWRITING SEMANTICS; SOFTWARE ARCHITECTURE;

COMPUTER HARDWARE DESCRIPTION LANGUAGES;

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

References (18)

1. Allen R.J., Garlan D. Beyond definition/use: Architectural interconnection. IDL Workshop, number 8. ACM SIGPLAN Notices. Vol. 29:August 1994;35-44
2. Cerqueira R., Ansaloni S., Loques O., Sztajnberg A. Deploying non-functional aspects by contract. Middleware 2003 - 2nd Workshop on Reflective and Adaptive Middleware, Middleware2003 Companion, Rio de Janeiro, Brazil. June 2003;90-94
3. Clarke E.M., Grumberg O., Peled D. Model Checking. 2000;MIT Press
4. Clavel M., Durán F., Eker S., Martí-Oliet N., Lincoln P., Meseguer J., Quesada J. Maude: Specification and Programming in Rewriting Logic. January 1999;SRI International, http://maude.csl.sri.com
5. Clavel M., Durán F., Eker S., Martí-Oliet N., Lincoln P., Meseguer J., Talcott C. Maude 2. 2003;SRI International and University of Illinois at Urbana-Champaign, http://maude.cs.uiuc.edu
6. Dean T.R., Cordy J.R. A syntactic theory of software architecture. IEEE Transactions on Software Engineering. 21:(4):April 1995;302-313
7. He X., Ding J., Deng Y. Model checking software architecture specifications in sam. 14th international conference on Software engineering and knowledge engineering, Schia, Italy. 2002;271-274
8. Inverardi P., Wolf A.L. Formal specification and analysis of software architectures using the chemical abstract model. IEEE Transactions on Software Engineering. 21:(4):April 1995;373-386
9. Kloukinas C., Issarny V. Spin-ning software architectures: A method for exploring complex systems. Working IEEE/IFIP Conference on Software Architecture (WICSA2001), Amsterdam, The Netherlands. 2001;67-76
10. Loques O., Sztajnberg A., Leite J., Lobosco M. On the integration of meta-level programming and configuration programming. Reflection and Software Engineering. special edition Lecture Notes in Computer Science. volume 1826:June 2000;191-210 Springer-Verlag, Heidelberg, Germany
11. Luckham D.C., et al. Specification and analysis of system architecture using rapide. IEEE Transactions on Software Engineering. 21:(4):April 1995;336-355
12. Martí-Oliet N., Meseguer J. Handbook of Philosophical Logic, volume 61, chapter Rewriting Logic as a Logical and Semantic Framework. second edition :2001;Kluwer Academic Publishers, http://maude.csl.sri.com/papers
13. Meseguer J. A logical theory of concurrent objects. Meyrowitz N. Proceedings ECOOP-OOPSLA'90 Conference on Object-Oriented Programming, Ottawa, Canada, October 1990. 1990;101-115 ACM Press
14. Meseguer J. Conditional rewriting as a unified model of concurrency. Theoretical Computer Science. 96:(1):April 1992;73-155
15. Meseguer J., Talcott C. Semantic models for distributed object reflection. ECOOP 2002 - Object-Oriented Programming, 16th European Conference, Malaga, Spain, June 10-14, 2002, Proceedings. LNCS. volume 2374:2002;1-36 Springer
16. Moriconi M., Qian X., Riemenschneider R.A. Correct architecture refinement. IEEE Transactions on Software Engineering. 21:(4):April 1995;356-372
17. Shaw M., Garlan D. Software architecture: perspectives on an emerging discipline. 1996;Prentice-Hall Inc., EUA
18. Sztajnberg A., Loques O. Reflection in the r-rio environment. Proceedings of the Middleware'2000 Workshop on Reflective Middleware. April 2000;EUA, Palisades, NY