Methods and tools for equivalent data model mapping construction
EDBT '90 Proceedings of the 2nd international conference on extending database technology: Advances in Database Technology
A Discipline of Programming
Distributed and Parallel Databases
Component-Based Information Systems Development Tool Supporting the SYNTHESIS Design Method
ADBIS '98 Proceedings of the Second East European Symposium on Advances in Databases and Information Systems
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
Contributions for Modelling UML State-Charts in B
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
Data models transformation method based on axiomatic data model extension
VLDB '78 Proceedings of the fourth international conference on Very Large Data Bases - Volume 4
B#: toward a synthesis between Z and B
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
Method for data models integration in the common paradigm
ADBIS'97 Proceedings of the First East-European conference on Advances in Databases and Information systems
ADBIS'12 Proceedings of the 16th East European conference on Advances in Databases and Information Systems
Hi-index | 0.00 |
The current period of IT development is characterized by an explosive growth of diverse information representation languages. Applying integration and composition of heterogeneous information components it is required to develop the canonical information model serving for adequate expression of semantics of various information models used in the environment encompassing required heterogeneous components. Basic principles of the canonical model synthesis include fixing of its kernel, constructing the kernel extensions for each specific information model of the environment so that this extension together with the kernel could be refined by this information model, and forming the canonical model as a union of all such extensions. Previously these principles have been successfully applied to the synthesis of structural and object canonical models. This paper applies this technique to synthesis of the process canonical model. The method proposed is based on interpretation of process model semantics in logics, and specifically, in the Abstract Machine Notation that made possible to construct provable refinements of process specifications. This method has been applied to the environment of process models defined by workflow patterns classified by W.M.P. van der Aalst. Thus the canonical process model synthesized possesses a property of completeness with respect to broad class of process models used in various Workflow Management Systems as well as the languages used for process composition of Web services.