Show simple item record

dc.contributor.authorTaylor, P.N.
dc.date.accessioned2011-01-12T09:54:34Z
dc.date.available2011-01-12T09:54:34Z
dc.date.issued1997
dc.identifier.citationTaylor , P N 1997 , Research issues associated with process algebras and the object-orientated paradigm . UH Computer Science Technical Report , vol. 281 , University of Hertfordshire .
dc.identifier.otherPURE: 84628
dc.identifier.otherPURE UUID: 6f2e5b1a-cf5d-4bdf-aaf5-f88a48f8232d
dc.identifier.otherdspace: 2299/5141
dc.identifier.urihttp://hdl.handle.net/2299/5141
dc.description.abstractIn this paper I present a review of research issues raised by the application of process algebras to the design of object-orientated systems. In particular, I concentrate upon the difficulties associated with behavioural extension and the dynamic reconfiguration of systems with a view to reuse; a concept for which object-oriented design provides many useful methods, including inheritance and operator overriding. From this review it is clear that several issues are poorly addressed by current languages; these issues form the basis for my research. Basic languages such as CCS [9], CSP [4] and LOTOS [5] and higher-order languages (i.e: CHOCS) are reviewed. My research thus far suggests that elements required to make formal model that matches closely an object-orientated design are present, in part, in many of the reviewed formal languages but are not all present in one language. This paper attempts to answer the question: 'Which features of the available formal languages for concurrent systems capture the essential features of the available formal languages for concurrent systems specification?' An overall picture of process algebras and how they map to object-oriented design issues is presented, together with links between elements of the process algebra view of systems design. Issues such as asynchronous communication and its influence on a system's behavioural modification, or the reuse of processes using inherited branch behaviour are discussed. I show that synchronisation between processes hinders any attempt to modify the behaviour of a system containing those processes.en
dc.language.isoeng
dc.publisherUniversity of Hertfordshire
dc.relation.ispartofseriesUH Computer Science Technical Report
dc.titleResearch issues associated with process algebras and the object-orientated paradigmen
dc.contributor.institutionSchool of Computer Science
dc.relation.school
dcterms.dateAccepted1997
rioxxterms.typeOther
herts.preservation.rarelyaccessedtrue


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record