Compositional modelling: The formal perspective

De Montfort University Open Research Archive

Show simple item record Zedan, Hussein Cau, A. (Antonio) Moszkowski, B. C. 2005-09-05T17:39:33Z 2005-09-05T17:39:33Z 2005-09-05T17:39:33Z
dc.identifier.other IR/2005/13
dc.description.abstract We 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.sponsorship Funding received from the UK Engineering and Physical Sciences Research Council (EPSRC) through the Research Grant GR/M/02583 en
dc.format.extent 173784 bytes
dc.format.extent 633547 bytes
dc.format.mimetype application/pdf
dc.format.mimetype application/postscript
dc.language.iso en en
dc.relation.ispartofseries STRL en
dc.relation.ispartofseries 2000-1 en
dc.subject information systems en
dc.subject modelling en
dc.subject lean formal methods en
dc.subject interval temporal logic en
dc.subject simulation en
dc.subject EPSRC
dc.title Compositional modelling: The formal perspective en
dc.type Article en
dc.researchgroup Software Technology Research Laboratory (STRL)

Files in this item

This item appears in the following Collection(s)

Show simple item record