Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
van der Aalst, W.M.P., et al.: Workflow Patterns. Distributed and Parallel Databases 14(3), 5–51 (2003)
van der Aalst, W.M.P., ter Hofstede, A.H.M.: YAWL: Yet Another Workflow Language (Revised version). – QUT Technical report, FIT-TR-2003-04, Brisbane (2003)
Abrial, J.-R.: B-Technology. Technical overview. – BP International Ltd (1992)
Abrial, J.R.: The B-Book. Cambridge University Press, Cambridge (1996)
Abrial, J.R.: B#: Toward a synthesis between Z and B. In: Bert, D., Bowen, J.P., King, S. (eds.) ZB 2003. LNCS, vol. 2651, pp. 168–177. Springer, Heidelberg (2003)
Briukhov, D., Kalinichenko, L.: Component-based information systems development tool supporting the SYNTHESIS design method. In: Litwin, W., Morzy, T., Vossen, G. (eds.) ADBIS 1998. LNCS, vol. 1475, p. 305. Springer, Heidelberg (1998)
Butler, M.: csp2B: A Practical Approach to Combining CSP and B. Formal Aspects of Computing 12 (2000)
Butler, M., Snook, C.: Verifying Dynamic Properties of UML Models by Translation to the B Language and Toolkit. In: Proc. of the UML 2000 Workshop Dynamic Behaviour in UML Models: Semantic Questions
Edsger, W., Dijkstra, E.W.: A discipline of programming. Prentice Hall, Englewood Cliffs (1976)
Jensen, K.: Coloured Petri Nets: a High Level Language for System Design and Analysis. Springer, Heidelberg (1991)
Kalinichenko, L.A.: Data model transformation method based on axiomatic data model extension. In: Proc. of the 4th International Conference on Very Large Data Bases (1978)
Kalinichenko, L.A.: Methods and tools for equivalent data model mapping construction. In: Bancilhon, F., Tsichritzis, D.C., Thanos, C. (eds.) EDBT 1990. LNCS, vol. 416. Springer, Heidelberg (1990)
Kalinichenko, L.A.: SYNTHESIS: the language for desription, design and programming of the heterogeneous interoperable information resource environment, Moscow (1995)
Kalinichenko, L.A.: Method for Data Models Integration in the Common Paradigm. In: Proc. of the First East-European Conference, ADBIS 1997, St.Petersburg (1997)
Kalinichenko, L.A.: Workflow Reuse and Semantic Interoperation Issues. In: Dogac, A., Kalinichenko, L., Ozsu, M.T., Sheth, A. (eds.) Advances in workflow management systems and interoperability. NATO Advanced Study Institute (1997)
Kalinichenko, L.A., Stupnikov, S.A., Zemtsov, N.A.: Canonical models synthesis for heterogeneous information sources integration, Moscow (2005)
Ledang, H., Souquieres, J.: Contributions for Modeling UML State-Charts In B. In: Butler, M., Petre, L., Sere, K. (eds.) IFM 2002. LNCS, vol. 2335, p. 109. Springer, Heidelberg (2002)
Stupnikov, S.A., Kalinichenko, L.A., Dong, J.S.: Applying CSP-like Workflow Process Specifications for their Refinement in AMN by Pre- existing Workflows. In: Manolopoulos, Y., Návrat, P. (eds.) ADBIS 2002. LNCS, vol. 2435. Springer, Heidelberg (2002)
Treharne, H., Schneider, S.: How to Drive a B machine. In: Bowen, J.P., Dunne, S., Galloway, A., King, S. (eds.) B 2000, ZUM 2000, and ZB 2000. LNCS, vol. 1878, p. 188. Springer, Heidelberg (2000)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kalinichenko, L., Stupnikov, S., Zemtsov, N. (2005). Extensible Canonical Process Model Synthesis Applying Formal Interpretation. In: Eder, J., Haav, HM., Kalja, A., Penjam, J. (eds) Advances in Databases and Information Systems. ADBIS 2005. Lecture Notes in Computer Science, vol 3631. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11547686_14
Download citation
DOI: https://doi.org/10.1007/11547686_14
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-28585-4
Online ISBN: 978-3-540-31895-8
eBook Packages: Computer ScienceComputer Science (R0)