dc.contributor.author | Taylor, P.N. | |
dc.contributor.author | Smith, D.E. | |
dc.date.accessioned | 2010-10-05T10:51:23Z | |
dc.date.available | 2010-10-05T10:51:23Z | |
dc.date.issued | 1994 | |
dc.identifier.citation | Taylor , P N & Smith , D E 1994 , The influence of the formal description technique LOTOS on concurrent system design . UH Computer Science Technical Report , vol. 203 , University of Hertfordshire . | |
dc.identifier.other | dspace: 2299/4882 | |
dc.identifier.uri | http://hdl.handle.net/2299/4882 | |
dc.description.abstract | In this paper we investigate the applicability of the formal description language LOTOS for specifying a concurrent system. We are particularly interested in how a specifier might capture a system's requirements, given LOTOS as a choice of target formal description language. We show how a LOTOS specification can be modularised using encapsulated processes. A simple case study is introduced, specified using LOTOS. Questions about different design issues concerning process composition with regard to capturing the required behaviour of the case study system are then raised, together with possible solutions. | en |
dc.format.extent | 3022777 | |
dc.language.iso | eng | |
dc.publisher | University of Hertfordshire | |
dc.relation.ispartofseries | UH Computer Science Technical Report | |
dc.title | The influence of the formal description technique LOTOS on concurrent system design | en |
dc.contributor.institution | School of Computer Science | |
rioxxterms.type | Other | |
herts.preservation.rarelyaccessed | true | |