ASPIRE - Advanced modeling and SPecification of distributed InfoRmation systEms

The Working Group addresses the need for advanced modeling and specification techniques for developing information systems. The emphasis is on distribution, concurrency and real-time issues as well as default engineering. The objectives of the working group are to explore foundations for specifying, analysing and developing widley distributed information systems at a high level of abstraction. 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 implementation, validation, verification, and maintenance tools.