Component Software: Beyond Object-Oriented Programming
Component Software: Beyond Object-Oriented Programming
Communication and Concurrency
Designing reactive systems: integration of abstraction techniques into a synthesis procedure
Journal of Systems and Software - Special issue on artificial and computational intelligence for decisions, control, and automation in engineering and industrial applications
A Survey of Petri Net Methods for Controlled Discrete EventSystems
Discrete Event Dynamic Systems
Supervisory Control of Distributed Systems: Conflict Resolution
Discrete Event Dynamic Systems
On the Computation of Observers in Discrete-Event Systems
Discrete Event Dynamic Systems
Composition for component-based modeling
Science of Computer Programming - Formal methods for components and objects pragmatic aspects and applications
Analyzing Compatibility of BPEL Processes
AICT-ICIW '06 Proceedings of the Advanced Int'l Conference on Telecommunications and Int'l Conference on Internet and Web Applications and Services
Introduction to Automata Theory, Languages, and Computation (3rd Edition)
Introduction to Automata Theory, Languages, and Computation (3rd Edition)
Introduction to Discrete Event Systems
Introduction to Discrete Event Systems
IEEE Transactions on Software Engineering
Analyzing interacting WS-BPEL processes using flexible model generation
Data & Knowledge Engineering
Compositional Verification for Component-Based Systems and Application
ATVA '08 Proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis
Control of Parameterized Discrete Event Systems
Discrete Event Dynamic Systems
A model of component-based programming
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
A software component model and its preliminary formalisation
FMCO'05 Proceedings of the 4th international conference on Formal Methods for Components and Objects
rCOS: theory and tool for component-based model driven development
FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
Distributed adaption of dining philosophers
FACS'10 Proceedings of the 7th international conference on Formal Aspects of Component Software
Using temporal logic for dynamic reconfigurations of components
FACS'10 Proceedings of the 7th international conference on Formal Aspects of Component Software
| Hi-index | 0.00 |
This paper investigates component-based software development in the perspective of systems theory. In the proposed systems-theoretic view, a complex system is organized hierarchically from horizontal and vertical aggregations of components, but more important is the explicit control at each level of the hierarchy. Control actions are then determined by controllers that enforce constraints imposed on components and their interaction, and thus reduce their degree of autonomy. Not only the system behavior is restrained but nonfunctional properties emerge at each level. The finer the exercised control, the richer emergent properties should be. Therefore, achieving nonfunctional properties, such as liveness, predictability, safety and security, corresponds to solving control problems. The supervisory control theory initiated in the early and mid eighties is a mathematical apparatus that helps to accomplish this task in a rigorous way.