Hierarchical Design Rewriting with Maude

Electronic Notes in Theoretical Computer Science

Volumn 238, Issue 3, 2009, Pages 45-62

  Bruni, Roberto ^a   Lluch Lafuente, Alberto ^a   Montanari, Ugo ^a  

^a UNIVERSITY OF PISA   (Italy)

Author keywords

Graphs; Maude; Rewriting Logic; Software Architectures; SOS

Indexed keywords

DESIGN AND ANALYSIS; DYNAMIC SOFTWARE ARCHITECTURE; FORMAL APPROACH; GRAPHS; HIERARCHICAL DESIGN; HIERARCHICAL GRAPHS; KEY FEATURE; MAUDE; PROTOTYPICAL IMPLEMENTATION; REWRITE RULES; REWRITING LOGIC; RULE-BASED APPROACH; SOS; SYSTEM SPECIFICATION; TOOL SUPPORT; TOPDOWN;

ALGEBRA; COMPUTER SOFTWARE; REFRIGERATORS; SOFTWARE ARCHITECTURE; SPECIFICATIONS;

ARCHITECTURAL DESIGN;

EID: 67649510256     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2009.05.012     Document Type: Article

References (28)

1. Aguirre N., and Maibaum T.S.E. Hierarchical temporal specifications of dynamically reconfigurable component based systems. ENTCS 108 (2004) 69-81
2. Baresi L., Heckel R., Thöne S., and Varró D. Style-based modeling and refinement of service-oriented architectures. Software and Systems Modeling 5 2 (June 2006) 187-207
3. Batory D.S. Program refactoring, program synthesis, and model-driven development. In: Krishnamurthi S., and Odersky M. (Eds). Proceedings of the 16th International Conference on Compiler Constuction (CC'07). LNCS volume 4420 (2007), Springer 156-171
4. Brandes U., Eiglsperger M., Herman I., Himsolt M., and Marshall M. GraphML progress report: Structural layer proposal. Proceedings 9th International Symposium on Graph Drawing (GD '01). LNCS volume 2265 (2002), Springer 501-512. http://graphml.graphdrawing.org/
5. Bruni R., Lluch Lafuente A., Montanari U., and Tuosto E. Service oriented architectural design. Proceedings of the 3rd International Symposium on Trustworthy Global Computing (TGC'07). LNCS volume 4912 (2007), Springer 186-203
6. R. Bruni, A. Lluch Lafuente, U. Montanari, and E. Tuosto. Style based reconfigurations of software architectures. Technical Report TR-07-17, Dipartimento di Informatica, Università di Pisa, 2007. See http://www.albertolluch.com/adr.html
7. Bruni R., and Meseguer J. Semantic foundations for generalized rewrite theories. Theor. Comput. Sci. 360 1-3 (2006) 386-414
8. Caires L., and Cardelli L. A spatial logic for concurrency (part I). Information and Computation 186 2 (2003) 194-235
9. Clavel M., Durán F., Eker S., Lincoln P., Martí-Oliet N., Meseguer J., and Talcott C.L. All About Maude - A High-Performance Logical Framework. How to Specify, Program and Verify Systems in Rewriting Logic. LNCS volume 4350 (2007), Springer
10. Clements P., Garlan D., Bass L., Stafford J., Nord R., Ivers J., and Little R. Documenting Software Architectures: Views and Beyond (2002), Pearson Education
11. Courcelle B. The expression of graph properties and graph transformations in monadic second-order logic. In: Rozenberg G. (Ed). Handbook of Graph Grammars and Computing by Graph Transformation (1997), World Scientific 313-400
12. yEd graph editor homepage. http://www.yworks.com/en/products_yed_about.htm
13. Ferrari G.L., Hirsch D., Lanese I., Montanari U., and Tuosto E. Synchronised hyperedge replacement as a model for service oriented computing. In: de Boer F.S., Bonsangue M.M., Graf S., and de Roever W.P. (Eds). 4th International Symposium on Formal Methods for Components and Objects (FMCO'05). LNCS volume 4111 (2005), Springer 22-43
14. Fiadeiro J.L., Lopes A., and Bocchi L. A formal approach to service component architecture. Proceedins of the 3rd International Workshop on Web Services and Formal Methods (WS-FM'06). LNCS volume 4184 (2006), Springer 193-213
15. Gansner E.R., and North S.C. An open graph visualization system and its applications to software engineering. Software Practice and Experience 30 11 (2000) 1203-1233. http://www.graphviz.org/
16. Habel A. Hyperedge Replacement: Grammars and Languages (1992), Springer Verlag
17. Hirsch D., and Montanari U. Shaped hierarchical architectural design. ENTCS 109 (2004) 97-109
18. O. H. Jensen and R. Milner. Bigraphs and mobile processes. Technical Report 570, Computer Laboratory, University of Cambridge, 2003
19. Jerad C., Barkaoui K., and Grissa-Touzi A. Hierarchical verification in Maude of LfP software architectures. In: Oquendo F. (Ed). ECSA. Lecture Notes in Computer Science volume 4758 (2007), Springer 156-170
20. In: König B., Montanari U., and Gardner P. (Eds). Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems, 6-11 June 2004. Dagstuhl Seminar Proceedings volume 04241 (2005), IBFI, Schloss Dagstuhl, Germany. http://www.dagstuhl.de/04241/
21. Martí-Oliet N., Meseguer J., and Verdejo A. Towards a strategy language for Maude. ENTCS 117 (2005) 417-441
22. Meseguer J., Palomino M., and Martí-Oliet N. Equational abstractions. In: Baader F. (Ed). Proceedings of the 9th International Conference on Automated Deduction (CADE'03). LNCS volume 2741 (2003), Springer 2-16
23. Meseguer J., and Rosu G. The rewriting logic semantics project. TCS 373 3 (2007) 213-237
24. Métayer D.L. Describing software architecture styles using graph grammars. IEEE Transactions on Software Engineering 24 7 (1998) 521-533
25. Plotkin G.D. The origins of structural operational semantics. J. Log. Algebr. Program. 60-61 (2004) 3-15
26. Rademaker A., de O. Braga C., and Sztajnberg A. A rewriting semantics for a software architecture description language. Electr. Notes Theor. Comput. Sci. 130 (2005) 345-377
27. Shaw M., and Garlan D. Software Architectures: Perspectives on an emerging discipline (1996), Prentice Hall
28. Verdejo A., and Martí-Oliet N. Executable structural operational semantics in Maude. Journal of Logic and Algebraic Programming 67 1-2 (2006) 226-293