Advanced modeling and SPecification of distributed InfoRmation systEms (ASPIRE)

Duration

1997-2000

Keywords

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

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.

Research unit(s)

• Semantics and Computational Logic (ISLC)
• PReCISE Research Center (PRECISE)

Research theme(s)

• Requirements Engineering and Business-IT Alignment
• Computer languages semantics

Staff (finished contracts)

Collaborations

• Technische Universität Braunschweig, Abteilung Informationssysteme
• Universiteit Twente
• Fraunhofer Gesellschaft, ISST
• The University of Birmingham, School of Computer Science
• Universite d'Evry, LAMI
• Universitaet Hannover, Fachbereich Informatik
• Otto-von-Guericke Universitaet

Contracts

• Commission européenne, DG III Industry

More information