Show simple item record Bell, Jonathan Snooke, Neal 2006-03-20T10:21:56Z 2006-03-20T10:21:56Z 2006-03-20
dc.identifier.citation Bell , J & Snooke , N 2006 , ' Describing System Functions that Depend on Intermittent and Sequential Behavior ' pp. 51-57 . en
dc.identifier.other PURE: 75484
dc.identifier.other dspace: 2160/64
dc.description Johan de Kleer and Kenneth D. Forbus (eds.), Proceedings of 28th International Workshop on Qualitative Reasoning, pages 51-57 en
dc.description.abstract Functional modeling languages have been used to describe processes that react to discrete external events and remain in a constant state until another such event stimulates a change in system state, and are deficient in the area of describing several processes occurring in a specific temporal relationship. The lack of such expressiveness means that it is difficult to apply functional modeling effectively to complex systems where such temporal interactions are key to the correct functioning of the system. This paper presents operators to extend the expressiveness of functional modeling for systems that depend on intermittent behavior or on a strict sequence of events. The effectiveness of these operators is shown for characterizing different orderings of behavior, both in cases where the ordering is precisely specified and where some orderings need not be so specified. Their relevance is shown by considering examples from the domain of automotive systems. en
dc.format.extent 7 en
dc.language.iso eng
dc.relation.ispartof en
dc.subject temporal functional modelling en
dc.subject functional description en
dc.title Describing System Functions that Depend on Intermittent and Sequential Behavior en
dc.type Text en
dc.type.publicationtype Conference paper en
dc.contributor.institution Department of Computer Science en
dc.description.status Non peer reviewed en

Files in this item

Aside from theses and in the absence of a specific licence document on an item page, all works in Cadair are accessible under the CC BY-NC-ND Licence. AU theses and dissertations held on Cadair are made available for the purposes of private study and non-commercial research and brief extracts may be reproduced under fair dealing for the purpose of criticism or review. If you have any queries in relation to the re-use of material on Cadair, contact

This item appears in the following Collection(s)

Show simple item record

Search Cadair

Advanced Search