Compositional modelling: The formal perspective

Simple item page
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.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.identifier.otherIR/2005/13
dc.identifier.urihttp://hdl.handle.net/2086/36
dc.language.isoenen
dc.relation.ispartofseriesSTRLen
dc.relation.ispartofseries2000-1en
dc.researchgroupSoftware Technology Research Laboratory (STRL)
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

Files

Original bundle
Now showing 1 - 2 of 2
Thumbnail Image
Name:
comp-mod.pdf
Size:
169.71 KB
Format:
Adobe Portable Document Format
Description:
Main article text
Download
No Thumbnail Available
Name:
comp-mod.ps
Size:
618.7 KB
Format:
Postscript Files
Description:
Main article in postscript
Download
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.78 KB
Format:
Item-specific license agreed upon to submission
Description:
Download

Collections

School of Computer Science and Informatics