Show simple item record

dc.contributor.authorZedan, Hussein
dc.contributor.authorCau, A. (Antonio)
dc.contributor.authorMoszkowski, B. C.
dc.date.accessioned2005-09-05T17:39:33Z
dc.date.available2005-09-05T17:39:33Z
dc.date.issued2005-09-05T17:39:33Z
dc.identifier.otherIR/2005/13
dc.identifier.urihttp://hdl.handle.net/2086/36
dc.description.abstractWe provide a formal framework within which an Information System (IS) could be modelled, analysed, and verified in a compositional manner. Our work is based on Interval Temporal Logic (ITL) and its programming language subset, Tempura. This is achieved by considering IS, of an enterprise, as a class of reactive systems in which it is continually reacting to asynchronously occurring events within a given period of time. Such a reactive nature permits an enterprise to pursue its business activities to best compete with others in the market place. The technique is illustrated by applying it to a small case study from Public Service Systems (PSS).en
dc.description.sponsorshipFunding received from the UK Engineering and Physical Sciences Research Council (EPSRC) through the Research Grant GR/M/02583en
dc.format.extent173784 bytes
dc.format.extent633547 bytes
dc.format.mimetypeapplication/pdf
dc.format.mimetypeapplication/postscript
dc.language.isoenen
dc.relation.ispartofseriesSTRLen
dc.relation.ispartofseries2000-1en
dc.subjectinformation systemsen
dc.subjectmodellingen
dc.subjectlean formal methodsen
dc.subjectinterval temporal logicen
dc.subjectsimulationen
dc.subjectEPSRC
dc.titleCompositional modelling: The formal perspectiveen
dc.typeArticleen
dc.researchgroupSoftware Technology Research Laboratory (STRL)


Files in this item

Thumbnail
Thumbnail

This item appears in the following Collection(s)

Show simple item record