Advanced modeling and SPecification of distributed InfoRmation systEms

Project: Research

Project Details

Description

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.
AcronymASPIRE
StatusFinished
Effective start/end date1/02/9731/03/00

Keywords

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