An important amount of research has been devoted to conceptual model validation, that is,
to check whether a conceptual model correctly and adequately describes the users' …

Traditional information modelling methods have been concerned with the important task of
checking whether a model correctly and adequately describes a piece of reality and/or the …

Executable modeling languages are now found in several commercial and experimental
CASE environments. The ability to execute conceptual models has been considered vital for …

In this paper, we present a set of software tools for developing and validating object oriented
conceptual models specified in TROLL. TROLL is a formal object-oriented language for …

In this paper we show how to use the so-called aggregation technique to remove
redundancies in the fact base of a formal specification. Redundancies are always present in …

Conceptual model validation is crucial in the information system development process, but it
may be di cult to accomplish if the domain expert is not acquainted with the formal language …

We attempt to determine the rightful roles for natural and formal languages in the
development of information systems. In so doing we address three issues. First, we give a …

Model-driven engineering (MDE) promotes automated model transformations along the
entire development process. Guaranteeing the quality of early models is essential for a …

Data Dictionaries(DD) contain crucial information about the (technical) meaning of words
used in a certain company. In linguistics a lexicon contains syntactic and semantic …

In this paper we show that specifying the dynamics of a system as a whole requires more
information than just the combination of the dynamics of the individual objects of the system …