Abstract
In this paper we will present a formal technique for describing complex systems consisting a number of interacting components. To meet this, we will consider a mathematical model for a single component and specify abstract communication protocols of components by using a lightweight formal language Interface Automata. To model hierarchal design for hierarchal systems, beside the basic component’s model, we will present other components, called Nodes. A Node consists of a set of components interacting under the supervision of a Controller. A Controller is a set of interface automata that specify interaction protocol of components inside a Node. In addition, we will prove that each Node is equal to a component. Therefore, a Node can be composed of components which are in turn Nods. To address state space explosion problem in system verification, a Node will not be directly analyzed, Instead, we will analyze the Controller and prove its conformance.
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
Parnas, D.L.: Requirements documentation: Why a formal basis is essential. In: Fourth IEEE International Conference On Requirements Engineering (ICRE 2000), IEEE Computer Society Press, Los Alamitos (2000), available online at: http://web.cps.msu.edu/sens/temp/ICRE2000/parnas.pdf
Bernardo, M., Ciancarini, P., Donatiello, L.: Families of software systems with process algebras. ACM TOSEM 11, 386–426 (2002)
de Alfaro, L., Henzinger, T.: Interface automata. Foundation of Software Engineering, Softw. Eng. Notes 26, 109–120 (2001)
de Alfaro, L., Henzinger, T.: Interface-based design. In: Marktoberdorf Summer School, pp. 50–65. Kluwer, Dordrecht (2004)
DePrince, W., Hofmeister, C.: Enforcing a lips usage policy for corba components. In: New Waves in System Architecture. In: EUROMICRO Conf., pp. 53–60 (2003)
Plasil, F., Visnovsky, W.: Behaviour protocols for software components. IEEE TSE 28, 1056–1076 (2002)
Jin, Y., Lakos, C., Esser, R.: Modular consistency analysis of component-based designs. Journal of Research and Practice in Information Technology 36, 186–208 (2004)
Arnold, A.: Finite Transition Systems: Semantics of Communicating Processes. Prentice-Hall, Englewood Cliffs (1994)
Jin, Y.: Compositional Verification of Component-based Heterogeneous Systems. PhD thesis. In: The School of Computer Science University of Adelaide (2004)04)
Bures, T., Hnetynka, F.P.P.: Balancing advanced features in a hierarchical component model. In: Proceedings of SERA, Seattle, USA, pp. 40–48. IEEE CS, Los Alamitos (2006)
Khammaci, T., Smeda, A., Oussalah, M.: Mapping cosa software architecture concepts into uml 2.0. icis-comsar 0, 109–114 (2006)
Smeda, A., Khammaci, T., Oussalah, M.: Operational mechanisms for component-object based software architecture. In: Proceeding of Information and Communication Technologies: From Theory to Applications, vol. 19, pp. 591–592 (2004)
Magee, J., Dulay, N., Kramer, J.: A constructive development environment for parallel and distributed programs. In IEE/IOP/BCS Distributed Systems Engineering Journal 1 (1994)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Isazadeh, A., Karimpour, J., Isazadeh, H. (2007). A New Formalism for Describing Concurrent Systems. In: Thulasiraman, P., He, X., Xu, T.L., Denko, M.K., Thulasiram, R.K., Yang, L.T. (eds) Frontiers of High Performance Computing and Networking ISPA 2007 Workshops. ISPA 2007. Lecture Notes in Computer Science, vol 4743. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-74767-3_37
Download citation
DOI: https://doi.org/10.1007/978-3-540-74767-3_37
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-74766-6
Online ISBN: 978-3-540-74767-3
eBook Packages: Computer ScienceComputer Science (R0)