A Set-Theoretic Framework for Component Composition

• Autorzy: Moschoyiannis S. , Shields M.W.
• Języki publikacji: EN

Abstrakty

EN

Modern software systems become increasingly complex as they are expected to support a large variety of different functions. We need to create more software in a shorter time, and without compromising the quality of the software. In order to build such systems efficiently, a compositional approach is required. This entails some formal technique for analysis and reasoning on local component properties as well as on properties of the composite. In this paper, we present a mathematical framework for the composition of software components, at a semantic modelling level. We describe a mathematical concept of a component and identify properties that ensure its potential behaviour can be captured. Based on that, we give a formal definition of composition and examine its effect on the individual components. We argue that properties of the individual components can, under certain conditions, be preserved in the composite. The proposed framework can be used for guiding the composition of components as it advocates formal reasoning about the composite before the actual composition takes place.

Słowa kluczowe

EN

components; composition; associativity; normality; order theory; vector semantics

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2004
• Tom: Vol. 59, nr 4
• Strony: 373--396
• Opis fizyczny: Bibliogr. 32 poz.

Twórcy

autor

Moschoyiannis S.

• Department of Computer Science, University of Surrey, Guildford, Surrey GU2 7XH, England

autor

Shields M.W.

• Department of Computer Science, University of Surrey, Guildford, Surrey GU2 7XH, England

Bibliografia

• [11 de Alfaro. L., Henzinger. Т.: Interface Automata. Proceedings of Foundations of Software Engineering (FSE’OIK ACM Press, 2001.
• [2] Bednarczyk, M. A.: Categories of Asynchronous Systems, Ph.D. Thesis, University of Sussex. 1988.
• [3] Braccialli. A., Brogi, A., Turini. F.: Coordinating Interaction Patterns, Proceedings of Symposium on Applied Computing (SAC'OI), ACM Press, 2001.
• [4] Broy. M.: Functional Specification of Time Sensitive Communicating Systems, ACM Transactions on Software Engineering, 2(1), 1993, 1-46.
• [5] Broy, M.: Algebraic Specification of Reactive Systems. Theoretical Computer Science. 239(2000), 2000, 3-40.
• [6] Cheesman, J.. Daniels, J.: UML Components, Component Software Series, Addison Wesley, 2001.
• [7] Davey, B. A., Priestley, H. A.: Introduction to Lattices and Order, Cambridge Mathematical Textbooks, Cambridge University Press, 1990.
• [8] D'Souza, D. F., Wills, A. C.: Objects, Components and Frameworks with UML: The Catalysis Approach, Object Technology Series. Addison Wesley. 1999.
• [9] Hoare, C. A. R.: Communicating Sequential Processes. Prentice Hall, 1985.
• [10] Küster-Filipe, J.: Fundamentals of a Module Logic for Distributed Object Systems, Journal of Functional and Logic Programming. 2000(3), March 2000.
• [11] Küster-Filipe, J.: A Logic-Based Formalization for Component Specification, Journal of Object Technology, special issue: TOOLS USA 2002 Proceedings, 1(3), 2002, 231-248.
• [12] Küster-Filipe, J., Lau, K. K., Ornaghi, M., Taguchi. K., Yatsu. H., Wills. A. C.: Formal Specification of Catalysis Frameworks, Proceedings of the 7th Asia-Pacific Software Engineering Conference, IEEE Computer Society Press, 2000.
• [13] Lau. K. K.: Component Certification and System Prediction: Is there a Role for Formality?, Proceedings of ICSE'01, 4th International Workshop on Component-Based Software Engineering, Toronto, Canada, 2001.
• [14] Mazurkiewicz, A.: Basic Notions of Trace Theory, Linear Time. Branching Time and Partial Orders in Logics and Models for Concurrency (de Bakker. de Roever. Rozenberg, Eds.), 354, Springer Verlag, 1988.
• [15] Mellor, S.. Balcer, M.: Executable UML. Object Technology Series, Addison Wesley, 2002.
• [16] Meyer, B.: Object-Oriented Software Construction. Prentice Hall, 1997.
• [17] Milner, A. J. R.: Calculus for Communicating Systems, 92, Springer Verlag. 1980.
• [18] Moschoyiannis, S., Shields. M. W.: Component-Based Design: Towards Guided Composition, Proceedings of Application of Concurrency to System Design (ACSD’03), IEEE Computer Society. 2003.
• [19] Moschoyiannis, S., Shields, M. W., Küster-Filipe. J.: Formalising Well-Behaved Components, Proceedings of FME 2003 satellite workshop on Formal Aspects of Component Software (FACS), UNU/IIST Report No. 284,2003.
• [20] Nielsen. M., Plotkin. G., Winskel. G.: Petri Nets. Event Structures and Domains, part 1, Theoretical Computer Science, 13. 1981,85-108.
• [21] OMG: UML 2.0 Superstructure Draft Adopted Specification. OMG document ad/03-01-07, available from http://www.omg.org, August 2003.
• [22] OMG: Unified Modelling Language Specification, version 1.5, OMG document formal/01-03-01, available from http://www.omg.org. March 2003.
• [23] van Ommering, R., van der Linden. F., Kramer, J., Magee. J.: The Koala Component Model for Consumer Electronics. IEEE Transactions on Computers, 33(3), 2000. 78-85.
• [24] Shields, M. W.: Adequate Path Expressions. Proceedings of Semantics for Concurrent Computation. 70, Springer Verlag, 1979.
• [25] Shields. M. W.: Concurrent Machines, Computer Journal. 28. 1985. 449-465.
• [26] Shields, M. W.: Behavioural Presentations. Linear Time, Branching Time and Partial Orders in Logics and Models for Concurrency (de Bakker. de Roever. Rozenberg, Eds.), 354, Springer Verlag. 1988.
• [27] Shields, M. W.: Semantics of Parallelism. Springer-Verlag London. 1997.
• [28] Shields. M. W., Pitt, D.: Component-Based Systems /: Theory of a Single Component, Technical Report SCOMP-TC-0l-0l. Department of Computing, University of Surrey, 2001.
• [29] Shields, M. W., Pitt, D.: Component-Based Systems II: Composition of Components, Technical Report SCOMP-TC-03-01, Department of Computing, University of Surrey, 2001.
• [30] Szyperski, C.: Component Software: Beyond Object-Oriented Programming. Addison Wesley, 1997.
• [31] Valecillo, A., Vasconcelos. Т., Ravara, A.: Typing the Behaviour of Objects and Components using Session Types, Fundamenta Informaticae, XX(2002), 2002. 1-15.
• [32] Winskel. G., Nielsen. M.: Models for Concurrency, in: Handbook of Logic in Computer Science, vol. 4. Semantic Modelling (S. Abramsky. D. Gabbay. T. Maibaum, Eds.). Oxford Science Publications, 1995. 1-148.