ASPIRE - Advanced modeling and SPecification of distributed InfoRmation systEms
Sprache der Bezeichnung:
Englisch
Original Kurzfassung:
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.
Sprache der Kurzfassung:
Englisch
Englische Bezeichnung:
ASPIRE - Advanced modeling and SPecification of distributed InfoRmation systEms
Englische Kurzfassung:
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.