Component-based information systems development tool supporting the SYNTHESIS design method

Briukhov, Dmitry O.; Kalinichenko, Leonid A.

doi:10.1007/bfb0057743

Cited by 5 publications

(3 citation statements)

References 7 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Special tools are needed to discover necessary components, to match them, to eliminate structural and behavioral discrepancies of components, to form their compositions, and to prove commutativity of the resulting mappings. This idea is planned to be developed on the basis of the existing approach for compositional development of information systems [6].…”

Section: Resultsmentioning

confidence: 99%

Extensible Canonical Process Model Synthesis Applying Formal Interpretation

Kalinichenko

Stupnikov

Zemtsov

2005

Advances in Databases and Information Systems

Self Cite

View full text Add to dashboard Cite

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

show abstract

Section: Resultsmentioning

confidence: 99%

Extensible Canonical Process Model Synthesis Applying Formal Interpretation

Kalinichenko

Stupnikov

Zemtsov

2005

Advances in Databases and Information Systems

Self Cite

View full text Add to dashboard Cite

show abstract

“…This is a natural direction supporting a plan rewriting a mediator query in terms of registered sources. Such refining direction (bottom-up) is in contrast to conventional compositional development [1] where specification of requirements is to be refined by specifications of components (top-down). Such inversion is natural for registration process in the LAV mediator architecture: a materialized view (requirements) is constructed over virtual specifications (components).…”

Section: Value Reconciliation In Mediators Of Heterogeneous Informatimentioning

confidence: 99%

“…For the LAV mediation strategy it was proposed to apply the information source registration similarly to the process of compositional information systems development [1]. Local source metainformation definitions are treated as specifications of requirements and classes of the mediator level with the related metainformation -as specifications of pre-existing components.…”

Section: Introductionmentioning

confidence: 99%

Value Reconciliation in Mediators of Heterogeneous Information Collections Applying Well-Structured Context Specifications

Kalinichenko¹,

Briukhov²,

Skvortsov³

et al. 2002

Databases and Information Systems II

View full text Add to dashboard Cite

Abstract:Method for value reconciliation in Local as Views (LAV) mediators of heterogeneous information collections applying well-structured specifications is presented. This approach extends a procedure for heterogeneous information sources registration at subject mediators with LAV organization. Conflicts in value semantics and representation in contexts of the mediator and a collection should be recognized and explicitly specified. According to the proposed method, value semantics contexts should be defined for the mediator and for a collection. In such context for each value kind a type is to be specified that includes a generic function converting values from a collection context into the mediator context (and/or back). Each type attribute having the respective value semantics is to be typed with such type definition. Such structuring of type attribute semantics definition gives significant economy in development of value conversion functions needed to reconcile values between the mediator and collection contexts.

show abstract