Related Communities:

• Moscow ACM SIGMOD Chapter
• ADBIS
• RCDL
• RVO
• Ontological Modeling

Mapping of Specification Canonical Model to Formal Notation for Refining Specifications Modelling.

Author(s):	Stupnikov S.A.
Created:	2002/04/11
Published:	Proc. of the XXIV Conference of Young Scientists, Faculty of Mechanics and Mathematics, M. V. Lomonosov Moscow State University. -- Moscow: Center of Applied Research, Faculty of Mechanics and Mathematics, MSU. -- V. II. -- P. 169--172. (In Russian)
Abstract:
В данной работе излагаются принципы отображения СИНТЕЗа -- языка проектирования интероперабельных сред неоднородных информационных ресурсов -- в Нотацию Абстрактных Машин (Abstract Machine Notation, AMN). Язык СИНТЕЗ используется в проекте в качестве унифицированной канонической модели спецификаций. Язык обладает широкими возможностями представления структурированных и слабоструктурированных данных -- на основе спецификаций типов, классов и т.д., включает средства представления логических формул многосортного объектного исчисления, используемые, в частности, для спецификации функций и инвариантов типов. Для того, чтобы формализовать в языке основополагающее понятие композиционного проектирования -- уточнение типов, необходимо сообщить языку формальную семантику. В качестве такой семантики используется AMN (формальный язык спецификаций, основанный на логике первого порядка и теории множеств), поскольку для этого языка существует технология (B-technology) и программные средства, позволяющие формализовать и доказывать факт уточнения, т.е. AMN выступает в качестве формальной модели для канонических уточняющих спецификаций. Цель доклада состоит в изложении принципов отображения типов, классов и формул языка СИНТЕЗ в AMN.
Download:	[ PostScript ]