Abstract
We present an approach to component inheritance and reuse which closes the gap between architectural design and process-oriented approaches. To apply inheritance checks in design and verification of a system, one should consider an inheritance relation as a property of the system and specify it as an inheritance constraint. To specify the inheritance constraints we offer a logic of behavioural inheritance. In a UML profile with the process tree semantics we show how to use this logic for architectural design and for verification with respect to the specified inheritance constraint.
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
Medvidovic, N., Taylor, R.: A Classification and Comparison Framework for Software Architecture Description Languages. IEEE Transaction on Software Engineering 26 (2000)
D’Souza, D.F., Wills, A.C.: Objects, Components and Frameworks with UML. The CATALYSIS Approach. Addison-Wesley, Reading (1999)
Jonkers, H.B.M.: Interface-Centric Architecture Descriptions. In: Proceedings of WICSA, The Working IEEE/IFIP Conference on Software Architecture, pp. 113–124 (2001)
van Ommering, R., van der Linden, F., Kramer, J., Magee, J.: The Koala component model for consumer electronics software. IEEE Computer 11(3), 78–85 (2000)
Basten, T., van der Aalst, W.M.P.: Inheritance of behaviour. The Journal of Logic and Algebraic Programming 46, 47–145 (2001)
Clarke Jr., E.M., Grumberg, O., Peled, D.A.: Model Checking, Cambridge (1999)
Harel, D., Kupferman, O.: On Object Systems and Behavioural Inheritance. IEEE Transactions On Software Engireering 28, 889–903 (2002)
OMG: Unified Modeling Language Specification v.1.5 (2003), http://www.omg.org/technology/documents/formal/uml.htm
Baeten, J.C.M., Weijland, W.P.: Process Algebra. Cambridge University Press, Cambridge (1990)
Alur, R., Courcoubetis, C., Dill, D.L.: Model-Checking in Dense Real-Time. Information and Computation 104(1), 2–34 (1993)
Clark, T., Evans, A., Kent, S., Brodsky, S., Cock, S.: A Feasibility Study in Rearchitechtoring UML as a Family of Languages using a Precise OO Meta-Modeling Approach (2000)
OMG: Requirements for UML profiles, OMG document ad99-12-32. (1999)
Roubtsova, E.E., Roubtsov, S.A.: Behavioural Inheritance in the UML to Model Software Product Lines. In: Bosch, J. (ed.) Accepted for Elsevier journal “Science of Computer Programming” (2004)
OMG: UML2 (2003), http://www.omg.org/uml/
Roubtsov, S.A., Roubtsova, E.E., Abrahamsson, P.: Evolutionary product line modelling. In: Proc. International Workshop on Evolution of Large-scale Industrial Software Applications (ELISA), Amsterdam, The Netherlands, pp. 13–24 (2003)
Manna, Z., Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems. V.1. Specification. Springer, Heidelberg (1992)
Roubtsova, E.E., Roubtsov, S.A.: UML-based Tool for Constructing Component Systems via Component Behaviour Inheritance. In: Erts, T., Fokkink, W. (eds.) ENTCS, vol. 80 (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Roubtsova, E.E., Roubtsov, S.A. (2004). Constraints of Behavioural Inheritance. In: Oquendo, F., Warboys, B.C., Morrison, R. (eds) Software Architecture. EWSA 2004. Lecture Notes in Computer Science, vol 3047. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24769-2_9
Download citation
DOI: https://doi.org/10.1007/978-3-540-24769-2_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-22000-8
Online ISBN: 978-3-540-24769-2
eBook Packages: Springer Book Archive