Enhancing the Performance of Medical Implant Communication Systems through Cooperative Diversity

Battery-operated medical implants—such as pacemakers or cardioverter-defibrillators—have already been widely used in practical telemedicine and telecare applications. However, no solution has yet been found to mitigate the effect of the fading that the in-body to off-body communication channel is subject to. In this paper, we reveal and assess the potential of cooperative diversity to combat fading—hence to improve system performance—in medical implant communication systems. In the particular cooperative communication scenario we consider, multiple cooperating receiver units are installed across the room accommodating the patient with a medical implant inside his/her body. Our investigations have shown that the application of cooperative diversity is a promising approach to enhance the performance of medical implant communication systems in various aspects such as implant lifetime and communication link reliability

PATTERN MATCHING IN METAMODEL-BASED MODEL TRANSFORMATION SYSTEMS

The vision of the OMG´s Model-Driven Architecture (MDA) has necessitated the extensive research of model compilers, which are able to process graph-based visual models specified mainly in the Unified Modeling Language (UML). A possible mechanism for the realization of MDA model compilers can be graph rewriting-based transformation approach. Previous work has introduced the tool Visual Modeling and Transformation System, which uses graph rewriting as transformation mechanism, but the pattern language of the rewriting rules consists of UML class diagram elements instead of object diagram level patterns. This paper provides the algorithmic background for the application of these rules specified by the class diagram elements. To achieve that, it examines the allowed instantiation configuration based on the UML standard, and supplies a constructive algorithm to compute the allowed number of the objects participating in a valid instantiation of a class model. Furthermore, starting from the VF2 algorithm, the pattern matching algorithm for the left hand side of the metamodel-based rewriting rule is provided via several optimization steps examined

An Active Pattern Infrastructure for Domain-Specific Languages

Tool support for design patterns is a critically important area of computer-aided software engineering. With the proliferation of Domain-Specific Modeling Languages (DSMLs), the adaptation of the notion of design patterns appears to be a promising direction of research. This paper introduces a new approach to DSML patterns, namely, the Active Model Pattern infrastructure. In this framework, not only the traditional insertion of predefined partial models is supported, but interactive, localized design-time manipulation of models. Optionally, the infrastructure can be adapted to handling transactional tracing information as well as transactional undo and redo operations. Possible realizations of the framework are also discussed and compare

Toward Automated Verification of Model Transformations: A Case Study of Analysis of Refactoring Business Process Models

Verification of the transformations is a fundamental issue for applying them in real world solutions. We have previously proposed a formalization to declaratively describe model transformations and proposed an approach for the verification. Our approach consists of a reasoning system that works on the formal transformation description and deduction rules for the system. The reasoning system can automatically generate the proof of some properties. In this paper, we present a case study, to demonstrate our approach of automated verification of model transformations in a multi-paradigm environment

Active Model Patterns with Interactive Model Transformation

With the proliferation of domain-specific languages, the generalization of OO patterns is a natural demand. Concepts and tools supporting pattern specification and execution for arbitrary domain-specific languages facilitate to meet these requirements. Our previous work introduced the Active Model Pattern Infrastructure and possible realizations for its static aspect. In this paper, we contribute a realization for the operational aspect of the framework. We propose graph rewriting-based interactive model transformation to describe and automate often recurring operational patterns in domain-specific modeling. We have extended a general transformation system with localized application of the rules and facilitate run-time customization possibilities for the domain engineer to influence the execution of the operations. We can specialize this approach to provide an implementation of the static aspect as well. We have realized our solution in the Visual Modeling and Transformation System