Repositorio de producción científica de la Universidad de Sevilla

A Technique for Distributed Systems Specification

 

Advanced Search
 

Show simple item record

dc.creator Troyano Jiménez, José Antonio es
dc.creator Torres Valderrama, Jesús es
dc.creator Toro Bonilla, Miguel es
dc.date.accessioned 2017-10-09T11:33:00Z
dc.date.available 2017-10-09T11:33:00Z
dc.date.issued 1995
dc.identifier.citation Troyano Jiménez, J.A., Torres Valderrama, J. y Toro Bonilla, M. (1995). A Technique for Distributed Systems Specification. En Euromicro Workshop on Parallel and Distributed Processing (563-570), San Remo, Italy: IEEE Computer Society.
dc.identifier.isbn 0-8186-7031-2 es
dc.identifier.uri http://hdl.handle.net/11441/65100
dc.description.abstract In this paper we show how an object-oriented specification language is usefvl for the specification of distributed systems. The main constructors in this language are the objects. An object consists of a state, a behaviour and a set of transition rules between states. The specification is composed by three sections: definition of algebraic data types to represent the domain of object attributes, definition of classes that group objects with common features, and definition of relationships among classes. We show two possible styles for defining the behaviour of objects, in one hand we use a transition system (state oriented) and in the other hand we use an algebraic model of processes description (constraint oriented). We illustrate the paper with the specification of the dining philosophers problem, a typical example in distributed programming. es
dc.format application/pdf es
dc.language.iso eng es
dc.publisher IEEE Computer Society es
dc.relation.ispartof Euromicro Workshop on Parallel and Distributed Processing (1995), p 563-570
dc.rights Attribution-NonCommercial-NoDerivatives 4.0 Internacional *
dc.rights.uri http://creativecommons.org/licenses/by-nc-nd/4.0/ *
dc.title A Technique for Distributed Systems Specification es
dc.type info:eu-repo/semantics/conferenceObject es
dc.type.version info:eu-repo/semantics/publishedVersion es
dc.rights.accessrights info:eu-repo/semantics/openAccess es
dc.contributor.affiliation Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos es
dc.relation.publisherversion http://ieeexplore.ieee.org/document/389162/ es
dc.identifier.doi 10.1109/EMPDP.1995.389162 es
idus.format.extent 8 es
dc.publication.initialPage 563 es
dc.publication.endPage 570 es
dc.eventtitle Euromicro Workshop on Parallel and Distributed Processing es
dc.eventinstitution San Remo, Italy es
dc.relation.publicationplace New York, USA es
Size: 578.2Kb
Format: PDF

This item appears in the following Collection(s)

Show simple item record