Simulation models are abstractions of a real-world, or proposed real-world, system. In other
words, the models do not contain every aspect and detail of the system that they are …

Developing complex engineering systems requires the consolidation of models from a
variety of domains such as economics, mechanics and software engineering. These models …

Due to their increasing complexity, design of software systems is not becoming easier.
Furthermore, modern applications ranging from enterprise to embedded systems require …

UML being semi formal in nature, it lacks formal syntax and hence automated verification of
design specifications cannot be done. To address this we propose a UML Compiler that …

The paper considers the problem of consistency among components of a UML system
model. We propose OCL (Object Constraint Language) to formalize the consistency …

We use a formal object-oriented specification language (OOL) to formalize and combine
UML models. With the formalization, we develop a set of refinement laws of UML models to …

We translate class diagrams with multiplicity constraints and uniqueness attributes to
inequalities over non-negative integers. Based on this numeric semantics we check the …

In this paper we present a coalgebraic semantics for UML class diagrams and given some
discussions on the coalgebraic semantics for use cases. A loose semantics for class …

In this paper, we present a formalization for UML statechart diagrams in the RAISE
specification language RSL. By such a formalization, we propose a general framework for …

Integrity constraints in database design are incident part of conceptual models, including
part of semantics of problem domain. Within this paper, we have accepted UML class …