Communicating sequential processes
Communicating sequential processes
Communication and concurrency
Selected papers of the Second Workshop on Concurrency and compositionality
Selected papers of the 3rd workshop on Concurrency and compositionality
Correctness and composition of software architectures
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
Correct Architecture Refinement
IEEE Transactions on Software Engineering - Special issue on software architecture
IEEE Transactions on Software Engineering - Special issue on software architecture
Summary of the Dagstuhl workshop on software architecture
ACM SIGSOFT Software Engineering Notes
A Parametric Approach to Localities
ICALP '92 Proceedings of the 19th International Colloquium on Automata, Languages and Programming
Refining Interfaces of Communicating Systems
TAPSOFT '91 Proceedings of the International Joint Conference on Theory and Practice of Software Development, Volume 2: Advances in Distributed Computing (ADC) and Colloquium on Combining Paradigms for Software Developmemnt (CCPSD)
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
A simple description language for dynamic architectures
ISAW '98 Proceedings of the third international workshop on Software architecture
Static checking of system behaviors using derived component assumptions
ACM Transactions on Software Engineering and Methodology (TOSEM)
Hi-index | 0.00 |
Software architectures, chemical abstract machine, specification, refinement. In this paper we propose an approach to compare descriptions of software architectures based on the CHAM formalism. The need to compare descriptions of the same system at different level of abstraction often arises typically when the software practice uses a stepwise refinement approach. Differently from other approaches presented in the literature our framework allows for expressing correct refinement both of the static structure and of the dynamic behaviour of an architecture. Statically we rely on a suitable definition of partial morphism between the signatures of the two architectures. Dynamically we propose a notion of structure preserving simulation which allows the behaviors of the two CHAM descriptions to be (preorderly) related. In both definitions an important role is played by the membrane construct which allows for expressing non-functional constraints on the architecture to be refined. The main idea is to use the membranes to denote basic software components of the architecture that can be further decomposed during a refinement process but that cannot be destroyed even if the behaviour of the overall system is preserved. One point in favour of our approach is that we do not constrain too much the further development since we only require the membrane structure to be preserved.