More Web Proxy on the site http://driver.im/

Article

Free access

Software architecture styles as graph grammars

Author:

Daniel Le MétayerAuthors Info & Claims

SIGSOFT '96: Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering

Pages 15 - 23

https://doi.org/10.1145/239098.239105

Published: 01 October 1996 Publication History

Abstract

We present a formalism for the definition of software architectures in terms of graphs. Nodes represent the individual agents and edges define their interconnection. Individual agents can communicate only along the links specified by the architecture. The dynamic evolution of the overall architecture is defined independently by a 'coordinator'. An architecture style is a class of architectures characterised by a graph grammar. The rules of the coordinator are statically checked to ensure that they preserve the constraints imposed by the architecture style.

References

[1]

G. Abowd, R. Allen and D. Garlan, Using style to understand descriptions of software architecture, Proc. Sigsoft'93: Foundations of Software Engineering, Software Engineering Notes, 18, 5, December 1993.

Digital Library

[2]

R. Allen and D. Garlan, Formalizing architectural connection, Proc. 16th Int. Conf. Software Engineering, IEEE Computer Society, pp. 71-80, 1994.

Digital Library

[3]

J.-P. Ban~re and D. Le M~tayer, Programming by multiset transformation, Communications of the ACM, Vol. 36-1, pp. 98-111, January 1993.

Digital Library

[4]

J.-P. Bani~re and D. Le M~tayer, Gamma and the chemical reaction model: ten years after, Coordination programming: mechanisms, models and semantics, Imperial College Press, 1996, to appear.

Digital Library

[5]

G. Berry and G. Boudol, The chemical abstract machine,Theoretical Computer Science, Vol. 96, pp. 217- 248, 1992.

Digital Library

[6]

N. Carriero and D. Gelernter, Linda in context, Communications of the ACM, Vol. 32-4, pp. 444-458, April 1989.

Digital Library

[7]

B. Courcelle, Graph rewriting: an algebraic and logic approach, Handbook of Theoretical Computer Science, Chapter 5, J. van Leeuwen (cd.), Elsevier Science Publishers, 1990.

Digital Library

[8]

P. Degano and U. Montanari, A model for distributed systems based on graph rewritings, Journal of the ACM, Vol. 34-2, pp. 411-449, April 1987.

Digital Library

[9]

P. Della Vigna and C. Ghezzi, Context-free gmph grammar, Information and Control, Vol. 37, pp. 207- 233, 1978.

[10]

P. Fradet and D. LeM~tayer, Structured Gamma, Irisa Research Report PI-989, March 1996.

[11]

D. Garlan, R. Allen and J. Ockerbloom, Exploiting style in architectural design environment, Proc. Sigsoft'94,Foundations of Software Engineering, pp. 175- 188, 1994.

Digital Library

[12]

D. Garlan and D. Perry, Editor's Introduction, IEEE Transactions on Software Engineering, Special Issue on Software Architectures, 1995.

Digital Library

[13]

C. A. R. Hoare, Communicating sequential processes, Communications of the ACM, Vol. 21-8, pp. 666-677, August 1978.

Digital Library

[14]

A. A. Holzbacher, A software environment for concurrent coordinated programming, Proc. First int. Conf. on Coordination Models, Languages and Applications, Springer Verlag, LNCS 1061, pp. 249-266, April 1996.

Digital Library

[15]

A. A. Holzbacher, Coordination of distributed and parallel programs in Concoord, Coordination programming: mechanisms, models and semantics, Imperial College Press, 1996, to appear.

Digital Library

[16]

P. Inverardi and A. Wolf, Formal specification and analysis of software architectures using the chemical abstract machine model, IEEE Transactions on Software Engineering, Vol. 21, No. 4, pp. 373-386, April 1995.

Digital Library

[17]

R. Kazman, L. Bass, G. Abowd and M. Webb, SAAM: A method for analysing the properties of software archit ectures, Proc. 16th Int. Conf. Software Engineering,IEEE Computer Society, pp. 81-90, 1994.

Digital Library

[18]

J. Kramer, Configuration programming. A framework for the development of distributable systems, Proc. COMPEURO'90, IEEE, pp. 374-384, 1990.

[19]

C. E. Landwehr, Formal models of computer security,Computing Surveys, Vol. 13, No. 3, pp. 247-277, September 1981.

Digital Library

[20]

D, C. Luckham, J, J. Kenney, L. M. Augustin, J. Vera, D. Bryan and W. Mann, Specification and analysis of system architecture using Rapide, IEEE Transactions on Software Engineering, Vol. 21, No. 4, pp. 336-355, April 1995.

Digital Library

[21]

J. Magee and J. Kramer, Modelling distributed software architectures, Proc. First int. workshop on Architectures for Software Systems, CMU Technical Report,CMU-CS-95-151, April 1995.

[22]

N. Mercouroff, An algorithm for analysing communicating processes, 7th int. Conf. on Mathematical Foundations of Programming Semantics, pp. 312-325, March 1991.

Digital Library

[23]

R. Milner, J. Parrow and D. Walker, A calculus of mobile processes, Journal of Information and Computation, Vol. 100, pp. 1-77, 1992.

Digital Library

[24]

M. Moriconi, X. Qian and R. A. Riemenschneider, Correct architecture refinement, IEEE Transactions on Software Engineering, Vol. 21, No 4, pp. 356-372, April 1995.

Digital Library

[25]

H. R. Nielson and F. Nielson, Higher-order concurrent progr-ams with finite communication topology, Proc. 21st ACM Symp. on Principles of Programming Languages,pp. 84-97, January 1994.

Digital Library

[26]

O. Nierstrasz, Regular types for active objects, Proc. OOPSLA'93, ACM Sigplan Notices, Vol. 28, No 10, PP. 1-15, October 1993.

Digital Library

[27]

D. E. Perry and A. Wolf, Foundations for the study of software architecture, ACM Sigsoft, Software Engineering Notes, Vol. 17, No. 4, pp. 40-52, October 1992.

Digital Library

[28]

J.-C. Raoult and F. Voisin. Set-theoretic graph rewriting,Proc. int. Workshop on Graph Transformations in Computer Science, Springer Verlag, LNCS 776, pp. 312-325, 1993.

Digital Library

[29]

M. Shaw and D. Garlan, Formulations and formalisms in software architecture, Computer Science Today, Recent Trends and Developments, Springer Verlag, LNCS 1000, pp. 307-323, 1995.

[30]

M. Shaw, R. DeLine, D. V. Klein, T. L. Ross, D. M. Young and G. Zelesnik, Abstractions for software architecture and tools to support them, IEEE Transactions on Software Engineering, Vol. 21, No. 4, pp. 314-335, April 1995.

Digital Library

Cited By

Saadi AOussalah MHammal YHenni A(2018)An approach for the dynamic reconfiguration of software architecture2018 International Conference on Applied Smart Systems (ICASS)10.1109/ICASS.2018.8651944(1-6)Online publication date: Nov-2018
https://doi.org/10.1109/ICASS.2018.8651944
Bhattacharyya AMokhov APierce K(2017)An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systemsFormal Aspects of Computing10.1007/s00165-016-0405-z29:2(251-307)Online publication date: 1-Mar-2017
https://dl.acm.org/doi/10.1007/s00165-016-0405-z
Fu YShuvo M(2016)An approach to analyzing adaptive intelligent vehicle system using SMT solver2016 International Conference on Control, Decision and Information Technologies (CoDIT)10.1109/CoDIT.2016.7593580(313-319)Online publication date: Apr-2016
https://doi.org/10.1109/CoDIT.2016.7593580
Show More Cited By

Index Terms

Software architecture styles as graph grammars

Recommendations

Software architecture styles as graph grammars

We present a formalism for the definition of software architectures in terms of graphs. Nodes represent the individual agents and edges define their interconnection. Individual agents can communicate only along the links specified by the architecture. ...
Describing Software Architecture Styles Using Graph Grammars

We believe that software architectures should provide an appropriate basis for the proof of properties of large software. This goal can be achieved through a clearcut separation between computation and communication and a formal definition of the ...
A Review on Software Architecture Styles with Layered Robotic Software Architecture
ICCUBEA '15: Proceedings of the 2015 International Conference on Computing Communication Control and Automation

This paper provides an introduction to the field of software engineering requires facility in architectural software design. The goal is to demonstrate the current state of the discipline and examine the ways in which architectural design can impact ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

SIGSOFT '96: Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering

October 1996

190 pages

ISBN:0897917979

DOI:10.1145/239098

Chairmen:
Mark Moriconi
SRI International, Menlo Park, CA
,
Gregory Abowd
Georgia Institute of Technology, Atlanta
,
Editor:
David Garlan
Carnegie Mellon Univ., Pittsburgh, PA

ACM SIGSOFT Software Engineering Notes Volume 21, Issue 6
Nov. 1996
192 pages
ISSN:0163-5948
DOI:10.1145/250707
Editor:
David Garlan
Issue’s Table of Contents

Copyright © 1996 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

SIGSOFT: ACM Special Interest Group on Software Engineering

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 October 1996

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

SOFT96

Sponsor:

SIGSOFT

SOFT96: SIGSOFT '96

October 16 - 18, 1996

California, San Francisco, USA

Acceptance Rates

Overall Acceptance Rate 17 of 128 submissions, 13%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

59
Total Citations
View Citations
1,034
Total Downloads

Downloads (Last 12 months)56
Downloads (Last 6 weeks)3

Reflects downloads up to 13 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

Saadi AOussalah MHammal YHenni A(2018)An approach for the dynamic reconfiguration of software architecture2018 International Conference on Applied Smart Systems (ICASS)10.1109/ICASS.2018.8651944(1-6)Online publication date: Nov-2018
https://doi.org/10.1109/ICASS.2018.8651944
Bhattacharyya AMokhov APierce K(2017)An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systemsFormal Aspects of Computing10.1007/s00165-016-0405-z29:2(251-307)Online publication date: 1-Mar-2017
https://dl.acm.org/doi/10.1007/s00165-016-0405-z
Fu YShuvo M(2016)An approach to analyzing adaptive intelligent vehicle system using SMT solver2016 International Conference on Control, Decision and Information Technologies (CoDIT)10.1109/CoDIT.2016.7593580(313-319)Online publication date: Apr-2016
https://doi.org/10.1109/CoDIT.2016.7593580
Antignac TLe Métayer D(2014)Privacy by Design: From Technologies to ArchitecturesPrivacy Technologies and Policy10.1007/978-3-319-06749-0_1(1-17)Online publication date: 2014
https://doi.org/10.1007/978-3-319-06749-0_1
Etzien CGezgin TFroschle SHenkler SRettberg A(2013)Contracts for evolving systems16th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC 2013)10.1109/ISORC.2013.6913235(1-8)Online publication date: Jun-2013
https://doi.org/10.1109/ISORC.2013.6913235
Gezgin TEtzien CHenkler SRettberg A(2012)Towards a Rigorous Modeling Formalism for Systems of SystemsProceedings of the 2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops10.1109/ISORCW.2012.42(204-211)Online publication date: 11-Apr-2012
https://dl.acm.org/doi/10.1109/ISORCW.2012.42
Kim JGarlan D(2010)Analyzing architectural stylesJournal of Systems and Software10.1016/j.jss.2010.01.04983:7(1216-1235)Online publication date: 1-Jul-2010
https://dl.acm.org/doi/10.1016/j.jss.2010.01.049
Becker BGiese HZadeh LBadr YAbraham AOhsawa YChbeir RFerri FKoeppen MLaurent D(2008)Modeling of correct self-adaptive systemsProceedings of the 5th international conference on Soft computing as transdisciplinary science and technology10.1145/1456223.1456326(508-516)Online publication date: 28-Oct-2008
https://dl.acm.org/doi/10.1145/1456223.1456326
Hirsch MHenkler SGiese HCheng Bde Lemos RGarlan DGiese HLitoiu MMagee JMüller HTaylor R(2008)Modeling collaborations with dynamic structural adaptation in mechatronic UMLProceedings of the 2008 international workshop on Software engineering for adaptive and self-managing systems10.1145/1370018.1370026(33-40)Online publication date: 12-May-2008
https://dl.acm.org/doi/10.1145/1370018.1370026
Chang ZMao XQi Z(2008)Towards a Formal Model for Reconfigurable Software Architectures by BigraphsProceedings of the Seventh Working IEEE/IFIP Conference on Software Architecture (WICSA 2008)10.1109/WICSA.2008.17(331-334)Online publication date: 18-Feb-2008
https://dl.acm.org/doi/10.1109/WICSA.2008.17
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Media

Figures

Other

Tables

View Table of Contents