Abstract
This paper presents a novel reflective approach to support evolution of software architecture. Based on the approach, Pi calculus model was established. And what’ more, through case study, the evolution process of software architecture was formalized by Pi calculus description.
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.
Similar content being viewed by others
References
Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes. Information and Computation 100(1), 1–40 (1992)
Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes. Information and Computation 100(1), 41–77 (1992)
Milner, R.: Communicating and Mobile Systems: The Pi Calculus. Cambridge University Press (1999)
Milner, R.: The polyadic-calculus: a tutorial. Logic and Algebra of Specification 94, 91–180 (1993)
Sangiorgi, D.: From π-Calculus to Higher-Order π-Calculus and Back. In: Gaudel, M.-C., Jouannaud, J.-P. (eds.) CAAP 1993, FASE 1993, and TAPSOFT 1993. LNCS, vol. 668, pp. 151–166. Springer, Heidelberg (1993)
Sangiorgi, D., Walker, D.: The π-calculus: A Theory of Mobile Processes. Cambridge University Press (2001)
Ruiz-garcia, J.C., Thevenod-fosse, P., Fare, J.C.: A Strategy for Testing MetaObject Protocols in Reflective Architectures. In: International Conference on Dependable Systems and Networks (2001)
Ruiz, J.C., Killijian, M.-O.: Reflective Fault Tolerant Systems from Experience to Challenges. IEEE Transactions on Computers 52(2) (February 2003)
Killijian, M.-O., Fabre, J.C.: Implementing a reflective fault-tolerance CORBA System. In: Proceedings of the 19th IEEE Symposium on Reliable Distributed Systems, Nuremberg, Germany, pp. 154–163 (October 2000)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag GmbH Berlin Heidelberg
About this chapter
Cite this chapter
Xiaojian, L., Ying, Z. (2012). An Approach to Support Evolution of Software Architecture and Its Formalization. In: Luo, J. (eds) Affective Computing and Intelligent Interaction. Advances in Intelligent and Soft Computing, vol 137. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-27866-2_46
Download citation
DOI: https://doi.org/10.1007/978-3-642-27866-2_46
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-27865-5
Online ISBN: 978-3-642-27866-2
eBook Packages: EngineeringEngineering (R0)