Abstract
Experience with the engineering of large scale open distributed systems has shown that their design should be specified at several well defined levels of abstractions, where each level aims at satisfying specific user, architectural and implementation purposes. Therefore designers should dispose of a comprehensive design methodology, which allows them to conceive a specification at a certain abstraction level and transform this specification into a conforming specification at a lower abstraction level. The collection of these transformations should abridge the total design trajectory from initial user requirements to final implementation. This paper presents and discusses some advanced design concepts that provide a basis for such a design methodology.
Original language | Undefined |
---|---|
Title of host publication | Proceedings of the Fourth Workshop on Future Trends on Distributed Computing Systems |
Place of Publication | Los Alamitos |
Publisher | IEEE Computer Society Press |
Pages | 419-425 |
Number of pages | 7 |
ISBN (Print) | 0-8186-4430-3 |
DOIs | |
Publication status | Published - 1993 |
Event | 4th Workshop on Future Trends of Distributed Computer Systems, FTDCS 1993 - Lisabon, Portugal Duration: 22 Sep 1993 → 24 Sep 1993 Conference number: 4 |
Publication series
Name | |
---|---|
Publisher | IEEE Computer Society Press |
Workshop
Workshop | 4th Workshop on Future Trends of Distributed Computer Systems, FTDCS 1993 |
---|---|
Abbreviated title | FTDCS |
Country/Territory | Portugal |
City | Lisabon |
Period | 22/09/93 → 24/09/93 |
Keywords
- SCS-Services
- IR-15920
- EWI-11383
- METIS-112802