COLOR-X: Linguistically-based Event Modeling: A General Approach to Dynamic Modeling

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 some 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.

[1]  Simon C. Dik,et al.  The theory of functional grammar , 1989 .

[2]  J. F. M. Burg,et al.  A data dictionary as a Lexicon: an application of linguistics in information systems , 1993, CIKM '93.

[3]  Roelf J. Wieringa,et al.  Algebraic Foundations for Dynamic Conceptual Models , 1990 .

[4]  William C. Mann,et al.  Rhetorical Structure Theory: Description and Construction of Text Structures , 1987 .

[5]  William E. Lorensen,et al.  Object-Oriented Modeling and Design , 1991, TOOLS.

[6]  S. C. Dik,et al.  The Theory of Functional Grammar. Part I: The Structure of the Clause (second, revised edition, edited by K. Hengeveld) , 1997 .

[7]  Anthony I. Wasserman,et al.  A graphical, extensible integrated environment for software development , 1987, SDE 2.

[8]  A.H.M. ter Hofstede,et al.  Information modelling in data intensive domains , 1993 .

[9]  Hercules Dalianis.  A Method for Validating a Conceptual Model by Natural Language Discourse Generation , 1992, CAiSE.

[10]  Kees M. van Hee,et al.  Executable Specifications for Distributed Information Systems , 1989, International Symposium on Combinatorial Optimization.

[11]  Kees Hengeveld,et al.  The Structure of the Clause , 1997 .

[12]  Franciscus Petrus Maria Dignum,et al.  A language for modelling knowledge bases :: Based on linguistics, founded in logic , 1989 .

[13]  Remco Feenstra,et al.  LCM 3.0: A Language for describing Conceptual Models , 1993 .

[14]  Paul Buitelaar,et al.  The Use of a Lexicon to Interpret ER-Diagrams: A LIKE project , 1992, ER.

[15]  G. M. Nijssen,et al.  Conceptual schema and relational database design - a fact oriented approach , 1989 .

[16]  Jfm Burg,et al.  COLOR-X: Object Modeling Profits from Linguistics , 1995 .

[17]  William J. Black.  Acquisition of Conceptual Data Models from Natural Language Descriptions , 1987, EACL.