8. Заключение

В статье изложен подход к композиционному проектированию информационных систем.. Это – новый подход, основанный на повторном использовании уже существующих компонентов, заключающийся в выявлении подходящих фрагментов существующих компонентов и их дальнейшей композиции, удовлетворяющей спецификациям требований разрабатываемой системы. Основанием метода является каноническая модель спецификации требований и компонентов, имеющая формальную интерпретацию; теория уточнения, позволяющая получать обоснованные заключения о возможности повторного использования компонентов; исчисление спецификаций, на основе которого реализуется композиционное конструирование систем из компонентов; онтологический подход, используемый для семантической интеграции контекстов. Благодаря используемым методам спецификации и поиска компонентов, композиционный метод является масштабируемым по числу накопленных компонентов, позволяет конструировать системы из компонентов различных видов – программных, информационных, процессных, являются доказательно правильным.

Представлена архитектура прототипа, в котором объединены средства поддержки традиционных методов ОАП со средствами поддержки нового метода композиционного проектирования. Прототип ориентирован на поддержку работы экспертов в процессе композиционного проектирования информационных систем.

Литература

1. Эдди С.Э. XML: справочник. Питер, 1999.

2. Object Management Group. CORBA 2.3.1 /IIOP Specification. OMG document 9910-07, 1999.

3. Workflow Management Coalition. Workflow reference model. Workflow Management Coalition Standard, WfMC-TC-1003, 1994.

4. Фаулер М. и др. UML в кратком изложении. Применение стандартного языка объектного моделирования. Мир, 1999.

5. D. O. Briukhov, L. A. Kalinichenko. Component-Based Information Systems Development Tool Supporting the SYNTHESIS Design Method. Proc. of the East

European Symposium on "Advances in Databases and Information Systems", Poland, Springer, LNCS No.1475, 1998

6. 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

7. R.-J.Back, J. von Wright. Refinement Calculus: A systematic Introduction. Springer Verlag, 1998

8. Калиниченко Л.А.. СИНТЕЗ: язык определения, проектирования и

программирования интероперабельных сред неоднородных информационных ресурсов. Российская Академия Наук, Институт проблем информатики РАН, Москва, 1993

9. Abrial J.-R. B-Technology. Technical overview. BP International Ltd., 1992, 73 p.

10. Abrial J.-R. The B Book: assigning programs to meaning. Cambridge University Press, 1996

11. Kalinichenko L.A. Workflow Reuse and Semantic Interoperation Issues. Advances in workflow management systems and interoperability. A.Dogac, L.Kalinichenko, M.T. Ozsu, A.Sheth (Eds.),. NATO Advanced Study Institute, Istanbul, August 1997

12. Kalinichenko L.A. Composition of type specifications exhibiting the interactive behaviour. Proc. of EDBT'98 Workshop on Workflow Management Systems, March 1998, Valencia

13. Kalinichenko L. A. Compositional Specification Calculus for Information Systems Development. Proc. of the East-West Symposium on Advances in Databases and

Information Systems (ADBIS'99), Maribor, Slovenia, September 1999, Springer

Verlag, LNCS, 1999

14. D. O. Briukhov, S. S. Shumilov. Ontology Specification and Integration Facilities in a Semantic Interoperation Framework. Proc. of the International Workshop ADBIS'95, Springer, 1995

15. EIA Interim Standard: CDIF-Framework for Modeling and Extensibility. EIA, 1991.

16. PLATINUM Paradigm Plus Reference Manual. PLATINUM technology, 1996.

17. Salton G. Automatic Information Organization and Retrieval, McGraw-Hill, 1968.

18. P. Fankhauser, E. J. Neuhold. Knowledge Based Integration of Heterogeneous Databases. Integrated Publication and Information Systems Institute (GMD-IPSI), Darmstadt, 1993.

19. W. Klass, P. Fankhauser, P. Muth, T.Rakow, E.J. Neuhold. Database Integration using the Open Object-Oriented Database System VODAK, In Object-Oriented Multibase Systems, A Solution for Advanced Applications, Chap. 14, Prentice Hall, 1996.

20. Kosky A. Transforming Databases with Recursive Data Structures. PhD thesis, Department of Computer and Information Science, University of Pennsylvania, November 1995.

21. Ait-Kaci H. An algebraic semantic approach to the effective resolution of types equations. Theoretical computer science, 45, 1986, 293 – 351

22. 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

23. Zaremski A.M., Wing J.M. Specification matching of software components. ACM Transactions on Software Engineering and Methodology, v. 6, N 4, October 1997

24. Liskov B., Wing J.M. Specifications and their use in defining subtypes. Proc. of OOPSLA 1993, ACM SIGPLAN Notices, vol. 28, N 10, October 1993