This paper presents the traceability metamodel for Business Process Model and Notation (BPMN) and its implementation in Cameo Business Modeler plug-in for MagicDraw. There is no public standard traceability metamodel defined for BPMN yet. We present solutions that we have already applied in practice: we improve the traceability of BPMN models by defining derived properties that are calculated b...

This work-in-progress focuses on the refinement of application of the intensional logic to cyberforensic analysis and its benefits are compared with the finite-state automata approach. This work extends the use of the scientific intensional programming paradigm onto modeling and implementation of a cyberforensics investigation process with the backtrace of event reconstruction, modeling the evi...

The paper presents the MILL – a system, which supports planning of training measures. Its background technique, task-competency modeling, is based on formal concept analysis as an indirect and qualitative way of determining the abilities of learners. In that context, the fulfillment or failure of a work task is the indicator of a set of necessary competencies. The core of the presented approach...

Zoning has always been one of the basic tools of land use control available. Zoning is the regulation and restriction of land uses according to a predetermined plan. This paper will present a look at conventional zoning, its origins, the evolution of the zoning, and the scope of zoning types. Regardless of the varieties, most zoning codes can be classified into at least one of the following bro...

This paper presents an engineering process in order to build pedagogical "dispositives" on Web 2.0 applications. This engineering process relies on three tasks: modeling the "dispositive", defining its context and building it. The main feature of our process is to wrap the building functionalities of a Web Application by Web Services. To consume these services, we use the Model Driven Engineeri...

In the response to emergencies and disasters, effective cooperation and information exchange between military and civil actors is essential. However, in practice, the quality of civil-military interaction (CMI) leaves much to be desired. Our research takes an engineering approach, which is complementary to most behavioral-oriented research in the CMI domain. In particular, we seek to support CM...

In this paper we present an approach to formally defining different conceptualizations of configuration knowledge, modeling configuration knowledge, and implementing the configuration task on the basis of the formalization. The approach is based on a weight constraint rule language and its efficient implementation designed for representing different aspects of configuration knowledge uniformly ...

This paper presents an engineering process in order to build pedagogical "dispositives" on Web 2.0 applications. This engineering process relies on three tasks: modeling the "dispositive", defining its context and building it. The main feature of our process is to wrap the building functionalities of a Web Application by Web Services. To consume these services, we use the Model Driven Engineeri...