PhD Theses |
|
AUTHOR: Gouscos Dimitris TITLE: Specification of Information Systems Dynamics through Objects, Rules and Petri Nets RESEARCH AREAS:
E_ADDRESS: http://www.di.uoa.gr/~gouscos DESCRIPTION: Development of an integrated approach to the effective specification of information systems dynamics, based on a combination of object, rule and Petri net models. Multiple abstraction levels for the representation of dynamic specifications have been defined, expressiveness and analysis properties have been investigated, a specification methodology has been given and a computer-aided environment has been designed.
|
|||||