Lemminkaisenkatu A Turku’s research while affiliated with McMaster University and other places

What is this page?


This page lists works of an author who doesn't have a ResearchGate profile or hasn't added the works to their profile yet. It is automatically generated from public (personal) data to further our legitimate goal of comprehensive and accurate scientific recordkeeping. If you are this author and want this page removed, please let us know.

Publications (1)


Developing Components in the Presence of Re-entrance
  • Article
  • Full-text available

March 1999

·

38 Reads

·

9 Citations

Lecture Notes in Computer Science

Leonid Mikhajlov

·

·

Lemminkaisenkatu A Turku

Independent development of components according to their specifications is complicated by the fact that a thread of control can exit and re-enter the same component. This kind of re-entrance may cause problems as the internal representation of a component can be observed in an inconsistent state. We argue that the ad-hoc reasoning used in establishing conformance of components to their specifications that intuitively appears to be correct does not account for the presence of re-entrance. Such reasoning leads to a conflict between assumptions that component developers make about the behaviour of components in a system, resulting in the component re-entrance problem. We formulate the modular reasoning property that captures the process of independent component development and introduce two requirements that must be imposed to avoid the re-entrance problem. Then we define a customised theory of components, component systems, and component refinement which models the process of component development from specifications. Using this theory, we prove that the formulated requirements are sufficient to establish the modular reasoning property.

Download

Citations (1)


... The refinement-based design and development simplifies complex system specification and implementation [1,2]. For component-based systems, it is important in practice to associate a design by refinement with a design by a composition of their components [3,4]. Dynamic reconfiguration of software architectures is an active research topic [5,6,7] motivated by practical distributed applications like, e.g., those in Fractal [8] or OSGi 4 . ...

Reference:

When Structural Refinement of Components Keeps Temporal Properties over Reconfigurations
Developing Components in the Presence of Re-entrance

Lecture Notes in Computer Science