Abstract
The paper presents a novel approach for type specification manipulations as the basic operations intended to develop various forms of compositions in information systems. Among them are interoperable compositions of pre-existing components formed during the information systems design, heterogeneous multidatabase compositions, database schema and ontology integration, compositions of workflows, compositions of the type of the result of algebraic operations over typed data collections. In the paper the compositional specification calculus is presented in context of one of such application – the compositional information systems development. Principle of decomposition of type specifications into a collection of type reducts serving as units of reuse and composition is formulated. An operation of taking most common reduct for component and specification of requirements types is defined. The refinement property of the common reduct leads to a justifiable identification of reusable component fragments. Type lattice and algebra based on partially ordered set of complete type specifications and the type commonality principle are defined. Type specification composition operations of the algebra are based on identification of common information in the composed specifications. Paper presents a combination of semi-formal and formal modeling facilities to perform provably correct operations of common reduct identification, type specification composition and reuse.
Keywords
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Abrial J.-R. The B Book: assigning programs to meaning, Cambridge University Press, 1996
Abrial J.-R. B-Technology. Technical overview. BP International Ltd., 1992, 73 p.
Ait-Kaci H. An algebraic semantic approach to the effective resolution of types equations. Theoretical computer science, 45, 1986, 293–351
Briukhov D.O., Shumilov S.S. Ontology Specification and Integration Facilities in a Semantic Interoperation Framework, In Proc. of the International Workshop ADBIS’95, Springer, 1995
Briukhov D., Kalinichenko L. Component-based information systems development tool supporting the SYNTHESIS design method. Springer LNCS, Proceedings of the East European Symposium on ”Advances in Databases and Information Systems”, September 1998, Poland
Jezequel J.-M., Meyer B. Design by Contract: The Lessons of Ariane, http://www.tools.com/doc/manuals/technology/contract/ariane/index.html
Kalinichenko L.A. Emerging semantic-based interoperable information system technology. In Proceedings of the International Conference Computers as our better partners, Tokyo, March 1994, World Scientific
Kalinichenko L.A. SYNTHESIS: the language for desription, design and programming of the heterogeneous interoperable information resource environment. Institute for Problems of Informatics, Russian Academy of Sciences, Moscow, 1995
Kalinichenko L.A. Workflow Reuse and Semantic Interoperation Issues. In Advances in workflow management systems and interoperability. A. Dogac, L. Kalinichenko, M.T. Ozsu, A. Sheth (Eds.). NATO Advanced Study Institute, Istanbul, August 1997
Kalinichenko L.A. Method for data models integration in the common paradigm. In Proceedings of the First East European Workshop’ Advances in Databases and Information Systems’, St. Petersburg, September 1997
Kalinichenko L.A. Composition of type specifications exhibiting the interactive behaviour. In Proceedings of EDBT’98 Workshop on Workflow Management Systems, March 1998, Valencia
Liskov B., Wing J.M. Specifications and their use in defining subtypes. Proceedings of OOPSLA 1993, ACM SIGPLAN Notices, vol. 28,N 10, October 1993
Lumpe M. A Pi-Calculus Based Approach to Software Composition, Ph.D. thesis, University of Bern, Institute of Computer Science and Applied Mathematics, January 1999
Mili R., Mili A., Mittermeir R. Storing and retrieving software components: a refinement based systems. IEEE Transactions on Software Engineering, v. 23,N 7, July 1997
Ohori A. Semantics of types for database objects. Theoretical Computer Science, 76, 1990, p. 53–91
Peters R.J. TIGUKAT: a uniform behavioral objectbase management system. Technical report TR 94-06, April 1994, University of Alberta
Zaremski A.M., Wing J.M. Specification matching of software components. ACM Transactions on Software Engineering and Methodology, v. 6,N 4, October 1997
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kalinichenko, L. (1999). Compositional Specification Calculus for Information Systems Development. In: Eder, J., Rozman, I., Welzer, T. (eds) Advances in Databases and Information Systems. ADBIS 1999. Lecture Notes in Computer Science, vol 1691. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48252-0_24
Download citation
DOI: https://doi.org/10.1007/3-540-48252-0_24
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66485-7
Online ISBN: 978-3-540-48252-9
eBook Packages: Springer Book Archive