Context-aware software (C-AS) uses context to provide users with relevant information or services. Although C-AS has an increasing importance, this area is still immature in terms of tools, languages, and methods. Therefore, C-AS presents several opportunities and challenges for software engineers, and new models and theories are needed to address these challenges. Some of the main problems in ...

A model-driven architecture (MDA) transforms a platformindependent model (PIM) into a platform-specific model (PSM) before it transforms the PSM into code. OOHDM together with a recently proposed business process extension allows to model hypermedia-based and advanced Web applications by an object model which is a platformindependent. But an OOHDM model cannot directly be used as PIM since it i...

This paper is devoted to the study of motion a platform maintained on an aircraft in predetermined position by system gyroscopes, which does follows oscillations aircraft. Such systems are used for determining angular We briefly review key results this issue without detailed proofs.

Abstract Model-driven development platforms shift the focus of software activity from coding to modeling for enterprises. A significant number such are available in market. Selecting best fitting platform is challenging, as domain experts not typically model-driven deployment and have limited time acquiring needed knowledge. We model problem a multi-criteria decision-making capture knowledge sy...

Symbolic Model Checking [3, 14] has proven to be a powerful technique for the verification of reactive systems. BDDs [2] have traditionally been used as a symbolic representation of the system. In this paper we show how boolean decision procedures, like Stålmarck’s Method [16] or the Davis & Putnam Procedure [7], can replace BDDs. This new technique avoids the space blow up of BDDs, generates c...

We describe the communication infrastructure (CI) for our fault-tolerant cluster middleware, which is optimized for two classes of communication: for the applications and for the cluster management middleware. This CI was designed for portability and for efficient operation on top of modern user-level message passing mechanisms. We present a functional fault model for the CI and show how platfo...

The UniFrame research project is proposing a Unified Component Meta Model Framework (UniFrame) that includes Quality of Service (QoS) contracts. Today it is the role of the software architect, based on experience, to design platform specific solutions that will meet QoS requirements. As we refine algorithms for model transformations, we must identify these QoS-aware design patterns and utilize ...

Model-driven development of web applications relies on the definition of the mappings that transform high-level models to models of specific web platforms. Thus, the transformations are often platform-specific and may not be used for more than one platform. The current web, however, is a heterogeneous network of different technologies and it often happens that one specific application needs to ...

Model Driven Development (MDD) approach is often used to model application data and behavior by a Platform Independent Model (PIM) and to generate Platform Specific Models (PSMs) and even the source code by model transformations. However, these transformations usually omit constraints of the binary association multiplicities, especially the source class optionality constraint. This paper is an ...