In large software projects often multiple modeling languages are used in order to cover the different domains and views of the application and the language skills of the developers appropriately. Such “multi-modeling” raises many methodological and semantical questions, ranging from semantic consistency of the models written in different sublanguages to the correctness of model transformations ...

The paper presents conceptual modelling technique on natural language texts. This technique combines the usage of two conceptual modeling paradigms: conceptual graphs and Formal Concept Analysis. Conceptual graphs serve as semantic models of text sentences and the data source for concept lattice – the basic conceptual model in Formal Concept Analysis. With the use of conceptual graphs the Text ...

Traffic Incident Management is a multi-jurisdictional process. Complications with communication, compatibility, coordination, institutional responsibilities and legal issues are inherent in a traffic incident management system. Increasing delay in incident clearance due to various conflicts has vital economical, safety, environmental and social impacts. Therefore, a thorough and rigorous modeli...

We describe a new language for statistical data modeling. The language offers a general framework for the representation of elementary and summary data, and have three main characteristics: i) the types of modeling primitives it provides are particularly suited for representing objects from a statistical point of view; ii) it includes a rich set of structuring mechanisms for both elementary and...

We investigate applying of an actor-based language, Rebeca, for hardware design. Rebeca is based on reactive objects with formal foundation. Hence, available tools for model checking provide us with formal verification support. In our approach, system design process is started from Rebeca in high levels of abstraction. Formal verification is then used to verify the design. We show the process o...

The design of complex real-time distributed hardware/software systems commonly involves evaluating the performance of several design alternatives. Early in the design process, it is therefore desirable that design methods support constructing abstract models for the purpose of analysis. Recent extensions to the Unified Modeling Language (UML) that enable specifying schedulability, performance a...

This thesis proposes a process for Formal Verification of Software Architectures: DVFAL.The DVFAL process supports various formalisms of description of software architecturesas: the ADL (Architecture Description Language), UML2.0, Symphony and of the UML2.0profiles dedicated to the the software architectures domain. The DVFAL processrecommends the Wright ADL as a pivot forma...

By using background knowledge of the general and specific domains and by processing new natural language corpus experts are able to produce a conceptual model for some specific domain. In this paper we present a model that tries to capture some aspects of this conceptual modeling process. This model is functionally organized into two information processing streams: one reflects the process of f...

Much research work has been done on formalizing UML diagrams, but less has focused on using this formalization to analyze the dynamic behaviours between formalized components. In this paper we propose using a subset of fUML (Foundational Subset for Executable UML) as a semi-formal language, and formalizing it to the process algebraic specification language CSP, to make use of FDR as a model che...

This paper presents the formal specification for a tool that models the functional requirements of a system based on use case models. The formal model of such a tool is made using Alloy, which is a lightweight modeling language. The structure of the model as well as an analysis of the model are specified using Alloy. As a complement of the formal model, a model diagram is also presented using t...