Communicating sequential processes
Communicating sequential processes
The Z notation: a reference manual
The Z notation: a reference manual
The gamma model and its discipline of programming
Science of Computer Programming
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
Formalizing architectural connection
ICSE '94 Proceedings of the 16th international conference on Software engineering
On the criteria to be used in decomposing systems into modules
Communications of the ACM
Communication and Concurrency
Term Rewriting Systems
A Formal Approach to Software Architectures
Proceedings of the IFIP 12th World Computer Congress on Algorithms, Software, Architecture - Information Processing '92, Volume 1 - Volume I
Formalizing Design Spaces: Implicit Invocation Mechanisms
VDM '91 Proceedings of the 4th International Symposium of VDM Europe on Formal Software Development-Volume I: Conference Contributions - Volume I
Some Chemical Abstract Machines
A Decade of Concurrency, Reflections and Perspectives, REX School/Symposium
Architectural mismatch or why it's hard to build systems out of existing parts
Proceedings of the 17th international conference on Software engineering
Formalizing style to understand descriptions of software architecture
ACM Transactions on Software Engineering and Methodology (TOSEM)
Dynamic structure in software architectures
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Software architecture styles as graph grammars
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Architecture-based software testing
ISAW '96 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
Software testing at the architectural level
ISAW '96 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
Refining by architectural styles or architecting by refinements
ISAW '96 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
Succeedings of the second international software architecture workshop (ISAW-2)
ACM SIGSOFT Software Engineering Notes
A formal basis for architectural connection
ACM Transactions on Software Engineering and Methodology (TOSEM)
A framework for classifying and comparing architecture description languages
ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
An approach to performance evaluation of software architectures
Proceedings of the 1st international workshop on Software and performance
Software architecture and mobility
ISAW '98 Proceedings of the third international workshop on Software architecture
An architecture for constructing self-evolving software systems
ISAW '98 Proceedings of the third international workshop on Software architecture
Expressiveness in architecture description languages
ISAW '98 Proceedings of the third international workshop on Software architecture
Graph grammars and constraint solving for software architecture styles
ISAW '98 Proceedings of the third international workshop on Software architecture
A simple description language for dynamic architectures
ISAW '98 Proceedings of the third international workshop on Software architecture
A language and environment for architecture-based software development and evolution
Proceedings of the 21st international conference on Software engineering
A domain specific software architecture style for CSCD system
ACM SIGSOFT Software Engineering Notes
ROSATEA: International Workshop on the Role of Software Architecture in Analysis E(and) Testing
ACM SIGSOFT Software Engineering Notes
A Classification and Comparison Framework for Software Architecture Description Languages
IEEE Transactions on Software Engineering
Deriving test plans from architectural descriptions
Proceedings of the 22nd international conference on Software engineering
Proceedings of the 2nd international workshop on Software and performance
Static checking of system behaviors using derived component assumptions
ACM Transactions on Software Engineering and Methodology (TOSEM)
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
Artificial chemistries—a review
Artificial Life
Towards architecture-based self-healing systems
WOSS '02 Proceedings of the first workshop on Self-healing systems
Self-organising software architectures for distributed systems
WOSS '02 Proceedings of the first workshop on Self-healing systems
Engineering formal requirements: An analysis and testing method for Z documents
Annals of Software Engineering
Architecting families of software systems with process algebras
ACM Transactions on Software Engineering and Methodology (TOSEM)
Architectural Styles, Design Patterns, and Objects
IEEE Software
Describing Software Architecture Styles Using Graph Grammars
IEEE Transactions on Software Engineering
Architecture-driven verification of concurrent systems
Nordic Journal of Computing
Static analysis of real-time component-based systems configurations
Science of Computer Programming - Special issue on coordination languages and architectures
A Formal Architectural Model for Logical Agent Mobility
IEEE Transactions on Software Engineering
Static Analysis of Real-Time Component-Based Systems Configurations
COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
MobiS: A Specification Language for Mobile Systems
COORDINATION '99 Proceedings of the Third 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
Performance of Client/Server Systems
Performance Evaluation: Origins and Directions
An Overview of Souk Nets: A Component-Based Paradigm for Data Source Integration
DBPL '99 Revised Papers from the 7th International Workshop on Database Programming Languages: Research Issues in Structured and Semistructured Database Programming
Issues in Analyzing the Behavior of Event Dispatching Systems
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
A Case Study in Architectural Modelling: The AEGIS System
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
Relating CHAM Descriptions of Software Architectures
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
Performance Evaluation of a Software Architecture: A Case Study
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
A Coordination Model to Specify Systems Including Mobile Agents
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
Using Software Architecture for Code Testing
IEEE Transactions on Software Engineering
ACM SIGSOFT Software Engineering Notes
Formally analyzing software architectural specifications using SAM
Journal of Systems and Software
Towards a knowledge-based approach to architectural adaptation management
WOSS '04 Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems
Architectural runtime configuration management in support of dependable self-adaptive software
WADS '05 Proceedings of the 2005 workshop on Architecting dependable systems
ACM SIGSOFT Software Engineering Notes
Specifying distributed multi-agent systems in chemical reaction metaphor
Applied Intelligence
π-Method: a model-driven formal method for architecture-centric software engineering
ACM SIGSOFT Software Engineering Notes
On relating functional specifications to architectural specifications: a case study
Science of Computer Programming
Analyzing architectural styles with alloy
Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis
Architectural issues in network-centric computing
ACM SIGSOFT Software Engineering Notes
A Methodology for Architectural Design of Concurrent and Distributed Software Systems
The Journal of Supercomputing
Moving architectural description from under the technology lamppost
Information and Software Technology
A Component-Based Systems Development Approach
Journal of Integrated Design & Process Science
Domains of concern in software architectures and architecture description languages
DSL'97 Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997
Architecture-driven modelling and analysis
SCS '06 Proceedings of the eleventh Australian workshop on Safety critical systems and software - Volume 69
Runtime software adaptation: framework, approaches, and styles
Companion of the 30th international conference on Software engineering
Search-based many-to-one component substitution
Journal of Software Maintenance and Evolution: Research and Practice - Search Based Software Engineering [SBSE]
The Chemical Reaction Model Recent Developments and Prospects
Software-Intensive Systems and New Computing Paradigms
Software architecture built from behavior models
ACM SIGSOFT Software Engineering Notes
A methodology for evaluating test coverage criteria of high levelPetri nets
Information and Software Technology
A logical basis for the specification of reconfigurable component-based systems
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
The role of event description in architecting dependable systems
Architecting dependable systems
Automated and unanticipated flexible component substitution
CBSE'07 Proceedings of the 10th international conference on Component-based software engineering
Software architecture and mobility: A roadmap
Journal of Systems and Software
A Generic Approach to Connector Architectures Part I: The General Framework
Fundamenta Informaticae
A Generic Approach to Connector Architectures Part II: Instantiation to Petri Nets and CSP
Fundamenta Informaticae
Analyzing architectural styles
Journal of Systems and Software
Towards a pervasive infrastructure for chemical-inspired self-organising services
SOAR'09 Proceedings of the First international conference on Self-organizing architectures
Synchronized architectures for adaptive systems
COMPSAC-W'05 Proceedings of the 29th annual international conference on Computer software and applications conference
Characteristics of multiple-component defects and architectural hotspots: a large system case study
Empirical Software Engineering
Handling dynamic behaviour in software architectures
EWSA'05 Proceedings of the 2nd European conference on Software Architecture
On refinement of software architectures
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
Dynamic reconfiguration and access to services in hierarchical component models
CBSE'06 Proceedings of the 9th international conference on Component-Based Software Engineering
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
Journal of Systems and Software
Hi-index | 0.00 |
We are exploring an approach to formally specifying and analyzing software architectures that is based on viewing software systems as chemicals whose reactions are controlled by explicitly stated rules. This powerful metaphor was devised in the domain of theoretical computer science by Ban\^ atre and Le Mtayer and then reformulated as the Chemical Abstract Machine, or CHAM, by Berry and Boudol. The CHAM formalism provides a framework for developing operational specifications that does not bias the described system toward any particular computational model. It also encourages the construction and use of modular specifications at different levels of detail. We illustrate the use of the CHAM for architectural description and analysis by applying it to two different architectures for a simple, but familiar, software system, the multiphase compiler.