Abstract
An approach intended to fill in the gap between the existing Object Analysis and Design (OAD) methods applying mostly top-down technique and the demand of the middleware architectures (OMG CORBA) for the information system development based on composition of pre-existing interoperating components is discussed. An overview of the SYNTHESIS method for component-based interoperable information systems design is presented. The heuristic procedure for the most common reduct construction for a pair of ontologically relevant type specifications is outlined. The refinement property of the common reduct leads to a justifiable identification of reusable component fragments. The process of design is based on such identification driven by ontologically relevant pairs of types. The common reducts discovered are composed further to construct specifications serving as concretizations of the required types. The structure and functions of the design tool supporting the SYNTHESIS method and a process of design under the tool are considered.
Preview
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
Berg K. and Kalinichenko L.A. Modeling facilities for the component-based software development method. In Proceedings of the Third International Workshop ADBIS’96, Moscow, September 1996
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.O. Interfacing of Object Analysis and Design Methods with the Method for Interoperable Information Systems Design, In Proceedings of the Third International Workshop ADBIS’96, Moscow, September 1996
EIA Interim Standard: CDIF-Framework for Modeling and Extensibility. EIA, 1991
CORBA Component Imperatives. ORBOS/97-05-25. IBM Corporation, Netscape Communications Corporation, Oracle Corporation, Sunsoft, Inc.
M.Fowler UML Distilled, Addison-Wesley, 1997
Jacobson I., Griss M., Jonsson P., Software Reuse, ACM Press, 1997
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. Component-based Development Infrastructure: A Systematic Approach OMG-DARPA-MCC Workshop on ”Compositional Software Architecture”, Monterey CA, January 6–8, 1998
Kalinichenko L.A. Composition of type specifications exhibiting the interactive behaviour. In Proceedings of EDBT’98 Workshop on Workflow Management Systems, March 1998, Valencia
Wolfgang Klas, Peter Fankhauser, Peter Muth, Thomas Rakow, Erich J. Neuhold. Database Integration using the Open Object-Oriented Database System VODAK Omran Bukhres, Ahmed K. Elmagarmid (Eds.): Object Oriented Multidatabase Systems: A Solution for Advanced Applications. Chapter 14. Prentice Hall, Englewood Cliffs, N.J., 1996
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
ODP Trading Function — Part 1: Specification, ISO/IEC IS 13235-1, ITU/T Draft Rec X950-1, 1997
Paradigm Plus Reference Manual. Protosoft, 1997
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
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Briukhov, D., Kalinichenko, L. (1998). Component-based information systems development tool supporting the SYNTHESIS design method. In: Litwin, W., Morzy, T., Vossen, G. (eds) Advances in Databases and Information Systems. ADBIS 1998. Lecture Notes in Computer Science, vol 1475. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0057743
Download citation
DOI: https://doi.org/10.1007/BFb0057743
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-64924-3
Online ISBN: 978-3-540-68309-4
eBook Packages: Springer Book Archive