Domain-Specific Modeling offers a language-based approach to raise the level of abstraction in order to speed up development work and decrease the number of errors. In this paper we identify approaches that are applied for defining languages. This categorization is based on analyzing over 20 industrial cases of DSM language definition.

Patterns such as problem frames and architectural styles are used here to support the formal specification and the development of information systems. New problem frames specific to information systems are proposed to describe identified sub-problems and to help the formal specification task. Recomposition is achieved through a component based approach and an architectural style that puts toget...

In the last years, mobile agents are gaining great attention as a new concept for developing and implementing mobile and distributed applications. However, very little work has taken place in defining concepts and notations to model mobile agents. In this paper, we present an approach to model and to implement mobile agents. This approach is materialized by a UML notation, called MA-UML for mod...

In this paper, we investigate a principled approach for defining and discovering probabilistic mappings between two taxonomies. First, we compare two ways of modeling probabilistic mappings which are compatible with the logical constraints declared in each taxonomy. Then we describe a generate and test algorithm (called ProbaMap) which minimizes the number of calls to the probability estimator ...

We live in a very complex world where we face complex phenomena such as social norms and new technologies. To deal with such phenomena, social scientists often use reductionism approach where they reduce them to some lower-lever variables and model the relationships among them through a scheme of equations. This approach that is called equation based modeling (EBM) has some basic weaknesses in ...

In this paper, we investigate a principled approach for defining and discovering probabilistic mappings between two taxonomies. First, we compare two ways of modeling probabilistic mappings which are compatible with the logical constraints declared in each taxonomy. Then we describe a generate and test algorithm which minimizes the number of calls to the probability estimator for determining th...

The article analyzes the existing approaches to definition of information educational environment (IEE) university. It is shown that variety IEE interpretations depends on technological, organizational, instrumental foundations. When defining IEE, psychological and pedagogical approach proposed by V.A. Krutetskiy was used, which based interaction. principles creating its goals, depending functi...

In this paper, we investigate a principled approach for defining and discovering probabilistic mappings between two taxonomies. First, we compare two ways of modeling probabilistic mappings which are compatible with the logical constraints declared in each taxonomy. Then we describe a generate and test algorithm which minimizes the number of calls to the probability estimator for determining th...

Defining information required by automatic test systems frequently involves a description of system behavior. To facilitate capturing the required behavior information in the context of testing, a formal model of behavior was developed for use by test systems. The approach taken in defining the behavior model was based on information modeling and was derived from recent work in formal methods b...