Proceedings of the Workshop on Formal Methods for Information System Dynamics.Conference on Advanced Information Systems Engineers (6th). Held in Utrecht, The Netherlands on June 6-7, 1994

摘要

Contents: Integrated Systems Modeling: an Object-Oriented Approach; FormalSpecification of Distributed Information Systems; ALBERT: A Formal Agent-Oriented Requirements Language for Distributed Composite Systems; Events and Invariants; Specifying Information System Dynamics in TROLL; Using Formal Specification and Simulation: Practical Experience with Distributed Applications; A Formal Modeling Approach to Seamless Object-Oriented Systems Development; Object-Oriented Use of SPRINT; Formal Semantics for Ward & Mellor's TRANSFORMATION SCHEMA: An Overview; A Framework for Information Systems Design Based on Object-Oriented Concepts and Petri Nets; Modeling Dynamics of Information Systems Based on an Object-Oriented Framework; Transaction Decomposition in Object-Oriented Models; Specification of a Control System by Domain Specialists with OBLOG: Experience Report; Information Systems Dynamics Using an Algebraic Formalism.