Advanced modeling and SPecification of distributed InfoRmation systEms

Project: Research

Project Details


The Working Group addresses the need for advanced modeling and specification techniques for developing information systems. Special emphasis is put on specification concepts for full concurrency
of sites, modes of interaction among sites, real-time constraints, and defaults.
The specification concepts are based on logics providing the necessary deductive capabilities for reasoning about system properties as used in building analysis, animation, implementation, validation, verification, and maintenance tools.
Effective start/end date1/02/9731/03/00


  • real-time
  • distribution
  • default logic
  • information systems
  • concurrency
  • specification
  • modeling


Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.