Engineers and scientists need powerful formalisms to make conceptual models of systems
in order to analyze and design them. These models can be used to verify the behavior of the …

A logic for specifying and reasoning about object classes and their instances (aspects) is
presented and illustrated. This logic is an extension of a rather standard linear temporal …

The “IS A”-relationship and the mechanism of inheritance are powerful concepts that help to
reduce complexity of models and redundancy in specifications. However, in the area of …

Conceptual modelling refers to the part of system development that involves investigating
the problems and requirements of the users community and from that, develo** a …

In this paper, we report on the integration of informal, semiformal and formal system
specification techniques. We present a framework for system specification called TRADE …

TROLL light is a language for conceptual modeling of information systems. It is designed to
describe the Universe of Discourse (UoD) as a system of concurrently existing and …

Object-oriented concepts and constructions are explained in an informal and language-
independent way. Various algebraic approaches for dealing with objects and their …

The specification language TROLL light is intended to be used for conceptual modeling of
information systems. It is designed to describe the Universe of Discourse (UoD) as a system …

The book presents an approach to formal object-oriented specification of information
systems. The approach focuses on the early phases of system development where existing …