Abstract
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.
The research described in this paper was supported in part by the Natural Sciences and Engineering Research Council of Canada (NSERC).
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Andova, S., Groenewegen, L.P.J., de Vink, E.P.: Distributed adaptation of dining philosophers. In: Pre-proceedings of 7th International Workshop on Formal Aspects of Component Software, Guimarães Portugal, pp. 101–119 (2010)
Barbeau, M., Kabanza, F., St-Denis, R.: A method for the synthesis of controllers to handle safety, liveness, and real-time constraints. IEEE Transactions on Automatic Control 43, 1543–1559 (1998)
Bensalem, S., Bozga, M., Sifakis, J., Nguyen, T.-H.: Compositional verification for component-based systems and application. In: Cha, S., Choi, J.-Y., Kim, M., Lee, I., Viswanathan, M. (eds.) ATVA 2008. LNCS, vol. 5311, pp. 64–79. Springer, Heidelberg (2008)
Bherer, H., Desharnais, J., St-Denis, R.: Control of parameterized discrete event systems. Discrete Event Dynamic Systems: Theory and Applications 19, 213–265 (2009)
Bruneton, E., Coupaye, T., Stefani, J.B.: The Fractal component model. OW2 Consortium technical report, version 2.0-3 (2004), http://Fractal.OW2.org
Broy, M.: A theory of system interaction: components, interfaces, and services. In: Goldin, D., Smolka, S.A., Wegner, P. (eds.) Interactive Computation: the New Paradigm, pp. 41–96. Springer, Heidelberg (2006)
Cassandras, C.G., Lafortune, S.: Introduction to Discrete Event Systems, 2nd edn. Springer, New York (2008)
Chen, X., He, J., Liu, Z., Zhan, N.: A model of component-based programming. In: Arbab, F., Sirjani, M. (eds.) FSEN 2007. LNCS, vol. 4767, pp. 191–206. Springer, Heidelberg (2007)
Côté, D.: Conception par composantes de contrôleurs d’usines modulaires utilisant la théorie du contrôle supervisé. Ph.D. thesis, Département d’informatique, Université de Sherbrooke, submitted (2011)
Dormoy, J., Kouchnarenko, O., Lanoix, A.: Using temporal logic for dynamic reconfigurations of components. In: Pre-proceedings of 7th International Workshop on Formal Aspects of Component Software, Guimarães Portugal, pp. 121–138 (2010)
Gössler, G., Sifakis, J.: Composition for component-based modeling. Science of Computer Programming 55, 161–183 (2005)
Holloway, L.E., Krogh, B.H., Giua, A.: A survey of Petri net methods for controlled discrete event systems. Discrete Event Dynamic Systems: Theory and Applications 7, 151–190 (1997)
Hopcroft, J.E., Motwani, R., Ullman, J.D.: Introduction to Automata Theory, Languages, and Computation, 3rd edn. Addison-Wesley, Boston (2006)
Kumar, R., Garg, V.K.: Modeling and Control of Logical Discrete Event Systems. Kluwer Academic Publishers, Boston (1995)
Liu, Z., Morisset, C., Stolz, V.: rCOS: Theory and Tool for Component-Based Model Driven Development. In: Arbab, F., Sirjani, M. (eds.) FSEN 2009. LNCS, vol. 5961, pp. 62–80. Springer, Heidelberg (2010)
Lau, K.-K., Ornaghi, M., Wang, Z.: A Software Component Model and Its Preliminary Formalisation. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2005. LNCS, vol. 4111, pp. 1–21. Springer, Heidelberg (2006)
Lau, K.-K., Wang, Z.: Software component models. IEEE Transactions on Software Engineering 33, 709–724 (2007)
Leduc, R.J., Brandin, B.A., Lawford, M., Wonham, W.M.: Hierarchical interface-based supervisory control—part I: serial case. IEEE Transactions on Automatic Control 50, 1322–1335 (2005)
Leduc, R.J., Lawford, M., Wonham, W.M.: Hierarchical interface-based supervisory control—part II: parallel case. IEEE Transactions on Automatic Control 50, 1336–1348 (2005)
Leveson, N.G.: Engineering a safer world: system safety for the 21st century (or systems thinking applied to safety). In: Aeronautics and Astronautics and Engineering Systems Division. MIT, Cambridge (2009)
Lohmann, N., Massuthe, P., Stahl, C., Weinberg, D.: Analyzing interacting WS-BPEL processes using flexible model generation. Data & Knowledge Engineering 64, 38–54 (2008)
Ma, C., Wonham, W.M.: Nonblocking supervisory control of state tree structures. IEEE Transactions on Automatic Control 51, 782–793 (2006)
Martens, A., Moser, S., Gerhardt, A., Funk, K.: Analyzing compatibility of BPEL processes. In: Proceedings of Advanced International Conference on Telecommunications and International Conference on Internet and Web Applications and Services (AICT/ICIW), Guadeloupe, French Caribbean, p. 147 (2006)
Milner, R.: Communication and Concurrency. Prentice Hall, New York (1989)
Pu, K.Q.: Modeling and control of discrete-event systems with hierarchical abstraction. Master thesis, Department of Electrical and Computer Engineering, University of Toronto (2000)
Ramadge, P.J., Wonham, W.M.: Control of discrete event systems. Proceedings of the IEEE 77, 81–98 (1989)
Santos, E.A.P., De Negri, V.J., Cury, J.E.R.: A computational model for supporting conceptual design of automatic systems. In: Proceedings of 13th International Conference on Engineering Design, Glasgow UK, pp. 517–524 (2001)
St-Denis, R.: Designing reactive systems: integration of abstraction techniques into a synthesis procedure. The Journal of Systems and Software 60, 103–112 (2002)
Szyperski, C., Gruntz, D., Murer, S.: Component Software — Beyond Object-Oriented Programming, 2nd edn. ACM Press and Addison-Wesley, New York (2002)
Wong, K.C.: Discrete-event control architecture: an algebraic approach. Ph.D. thesis, Department of Electrical Engineering, University of Toronto (1994)
Wong, K.C., Thistle, J.G., Malhamé, R.P., Hoang, H.-H.: Supervisory control of distributed systems: conflict resolution. Discrete Event Dynamic Systems: Theory and Applications 10, 131–186 (2000)
Wong, K.C., Wonham, W.M.: Hierarchical control of discrete-event systems. Discrete Event Dynamic Systems: Theory and Applications 6, 241–273 (1996)
Wong, K.C., Wonham, W.M.: On the computation of observers in discrete-event systems. Discrete Event Dynamic Systems: Theory and Applications 14, 55–107 (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Côté, D., Jiague, M.E., St-Denis, R. (2012). Systems-Theoretic View of Component-Based Software Development. In: Barbosa, L.S., Lumpe, M. (eds) Formal Aspects of Component Software. FACS 2010. Lecture Notes in Computer Science, vol 6921. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-27269-1_10
Download citation
DOI: https://doi.org/10.1007/978-3-642-27269-1_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-27268-4
Online ISBN: 978-3-642-27269-1
eBook Packages: Computer ScienceComputer Science (R0)