Article

Free access

Graph grammars and constraint solving for software architecture styles

Authors:

Dan Hirsch,

Paolo Inverardi,

Ugo MontanariAuthors Info & Claims

ISAW '98: Proceedings of the third international workshop on Software architecture

Pages 69 - 72

https://doi.org/10.1145/288408.288426

Published: 01 November 1998 Publication History

PDF eReader

References

[1]

Shaw, M. and Garlan, D., Software Architecture: Perspectives on an Emerging Discipline, Prentice Hall, 1996.

Digital Library

Google Scholar

[2]

Le Metayer, D., "Describing software architecture styles using graph grammars," ZEEE Transactions on Softwa&-Engineering, to 'appear.

Digital Library

Google Scholar

[3]

Montanari, U. and Rossi, F., "Graph rewriting, constraint solving and tiles for coordinating distributed systems," 1997, To appear in Applied Category Theory.

Google Scholar

[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.

Google Scholar

[5]

A.K. Mackworth, Encyclopedia ofZA, chapter Constraint Satisfaction, Springer Verlag, 1988.

Google Scholar

[6]

Magee, J. and Kramer, J., "Self organising software architectures," in Proceedings of the Second International Software Architecture Workshop, 1996.

Digital Library

Google Scholar

[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.

Google Scholar

[8]

Inverardi, P. and Wolf, A., "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, Special Issue on Software Architectures.

Digital Library

Google Scholar

[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.

Google Scholar

[10]

Degano, P. and Montanari, U., "A model for distributed systems based on graph rewriting," Journal of the Association for Computing Machinery, vol. 34, no. 2, April 1987.

Digital Library

Google Scholar

[11]

Compare, D., Inverardi, P., and Wolf, A., "Uncovering architectural mismatch in dynamic behavior," To appear.

Google Scholar

[12]

Magee, J. and Kramer, J., "Dynamic structure in software architectures," in Proceedings of the Fourth ACM SIGSOFT Symposium on the Foundations of Software Engineering, 1996, ACM Software Engineering Notes.

Digital Library

Google Scholar

Cited By

View all

Esparza-Peidro JMuñoz-Escoí FBernabéu-Aubán J(2024)Modeling microservice architecturesJournal of Systems and Software10.1016/j.jss.2024.112041213:COnline publication date: 1-Jul-2024
https://dl.acm.org/doi/10.1016/j.jss.2024.112041
Bozga MIosif RSifakis J(2023)Verification of component-based systems with recursive architecturesTheoretical Computer Science10.1016/j.tcs.2022.10.022940(146-175)Online publication date: Jan-2023
https://doi.org/10.1016/j.tcs.2022.10.022
Ahrens EBozga MIosif RKatoen J(2022)Reasoning about distributed reconfigurable systemsProceedings of the ACM on Programming Languages10.1145/35632936:OOPSLA2(145-174)Online publication date: 31-Oct-2022
https://dl.acm.org/doi/10.1145/3563293
Show More Cited By

Index Terms

Graph grammars and constraint solving for software architecture styles

Recommendations

Software architecture styles as graph grammars
SIGSOFT '96: Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering

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. ...
Solving dynamic constraint optimization problems using ICHEA
ICONIP'12: Proceedings of the 19th international conference on Neural Information Processing - Volume Part III

Many real-world constrained problems have a set of predefined static constraints that can be solved by evolutionary algorithms (EAs) whereas some problems have dynamic constraints that may change over time or may be received by the problem solver at run ...
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. ...

Comments

Information & Contributors

Information

Published In

ISAW '98: Proceedings of the third international workshop on Software architecture

November 1998

167 pages

ISBN:1581130813

DOI:10.1145/288408

Editors:
Jeff N. Magee
Imperial College, London, UK
,
Dewayne E. Perry
Bell Labs, Murray Hill, NJ

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]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 November 1998

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

SOFT98

Sponsor:

SOFT98: Sixth International Symposium on the Foundations of Software Engineering

November 1 - 5, 1998

Florida, Orlando, USA

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

49
Total Citations
View Citations
544
Total Downloads

Downloads (Last 12 months)52
Downloads (Last 6 weeks)12

Reflects downloads up to 20 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Esparza-Peidro JMuñoz-Escoí FBernabéu-Aubán J(2024)Modeling microservice architecturesJournal of Systems and Software10.1016/j.jss.2024.112041213:COnline publication date: 1-Jul-2024
https://dl.acm.org/doi/10.1016/j.jss.2024.112041
Bozga MIosif RSifakis J(2023)Verification of component-based systems with recursive architecturesTheoretical Computer Science10.1016/j.tcs.2022.10.022940(146-175)Online publication date: Jan-2023
https://doi.org/10.1016/j.tcs.2022.10.022
Ahrens EBozga MIosif RKatoen J(2022)Reasoning about distributed reconfigurable systemsProceedings of the ACM on Programming Languages10.1145/35632936:OOPSLA2(145-174)Online publication date: 31-Oct-2022
https://dl.acm.org/doi/10.1145/3563293
Bozga MBueri LIosif R(2022)Decision Problems in a Logic for Reasoning About Reconfigurable Distributed SystemsAutomated Reasoning10.1007/978-3-031-10769-6_40(691-711)Online publication date: 1-Aug-2022
https://doi.org/10.1007/978-3-031-10769-6_40
(2018)An approach for managing the dynamic reconfiguration of software architecturesInternational Journal of Computational Science and Engineering10.5555/3282692.328270017:2(220-233)Online publication date: 1-Jan-2018
https://dl.acm.org/doi/10.5555/3282692.3282700
Rychly M(2018)Dynamically Reconfigurable ArchitecturesComputer Systems and Software Engineering10.4018/978-1-5225-3923-0.ch022(539-556)Online publication date: 2018
https://doi.org/10.4018/978-1-5225-3923-0.ch022
Mavridou ARutz VBliudze S(2017)Coordination of Dynamic Software Components with JavaBIPFormal Aspects of Component Software10.1007/978-3-319-68034-7_3(39-57)Online publication date: 14-Sep-2017
https://doi.org/10.1007/978-3-319-68034-7_3
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
Rodriguez ILacouture JDrira K(2015)Self-adaptive communication for collaborative mobile entities in ERCMSInternational Journal of Autonomous and Adaptive Communications Systems10.1504/IJAACS.2015.0676968:1(1-22)Online publication date: 1-Feb-2015
https://dl.acm.org/doi/10.1504/IJAACS.2015.067696
Li CHuang LChen L(2015)Breeze graph grammarSoftware—Practice & Experience10.1002/spe.227145:8(1023-1050)Online publication date: 1-Aug-2015
https://dl.acm.org/doi/10.1002/spe.2271
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

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

Cited By

Index Terms

Recommendations

Software architecture styles as graph grammars

Solving dynamic constraint optimization problems using ICHEA

Software architecture styles as graph grammars

Comments

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Conference

Other Metrics

Article Metrics

Other Metrics

Cited By

PDF

eReader

Login options

Full Access

References

Cited By

Index Terms

Recommendations

Software architecture styles as graph grammars

Solving dynamic constraint optimization problems using ICHEA

Software architecture styles as graph grammars

Comments

Information

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Conference

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations