Graph grammars and constraint solving for software architecture styles

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Graph grammars and constraint solving for software architecture styles

Full text

Pdf (543 KB)

Source

Foundations of Software Engineering archive
Proceedings of the third international workshop on Software architecture table of contents

Orlando, Florida, United States

Pages: 69 - 72

Year of Publication: 1998

ISBN:1-58113-081-3

Authors

Dan Hirsch	Univ. de Buenos Aires, Buenos Aires, Argentina
Paolo Inverardi	Univ. dell'Aquila, L'Aquila, Italia
Ugo Montanari	Univ. di Pisa, Pisa, Italia

Sponsors

SIGSOFT: ACM Special Interest Group on Software Engineering
SIGPLAN: ACM Special Interest Group on Programming Languages

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 0, Downloads (12 Months): 27, Citation Count: 9

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/288408.288426 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Mary Shaw , David Garlan, Software architecture: perspectives on an emerging discipline, Prentice-Hall, Inc., Upper Saddle River, NJ, 1996
	2	Daniel Le Métayer, Describing Software Architecture Styles Using Graph Grammars, IEEE Transactions on Software Engineering, v.24 n.7, p.521-533, July 1998 [doi>10.1109/32.708567]
	3	Montanari, U. and Rossi, F., "Graph rewriting, constraint solving and tiles for coordinating distributed systems," 1997, To appear in Applied Category Theory.
	4	Corradini, A:, Degano, P., and Montanari, U., "Specifying highly concurrent data structure manipulation," in COMPUTING 85:A Broad Perspective of Concurrent Developments, Bucci, G. and Valle, G., Eds. Elsevier Science, 1985.
	5	A.K. Mackworth, Encyclopedia ofZA, chapter Constraint Satisfaction, Springer Verlag, 1988.
	6	Jeff Magee , Jeff Kramer, Self organising software architectures, Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops, p.35-38, October 16-18, 1996, San Francisco, California, United States [doi>10.1145/243327.243345]
	7	Medvidovic, N., "A classification and comparison framework for software architecture description languages," Technical Report ICS-TR-97-02, University of California, Irvine, Department of Information and Computer Science, 1997.
	8	Paola Inverardi , Alexander L. Wolf, Formal Specification and Analysis of Software Architectures Using the Chemical Abstract Machine Model, IEEE Transactions on Software Engineering, v.21 n.4, p.373-386, April 1995 [doi>10.1109/32.385973]
	9	Drewes, F., Kreowski, H.-J., and Habel, A., "Foundations," in Handbook of Graph Grammars and Computing by Graph Transformation, G. Rozenberg, Ed., vol. I, chapter 2. World Scientific, 1996.
	10	Pierpaolo Degano , Ugo Montanari, A model for distributed systems based on graph rewriting, Journal of the ACM (JACM), v.34 n.2, p.411-449, April 1987 [doi>10.1145/23005.24038]
	11	Compare, D., Inverardi, P., and Wolf, A., "Uncovering architectural mismatch in dynamic behavior," To appear.
	12	Jeff Magee , Jeff Kramer, Dynamic structure in software architectures, Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering, p.3-14, October 16-18, 1996, San Francisco, California, United States

CITED BY 9

	Ioannis Georgiadis , Jeff Magee , Jeff Kramer, Self-organising software architectures for distributed systems, Proceedings of the first workshop on Self-healing systems, November 18-19, 2002, Charleston, South Carolina
	Jeremy S. Bradbury , James R. Cordy , Juergen Dingel , Michel Wermelinger, A survey of self-management in dynamic software architecture specifications, Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems, p.28-33, October 31-November 01, 2004, Newport Beach, California
	Matthew J. Hawthorne , Dewayne E. Perry, Exploiting architectural prescriptions for self-managing, self-adaptive systems: a position paper, Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems, p.75-79, October 31-November 01, 2004, Newport Beach, California
	Ji Zhang , Betty H. C. Cheng, Model-based development of dynamically adaptive software, Proceeding of the 28th international conference on Software engineering, May 20-28, 2006, Shanghai, China
	Roberto Bruni , Antonio Bucchiarone , Stefania Gnesi , Hernán Melgratti, Modelling Dynamic Software Architectures using Typed Graph Grammars, Electronic Notes in Theoretical Computer Science (ENTCS), v.213 n.1, p.39-53, May, 2008
	Martin Hirsch , Stefan Henkler , Holger Giese, Modeling collaborations with dynamic structural adaptation in mechatronic UML, Proceedings of the 2008 international workshop on Software engineering for adaptive and self-managing systems, May 12-13, 2008, Leipzig, Germany
	Ismael Bouassida Rodriguez , Karim Guennoun , Khalil Drira , Christophe Chassot , Mohamed Jmaiel, Implementing a rule-driven approach for architectural self configuration in collaborative activities using a graph rewriting formalism, Proceedings of the 5th international conference on Soft computing as transdisciplinary science and technology, October 28-31, 2008, Cergy-Pontoise, France
	Basil Becker , Holger Giese, Modeling of correct self-adaptive systems: a graph transformation system based approach, Proceedings of the 5th international conference on Soft computing as transdisciplinary science and technology, October 28-31, 2008, Cergy-Pontoise, France
	Philip Miseldine , Azzelarabe Taleb-Bendiab, A Programmatic Approach to Applying Sympathetic and Parasympathetic Autonomic Systems to Software Design, Proceeding of the 2005 conference on Self-Organization and Autonomic Informatics (I), p.293-303, May 16, 2005