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
Regular types for active objects
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
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
Formal Models for Computer Security
ACM Computing Surveys (CSUR)
Communicating sequential processes
Communications of the ACM
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
Proceedings of the International Workshop on Graph Transformations in Computer Science
Program analysis for software engineering: new applications, new requirements, new tools
ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
Manipulating recovered software architecture views
ICSE '97 Proceedings of the 19th international conference on Software engineering
ROSATEA: International Workshop on the Role of Software Architecture in Analysis E(and) Testing
ACM SIGSOFT Software Engineering Notes
COM revisited: tool-assisted modelling of an architectural framework
SIGSOFT '00/FSE-8 Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications
The coming-of-age of software architecture research
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Taming architectural evolution
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Self-organising software architectures for distributed systems
WOSS '02 Proceedings of the first workshop on Self-healing systems
Support for Design Patterns Through Graph Transformation Tools
AGTIVE '99 Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance
Component-Based Programming of Distributed Applications
Advances in Distributed Systems, Advanced Distributed Computing: From Algorithms to Systems
Tutorial Introduction to Graph Transformation: A Software Engineering Perspective
ICGT '02 Proceedings of the First International Conference on Graph Transformation
Relating functional requirements and software architecture: separation and consistency of concerns
Journal of Software Maintenance: Research and Practice - Special issue: Separation of concerns for software evolution
Repairing software style using graph grammars
CASCON '97 Proceedings of the 1997 conference of the Centre for Advanced Studies on Collaborative research
Towards an Algebra of Architectural Connectors: a Case Study on Synchronization for Mobility
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
Modeling and validation of service-oriented architectures: application vs. style
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Modeling and Simulation of Context-Aware Mobile Systems
Proceedings of the 19th IEEE international conference on Automated software engineering
A survey of self-management in dynamic software architecture specifications
WOSS '04 Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems
Exploiting architectural prescriptions for self-managing, self-adaptive systems: a position paper
WOSS '04 Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems
Knowledge-based assessment of behavior in dynamic environments
Proceedings of the 2005 ACM workshop on Research in knowledge representation for autonomous systems
Model-based development of dynamically adaptive software
Proceedings of the 28th international conference on Software engineering
Applying algebraic approaches for modeling workflows and their transformations in mobile networks
Mobile Information Systems
Modeling collaborations with dynamic structural adaptation in mechatronic UML
Proceedings of the 2008 international workshop on Software engineering for adaptive and self-managing systems
AMOEBA-RT: Run-Time Verification of Adaptive Software
Models in Software Engineering
Modeling of correct self-adaptive systems: a graph transformation system based approach
CSTST '08 Proceedings of the 5th international conference on Soft computing as transdisciplinary science and technology
Proceedings of the 2005 conference on Self-Organization and Autonomic Informatics (I)
Analyzing architectural styles
Journal of Systems and Software
From graph transformation to software engineering and back
Formal Methods in Software and Systems Modeling
Behavior-preserving refinement relations between dynamic software architectures
WADT'04 Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques
Hi-index | 0.00 |
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.