Luca Pazzi
ABSTRACT
One of the main challenges towards a software-based theory of control consists in finding an effective method for decomposing monolithic event-based interactive applications into modules. The task is challenging since this requires in turn to decompose both the invariants to be maintained as well as the main control loop. We present a formalisms for gathering portion of behaviour by special units, called holons, which are both parts and wholes and which can be arranged into part-whole taxonomies. Each holon hosts a state machine and embodies different invariants which give semantics to its states. Control is achieved by both taking autonomously internal actions by the state machine in order to maintain such state invariants, as well as by having the the state machine move from one invariant to another by actions driven by external events. Such an approach requires to introduce non trivial solutions in order to allow communication among such modules, mainly by implementing control loops among couple of holons. The proposed model consists essentially in shaping each module in order to be both a controller and a controllable entity. Each module may control a definite number of modules and is controlled by a single module. Control is exercised by discrete events which travel through a communication medium. Control actions as well as feedback events travel thus from a module to the another, thus achieving local control loops which, taken globally, decompose the main control loop.
- D. Coleman, P. Arnold, S. Bodoff, C. Dollin, H. Gilchrist, F. Hayes, and P. Jeremaes. Object-Oriented Development: the Fusion Method. Prentice-Hall, Inc., Upper Saddle River, NJ, USA, 1994. Google Scholar
Digital Library
- G. Delaval, S. Mak-Karé Gueye, E. Rutten, and N. De Palma. Modular Coordination of Multiple Autonomic Managers. In 17th International ACM Sigsoft Symposium on Component-Based Software Engineering (CBSE 2014), page 291, Lille, France, June 2014. Google ScholarDigital Library
- A. Koestler. Beyond atomism and holism - the concept of the holon. Perspectives in Biology and Medicine, 13(2):131–154, 1970.Google ScholarCross Ref
- A. Koestler and J. R. Smythies. Beyond reductionism; new perspectives in the life sciences. Macmillan New York, 1970.Google Scholar
- C. Ma and W. Wonham. Nonblocking supervisory control of state tree structures. Automatic Control, IEEE Transactions on, 51(5):782–793, May 2006.Google Scholar
- L. Pazzi. Modeling systemic behavior by state-based holonic modular units. In J. Dingel, W. Schulte, I. Ramos, S. Abrah ´ No, and E. Insfran, editors, Model-Driven Engineering Languages and Systems, volume 8767 of Lecture Notes in Computer Science, pages 99–115. Springer International Publishing, 2014.Google Scholar
- L. Pazzi and M. Pradelli. Part-whole hierarchical modularization of fault-tolerant and goal-based autonomic systems. In Dependable Control of Discrete Systems, 2009. DCDS ’09. 2nd IFAC Symposium on, pages 175–180, 2009.Google ScholarCross Ref
- L. Pazzi and M. Pradelli. Modularity and part-whole compositionality for computing the state semantics of statecharts. In Application of Concurrency to System Design (ACSD), 2012 12th International Conference on, pages 193 –203, june 2012. Google ScholarDigital Library
- P. J. Ramadge and W. M. Wonham. Modular feedback logic for discrete event systems. SIAM Journal on Control and Optimization, 25(5):1202–1218, 1987. Google ScholarDigital Library
- P. J. Ramadge and W. M. Wonham. Supervisory control of a class of discrete event processes. SIAM Journal on Control and Optimization, 25(1):206–230, 1987. Google ScholarDigital Library
- J. Rumbaugh, I. Jacobson, and G. Booch. The Unified Modeling Language Reference Manual. Addison-Wesley, 1998. Google ScholarDigital Library
- M. Salehie and L. Tahvildari. Self-adaptive software: Landscape and research challenges. ACM Trans. Auton. Adapt. Syst., 4(2):14:1–14:42, May 2009. Google ScholarDigital Library
- J. C. Willems. The behavioral approach to open and interconnected systems. Control Systems Magazine, pages 46–99, 2007.Google ScholarCross Ref
Index Terms
- Control theory meets software engineering: the holonic perspective
Recommendations
Multiagent systems without agents — mirror-holons for the compilation and enactment of communication structures
SocionicsIt is widely accepted in Distributed Artificial Intelligence that a crucial property of artificial agents is their autonomy. Whereas agent autonomy enables features of agent-based applications like flexibility, robustness and emergence of novel ...
Engineering of holonic multi agent intelligent forest fire monitoring system
In this paper we describe holonic multi agent architecture of iForestFire Intelligent Forest Fire Monitoring System through phases and activities of the holonic software engineering process. iForestFire is a web-based information system used in all ...
Holonic control metamodel
Current production leanings, such as high product variability, demand advanced manufacturing systems (MSs). An example is the holonic MS (HMS) in which entities (e.g., resources and products) are "smart." These entities are called holons (HLs), and ...
Comments