 |
|
Related Communities:
|
 |
|
 |
A semantic transformation of the canonical information model into a formal specification langage for the refinement verification.
| Author(s): | Stupnikov S. A. |
| Created: | 2010/10/01 |
| Published: | Proc. of the 12th Russian Conference on Digital Libraries RCDL'2010. -- Kazan: Kazan Federal University, 2010. -- P. 383--391. |
| Abstract: | |
| The paper is devoted to the development of methods and tools achieving the semantic interoperability of heterogeneous information resources during the development of integrated information systems. A refinement of a system specification by the resources specifications is considered as a basic fact requiring a formal proof. A transformation of the SYNTHESIS language aimed at development of subject mediators for tasks solving over heterogeneous resources into AMN formal specification language supporting the refinement. Thus a possibility of refinement proving in the SYNTHESIS language with the help of the existing automatic/interactive provers is achieved. |
| Download: |
[ Adobe PDF ]
|
|
|
