Component-based information systems development tool supporting the SYNTHESIS design method

  • Dmitry Briukhov
  • Leonid Kalinichenko
Regular Papers System Design
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1475)


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.


component-based information system development interoperable systems 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Abrial J.-R. The B Book: assigning programs to meaning, Cambridge University Press, 1996Google Scholar
  2. 2.
    Abrial J.-R. B-Technology. Technical overview. BP International Ltd., 1992Google Scholar
  3. 3.
    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 1996Google Scholar
  4. 4.
    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, 1995Google Scholar
  5. 5.
    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 1996Google Scholar
  6. 6.
    EIA Interim Standard: CDIF-Framework for Modeling and Extensibility. EIA, 1991Google Scholar
  7. 7.
    CORBA Component Imperatives. ORBOS/97-05-25. IBM Corporation, Netscape Communications Corporation, Oracle Corporation, Sunsoft, Inc.Google Scholar
  8. 8.
    M.Fowler UML Distilled, Addison-Wesley, 1997Google Scholar
  9. 9.
    Jacobson I., Griss M., Jonsson P., Software Reuse, ACM Press, 1997Google Scholar
  10. 10.
    Jezequel J.-M., Meyer B. Design by Contract: The Lessons of Ariane, Scholar
  11. 11.
    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 ScientificGoogle Scholar
  12. 12.
    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, 1995Google Scholar
  13. 13.
    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 1997Google Scholar
  14. 14.
    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 1997Google Scholar
  15. 15.
    Kalinichenko L.A. Component-based Development Infrastructure: A Systematic Approach OMG-DARPA-MCC Workshop on ”Compositional Software Architecture”, Monterey CA, January 6–8, 1998Google Scholar
  16. 16.
    Kalinichenko L.A. Composition of type specifications exhibiting the interactive behaviour. In Proceedings of EDBT’98 Workshop on Workflow Management Systems, March 1998, ValenciaGoogle Scholar
  17. 17.
    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., 1996Google Scholar
  18. 18.
    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 1997Google Scholar
  19. 19.
    ODP Trading Function — Part 1: Specification, ISO/IEC IS 13235-1, ITU/T Draft Rec X950-1, 1997Google Scholar
  20. 20.
    Paradigm Plus Reference Manual. Protosoft, 1997Google Scholar
  21. 21.
    Zaremski A.M., Wing J.M. Specification matching of software components. ACM Transactions on Software Engineering and Methodology, v. 6, N 4, October 1997Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1998

Authors and Affiliations

  • Dmitry Briukhov
    • 1
  • Leonid Kalinichenko
    • 1
  1. 1.Institute for Problems of InformaticsRussian Academy of SciencesMoscow

Personalised recommendations