A model for distributed systems based on graph rewriting
Journal of the ACM (JACM)
Communications of the ACM
Graph rewriting: an algebraic and logic approach
Handbook of theoretical computer science (vol. B)
Selected papers of the Second Workshop on Concurrency and compositionality
Foundations for the study of software architecture
ACM SIGSOFT Software Engineering Notes
Programming by multiset transformation
Communications of the ACM
A calculus of mobile processes, I
Information and Computation
Using style to understand descriptions of software architecture
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
Higher-order concurrent programs with finite communication topology (extended abstract)
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Exploiting style in architectural design environments
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
Introduction to the Special Issue on Software Architecture
IEEE Transactions on Software Engineering - Special issue on software architecture
Abstractions for Software Architecture and Tools to Support Them
IEEE Transactions on Software Engineering - Special issue on software architecture
Specification and Analysis of System Architecture Using Rapide
IEEE Transactions on Software Engineering - Special issue on software architecture
Correct Architecture Refinement
IEEE Transactions on Software Engineering - Special issue on software architecture
IEEE Transactions on Software Engineering - Special issue on software architecture
Formalizing architectural connection
ICSE '94 Proceedings of the 16th international conference on Software engineering
SAAM: a method for analyzing the properties of software architectures
ICSE '94 Proceedings of the 16th international conference on Software engineering
Gamma and the chemical reaction model: ten years after
Coordination programming
Coordination of distributed and parallel programs: programs in ConCoord
Coordination programming
Science of Computer Programming
Formal Models for Computer Security
ACM Computing Surveys (CSUR)
Communicating sequential processes
Communications of the ACM
The 4+1 View Model of Architecture
IEEE Software
Specifying Distributed Software Architectures
Proceedings of the 5th European Software Engineering Conference
An Algorithm for Analyzing Communicating Processes
Proceedings of the 7th International Conference on Mathematical Foundations of Programming Semantics
A Software Environment for Concurrent Coordinated Programming
COORDINATION '96 Proceedings of the First International Conference on Coordination Languages and Models
Modeling Railway Control Systems Using Graph Grammars: A Case Study
COORDINATION '97 Proceedings of the Second International Conference on Coordination Languages and Models
Proceedings of the International Workshop on Graph Transformations in Computer Science
Graph grammars and constraint solving for software architecture styles
ISAW '98 Proceedings of the third international workshop on Software architecture
Algebraic software architecture reconfiguration
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
Dynamic coordination architecture through the use of reflection
Proceedings of the 2001 ACM symposium on Applied computing
A graph based architectural (Re)configuration language
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Architectural style requirements for self-healing systems
WOSS '02 Proceedings of the first workshop on Self-healing systems
Modeling software evolution by evolving interoperation graphs
Annals of Software Engineering
A graph transformation approach to software architecture reconfiguration
Science of Computer Programming - Special issue on applications of graph transformations (GRATRA 2000)
Design and Application of TOAST: An Adaptive Distributed Multimedia Middleware Platform
IDMS '01 Proceedings of the 8th International Workshop on Interactive Distributed Multimedia Systems
A Cooperation Service for CORBA Objects. From the Model to the Applications
Euro-Par '99 Proceedings of the 5th International Euro-Par Conference on Parallel Processing
Conditional Graph Rewriting as a Domain-Independent Formalism for Software Evolution
AGTIVE '99 Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance
The K-Component Architecture Meta-model for Self-Adaptive Software
REFLECTION '01 Proceedings of the Third International Conference on Metalevel Architectures and Separation of Crosscutting Concerns
SOFSEM '99 Proceedings of the 26th Conference on Current Trends in Theory and Practice of Informatics on Theory and Practice of Informatics
Reconfiguration of Software Architecture Styles with Name Mobility
COORDINATION '00 Proceedings of the 4th International Conference on Coordination Languages and Models
Gamma and the Chemical Reaction Model: Fifteen Years After
WMP '00 Proceedings of the Workshop on Multiset Processing: Multiset Processing, Mathematical, Computer Science, and Molecular Computing Points of View
Composing architectural styles from architectural primitives
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Architecting and implementing distributed Web applications using the graph-oriented approach
Software—Practice & Experience
A framework for architecting and high-level programming support of CORBA applications
Journal of Parallel and Distributed Computing - Special issue on middleware
A survey of self-management in dynamic software architecture specifications
WOSS '04 Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems
Specifying distributed multi-agent systems in chemical reaction metaphor
Applied Intelligence
Describing dynamic software architectures using an extended UML model
Proceedings of the 2006 ACM symposium on Applied computing
Spatial graph grammars for graphical user interfaces
ACM Transactions on Computer-Human Interaction (TOCHI)
Mixed-Mode Adaptation in Distributed Systems: A Case Study
SEAMS '07 Proceedings of the 2007 International Workshop on Software Engineering for Adaptive and Self-Managing Systems
An integrated approach to coordination description in distributed multimedia applications
Integrated Computer-Aided Engineering
Pattern-based design evolution using graph transformation
Journal of Visual Languages and Computing
Runtime software adaptation: framework, approaches, and styles
Companion of the 30th international conference on Software engineering
Companion of the 30th international conference on Software engineering
Modelling Dynamic Software Architectures using Typed Graph Grammars
Electronic Notes in Theoretical Computer Science (ENTCS)
Assurance of dynamic adaptation in distributed systems
Journal of Parallel and Distributed Computing
Using Aspects for Enforcing Formal Architectural Invariants
Electronic Notes in Theoretical Computer Science (ENTCS)
Graph-Based Design and Analysis of Dynamic Software Architectures
Concurrency, Graphs and Models
CSTST '08 Proceedings of the 5th international conference on Soft computing as transdisciplinary science and technology
The Chemical Reaction Model Recent Developments and Prospects
Software-Intensive Systems and New Computing Paradigms
Specifying behavioral semantics of UML diagrams through graph transformations
Journal of Systems and Software
The Future of Software: Adaptation and Dependability
Software Engineering
A Graph-based Design Framework for Global Computing Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Hierarchical Design Rewriting with Maude
Electronic Notes in Theoretical Computer Science (ENTCS)
Ontology-based modelling of architectural styles
Information and Software Technology
A Service-Oriented UML Profile with Formal Support
ICSOC-ServiceWave '09 Proceedings of the 7th International Joint Conference on Service-Oriented Computing
Shaped Hierarchical Architectural Design
Electronic Notes in Theoretical Computer Science (ENTCS)
P/S-CoM: Building correct by design Publish/Subscribe architectural styles with safe reconfiguration
Journal of Systems and Software
Pushout: a mathematical model of architectural merger
PSI'06 Proceedings of the 6th international Andrei Ershov memorial conference on Perspectives of systems informatics
Combining formal methods and aspects for specifying and enforcing architectural invariants
COORDINATION'07 Proceedings of the 9th international conference on Coordination models and languages
Increasing system dependability through architecture-based self-repair
Architecting dependable systems
Modeling and analyzing architectural change with alloy
Proceedings of the 2010 ACM Symposium on Applied Computing
Software of the future is the future of software?
TGC'06 Proceedings of the 2nd international conference on Trustworthy global computing
Service oriented architectural design
TGC'07 Proceedings of the 3rd conference on Trustworthy global computing
Dynamic evolution of web-based systems
IITA'09 Proceedings of the 3rd international conference on Intelligent information technology application
International Journal of Autonomic Computing
ETAK: tailoring architectural evolution by (re-)using architectural knowledge
Proceedings of the 2010 ICSE Workshop on Sharing and Reusing Architectural Knowledge
RETRACTED: Specification and verification of dynamic evolution of software architectures
Journal of Systems Architecture: the EUROMICRO Journal
ICICA'10 Proceedings of the First international conference on Information computing and applications
FlashMob: distributed adaptive self-assembly
Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
A tile logic-based semantics for mobile software architectures
International Journal of Critical Computer-Based Systems
Ten years of analyzing actors: Rebeca experience
Formal modeling
Modeling and enforcing invariants of dynamic software architectures
Software and Systems Modeling (SoSyM)
Formal analysis and verification of self-healing systems
FASE'10 Proceedings of the 13th international conference on Fundamental Approaches to Software Engineering
Handling dynamic behaviour in software architectures
EWSA'05 Proceedings of the 2nd European conference on Software Architecture
A CBD application integration framework for high productivity and maintainability
ICCSA'05 Proceedings of the 2005 international conference on Computational Science and Its Applications - Volume Part III
Consistent reconfiguration for publish/subscribe architecture styles
VECoS'07 Proceedings of the First international conference on Verification and Evaluation of Computer and Communication Systems
VECoS'08 Proceedings of the Second international conference on Verification and Evaluation of Computer and Communication Systems
A tile logic based semantics for mobile software architectures
VECoS'10 Proceedings of the Fourth international conference on Verification and Evaluation of Computer and Communication Systems
Property networks allowing oracle-based mode-change propagation in hierarchical components
Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering
Modeling dynamic architectures using Dy-BIP
SC'12 Proceedings of the 11th international conference on Software Composition
Pushouts in software architecture design
Proceedings of the 11th International Conference on Generative Programming and Component Engineering
Formal modeling of evolving self-adaptive systems
Science of Computer Programming
Formal design of structural and dynamic features of publish/subscribe architectural styles
ECSA'07 Proceedings of the First European conference on Software Architecture
Planning self-adaption with graph transformations
AGTIVE'11 Proceedings of the 4th international conference on Applications of Graph Transformations with Industrial Relevance
Dynamic software architectures: formal specification and verification with CSP
Proceedings of the Fourth Asia-Pacific Symposium on Internetware
Towards formalising installation and reconfiguration tasks of AADL architecture
International Journal of Communication Networks and Distributed Systems
Hi-index | 0.00 |
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 interactions between individual components. 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 an architecture is defined independently by a "coordinator." An architecture style is a class of architectures specified by a graph grammar. The class characterizes a set of architectures sharing a common communication pattern. The rules of the coordinator are statically checked to ensure that they preserve the constraints imposed by the architecture style.