Ablaufkontrolle und-steuerung eingesetzt werden. Die beschriebene Workflow-Engine kann
auch als frei konfigurierbare Ablaufsteuerung von Standard-Softwaresystemen eingesetzt …

An extension of high-level Petri nets, namely nested relation/transition nets (NR/T-nets), is
described. NR/T-nets allow to model distributed processes and related complex structured …

INCOME/STAR is an experimental environment for the cooperative development of
distributed information systems. This paper presents some of INCOME/STAR's innovative …

Flexibility of process support is a key requirement for current and future business
applications. A technology which is designed to flexibly support various kinds of processes …

M*-OBJECT is a methodology for information system analysis, design and implementation
developed for CIM environments. It is based on an object-oriented approach and it covers in …

Defining complex system dynamics (SD) models in complex organizational settings is hard.
This is so because the numbers of variables to consider are many and the question of …

Várias extensões à abordagem entidade-relacionamento original têm sido propostas com o
objetivo de incorporar a possibilidade de modelar propriedades temporais. Estas …

The art of System Dynamics (SD) modeling lies in discovering and representing the
feedback processes and other elements that determine the dynamics of a system. However …

Dans ce rapport, je présente un état de l'art sur les combinaisons de spécifications formelles
état-événement et sur le raffinement, mon sujet de thèse ainsi qu'une ébauche de solution …

To build efficient information systems it is important to understand and to optimize the
business processes which should be supported. INCOME/STAR is an integrated …