DocumentCode
3250780
Title
An approach to developing modular specifications of distributed systems in Maude
Author
Rodríguez, Dilia E.
Author_Institution
Air Force Res. Lab., Rome, NY, USA
fYear
2005
fDate
7-10 Aug. 2005
Firstpage
333
Abstract
An existing proposal for the separation of concerns in distributed systems provides a formal, object-based, layered approach for the composition of independent communication services. Compatible with that approach, a notion of service is introduced, which suggests not only the composition of independent layers, but also the refinement of specifications of distributed systems through composition of layers. An abstract layer is specified by combining computational and temporal logic specifications. A description is given of how it can be specified and model checked in Maude.
Keywords
formal specification; object-oriented methods; specification languages; temporal logic; abstract layer; computational logic specifications; distributed systems; independent communication services; modular specifications; temporal logic specifications; Collaboration; Formal specifications; Laboratories; Logic; Object oriented modeling; Proposals; Reflection; Specification languages; Stacking;
fLanguage
English
Publisher
ieee
Conference_Titel
Circuits and Systems, 2005. 48th Midwest Symposium on
Print_ISBN
0-7803-9197-7
Type
conf
DOI
10.1109/MWSCAS.2005.1594106
Filename
1594106
Link To Document