Model checking and modular verification
ACM Transactions on Programming Languages and Systems (TOPLAS)
Model checking and abstraction
ACM Transactions on Programming Languages and Systems (TOPLAS)
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
Architectural mismatch or why it's hard to build systems out of existing parts
Proceedings of the 17th international conference on Software engineering
Experience assessing an architectural approach to large-scale systematic reuse
Proceedings of the 18th international conference on Software engineering
Software architecture: perspectives on an emerging discipline
Software architecture: perspectives on an emerging discipline
Completeness and Consistency in Hierarchical State-Based Requirements
IEEE Transactions on Software Engineering - Special issue: best papers of the 17th International Conference on Software Engineering (ICSE-17)
Dynamic structure in software architectures
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Conceptual modelling
Using formal methods to reason about architectural standards
ICSE '97 Proceedings of the 19th international conference on Software engineering
A formal basis for architectural connection
ACM Transactions on Software Engineering and Methodology (TOSEM)
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
UML distilled: applying the standard object modeling language
UML distilled: applying the standard object modeling language
Modern languages and Microsoft's component object model
Communications of the ACM
Concurrency: state models & Java programs
Concurrency: state models & Java programs
Designing Applications with MSMQ: Message Queuing for Developers
Designing Applications with MSMQ: Message Queuing for Developers
An Event-Based Architecture Definition Language
IEEE Transactions on Software Engineering
Specifying Distributed Software Architectures
Proceedings of the 5th European Software Engineering Conference
Component-Based Systems as an Aid to Design Validation
ASE '99 Proceedings of the 14th IEEE international conference on Automated software engineering
AML: An Architecture Meta-Language
ASE '99 Proceedings of the 14th IEEE international conference on Automated software engineering
System Design Validation Using Formal Models
RSP '99 Proceedings of the Tenth IEEE International Workshop on Rapid System Prototyping
POSD-a notation for presenting complex systems of processes
ICECCS '95 Proceedings of the 1st International Conference on Engineering of Complex Computer Systems
ICSR '98 Proceedings of the 5th International Conference on Software Reuse
Model checking object petri nets in prolog
PPDP '04 Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming
Document flow model: a formal notation for modelling asynchronous web services composition
OTM'05 Proceedings of the 2005 OTM Confederated international conference on On the Move to Meaningful Internet Systems
| Hi-index | 0.01 |
A dynamic system is one that changes its configuration as it runs. It is a system into which we can drop new components that then cooperate with the existing ones. We are concerned with formally defining architectures for such systems and with realistically validating designs for applications that run on those architectures. We describe a generic architecture based on the familiar registry services of CORBA, DCOM and Jini. We illustrate this architecture by formally describing a simple point-of-sale system built according to this architecture. We then look at the sorts of global properties that a designer of applications would wish a robust system to have and discuss variations on the architecture which make validation of applications more practical.