Understanding software artifacts is not only time-consuming, without the proper training and experience it can be impossible. From a model-driven perspective there are two bene ts from translating platform-independent models into natural language texts: First, the non-functional properties of the solution have already been omitted meaning that the translations focus on describing the functional...

Existing models for developing modular product families based on a common platform are either too engineering oriented or too marketing centric. In this paper, we propose an intermediate modeling ground that bridges this gap by simultaneously considering essential concepts from engineering and marketing to construct an alternative model for platform-based product families. In this model, each v...

Model-Driven Architecture (MDA) developed by the Object Management Group (OMG) proposes three (or at least two) transformable models for system specification. The first one is a Computation Independent Model or CIM. The CIM is a model that should eliminate the gap between business people and software developers. Two other models are a Platform Independent Model (PIM) and a Platform Specific Mod...

We present and compare different Boolean encodings of the transition relation for the parallel composition of transition systems, both for the asynchronous and the synchronous semantics. We compare the encodings considered by applying them to the SAT-based bounded model checking (BMC) of ECTL∗ properties. We provide experimental results which show that our new encoding for the asynchronous sema...

Bounded model checking (BMC) based on satisfiability testing (SAT) has been introduced as a complementary technique to BDDbased symbolic model checking of LTL properties in recent years and a lot of successful work has been done with this approach. The basic idea is to search for a counter example of a particular length and to generate a propositional formula that is satisfied iff such a counte...

Background Asthma guidelines recognize asthma education as “an essential component of asthma therapy”. The Children’s Asthma Education Centre (CAEC)’s small group interactive sessions for children and families does not meet the needs of all families. Schools provide an opportunity for asthma education. The “Roaring Adventures of Puff” (RAP) is an effective, previously validated asthma education...

Model Driven Architecture (MDA) is based on models and distinguish between a system functionality specification and this specification realization on a given technological platform. MDA consists of four models: CIM (Computation Independent Model), PIM (Platform Independent Model), PSM (Platform Specific Model) and code model, all these are parts of the MDA transformation line: CIM->PIM->PSM->co...

Die Model Driven Architecture (MDA) führt das Konzept universell gültiger Anwendungsmodelle in die Softwarelandschaft ein und ermöglicht die effiziente Abbildung von Geschäftsprozessen auf Code. Dieser Artikel zeigt einen durchgängigen Entwicklungsweg vom Geschäftsmodell zum Code anhand der in der BMW Group auf Basis der MDA entwickelten Component Architecture (CA). 1 Überblick und Zielsetzunge...

A key concept of model-driven software development is the transformation of models into other models or source code. ProtoCom is such a transformation that generates a performance prototype from a Palladio Component Model (PCM) instance by means of a model-to-text transformation. The actual supported platform, on which the PCM instance is mapped, is Java SE. Even though related work suggests th...

In an earthquake situation, medical response communities such as field and referral hospitals are being challenged with injured victims’ identification and tracking. In our project, we developed a patient tracking platform (PTP). In this platform, first responders triage the patients with an electronic tag that reports the location and some information of each patient during his or her movement...