Megamodel-based Management of Dynamic Tool Integration in Complex Software Systems

Abstract

Abstract-The development of complex software systems is more and more based on the composition and integration of autonomous component systems. This can be done either statically (proactive approach) at development-time or dynamically through a reactive approach in which a new composite system can possibly be created on-demand and/or at run-time from existing systems. With the aim of constructing and managing such complex and reactive software systems, we propose a megamodelbased environment supporting dynamic tool integration. Such an environment must therefore be consistent at any time (i.e. before, during and after an integration) and should also have to exhibit some self-* properties (such self management, selfhealing and self-configuration). In order to meet these challenges we propose the use of Hoare's Axiomatic Semantics and some inference rules to maintain the integrity of the megamodel and its components. For that we have defined a formal-safe execution as well as an execution semantic for each operation likely to modify the megamodel contents.

Towards Data Quality Runtime Verification

“…One of the typical solutions for such situations is detection of incorrect execution by system monitoring or support staff, however, identification of affected business processes isn't possible in this case. As a result, the necessity for runtime verification of business processes appears to keep the process consistent at any time [1]. As it was discussed in [2], runtime verification of business processes allows (a) detection of incorrect execution that is possible in the case of system monitoring, but also (b) identification of business processes that may be affected by it.…”