Functional programming, formal specification, and rapid prototyping
IEEE Transactions on Software Engineering
Elements of interaction: Turing award lecture
Communications of the ACM
A language with distributed scope
POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Experience assessing an architectural approach to large-scale systematic reuse
Proceedings of the 18th international conference on Software engineering
Software—Practice & Experience - Special issue on object-oriented programming and technology
Proceedings of the fifth international World Wide Web conference on Computer networks and ISDN systems
Dynamic structure in software architectures
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Using formal methods to reason about architectural standards
ICSE '97 Proceedings of the 19th international conference on Software engineering
Specifying Distributed Software Architectures
Proceedings of the 5th European Software Engineering Conference
How Did Software Get So Reliable Without Proof?
FME '96 Proceedings of the Third International Symposium of Formal Methods Europe on Industrial Benefit and Advances in Formal Methods
POSD-a notation for presenting complex systems of processes
ICECCS '95 Proceedings of the 1st International Conference on Engineering of Complex Computer Systems
Evolvable real-time C3 systems
ICECCS '95 Proceedings of the 1st International Conference on Engineering of Complex Computer Systems
Asset mapping: developing inter-enterprise solutions from legacy components
Systems engineering for business process change
RICES: reasoning about information consistency across enterprise solutions
Systems engineering for business process change
Modelling architectures for dynamic systems
Programming methodology
Checking of models built using a graphically based formal modelling language
Journal of Systems and Software - Special issue: Computer software & applications
Journal of Systems and Software - Special issue: Computer software & applications
Web services and flexible business processes: towards the adaptive enterprise
Information and Management
Consistency Checking for Component Reuse in Open Systems
ICSR '09 Proceedings of the 11th International Conference on Software Reuse: Formal Foundations of Reuse and Domain Engineering
Web services and flexible business processes: towards the adaptive enterprise
Information and Management
State-based modeling method for multiagent conversation protocols and decision activities
NODe'02 Proceedings of the NODe 2002 agent-related conference on Agent technologies, infrastructures, tools, and applications for E-services
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.00 |
A dynamic system is one which changes its configuration as it runs. It is a system into which we can drop new components which then cooperate with the existing ones. Such systems are necessarily built from reusable components, since as soon as the system is reconfigured to use some new components, those new components must reuse the existing, still running, ones.Design of reusable components in this context is an important problem. We suggest three laws which such reusable components might be required to obey, if dynamic systems are to be effective and to be economically built. We illustrate our conjecture that the laws are effective by describing a generic architecture based on the familiar registry services of COM/OLE or CORBA and by describing a simple point-of-sale system built according to this architecture. We conclude, of course, that some interesting open questions remain. But we suggest that an approach to reuse based on refining the three laws is a promising direction for system architecture to take.