COLOR-X: Linguistically-based event modeling: A general approach to dynamic modeling [chapter]

J. F. M. Burg, R. P. Riet
1995 Lecture Notes in Computer Science  
This paper introduces a way of modeling the dynamic aspects of an Information and Communication System in which all the occurring events are listed and ordered in time. These graphical Event Models are based on formal (logical) specifications. Event Models are very close to the specifications in the informal requirements document, which describes the Universe of Discourse. By means of the underlying formal specifications Natural Language sentences are generated automatically, in order to give
more » ... me feedback to the designer and user. By combining this feedback feature and the power of the logical foundation, the Event Models can be verified and validated. We will also present an algorithm and its implementation to generate State Transition Diagrams from Event Models automatically. This is especially useful in our environment in which programming code-generation is the key objective. Dynamic Modeling The purpose of Dynamic Modeling is to show the time-dependent behaviour of the system as a whole or a particular part of the system. In general, there are three ways of modeling this information: 1. Dynamic and Deontic Logic, [8], interested in the states between actions
doi:10.1007/3-540-59498-1_235 fatcat:tj2uekw5hrdxnejmbnjgyuvihe