From Informal Requirements to Agent-Based Specification An AircraftWarnings Case Study B. Fields, M. Harrison and P. Wright Introduction Capturing Structure in an Informal Model Previous work has demonstrated how interactive systems can be modelled formally as a collection of interacting objects or agents using an agent-basedspecification language (Abowd 1991, Duke & Harrison, 1992). An agent is an object which encapsulates some private internal state and operations which may alter this state together with an external view which describes the behaviour of the system in terms of the user interface level events which occur and the renderingfunction by which the object makes aspects of its internal state visible to the environment. Properties relating to usability and tolerance of the system to human error can then be specified precisely and clearly as constraints on or mathematical conjectures about the behaviour of agents in the system (Harrison, Roast & Wright, 1989). The use of formal modelling techniques has the advantage of bringing a greater degree of precision and clarity to the design of interactive systems, but the approach it is not without its problems (Monk, Curry & Wright, 1993). One issue that needs to be addressed is how formally based system
End of preview. The entire article is 4 pages. To view the full-text, please rent this article to continue.
/lp/association-for-computing-machinery/from-informal-requirements-to-agent-based-specification-hOpgTOk14e
Welcome to DeepDyve! Rent Premier Research Articles and Save Up to 90%
From informal requirements to agent-based specification
Fields, B.; Harrison, M.; Wright, P.
Follow ACM SIGCHI Bulletin
, Volume 26 (2)
Association for Computing Machinery – Apr 1, 1994
More Info
More Like This Article
View All dataSource[]=actageo&dataSource[]=aspet&dataSource[]=aaos&dataSource[]=aacc&dataSource[]=aacr&dataSource[]=aea&dataSource[]=aip&dataSource[]=ajnr&dataSource[]=ams&dataSource[]=aps_physical&dataSource[]=appi_book&dataSource[]=appi_journal&dataSource[]=apha&dataSource[]=asip&dataSource[]=asm&dataSource[]=asn&dataSource[]=aspb&dataSource[]=avs&dataSource[]=annual_reviews&dataSource[]=arxiv&dataSource[]=acm&dataSource[]=berghahn&dataSource[]=cabi&dataSource[]=clinical_trials&dataSource[]=dailymed&dataSource[]=degruyter&dataSource[]=du_press&dataSource[]=esa&dataSource[]=eu_press&dataSource[]=elsevier&dataSource[]=emerald&dataSource[]=ejtr&dataSource[]=emea&dataSource[]=epo&dataSource[]=faseb&dataSource[]=gsa&dataSource[]=health_affairs&dataSource[]=hindawi&dataSource[]=imanager&dataSource[]=imedpub&dataSource[]=informa_healthcare&dataSource[]=informs&dataSource[]=iop&dataSource[]=iucr&dataSource[]=iospress&dataSource[]=jbjs&dataSource[]=leftcoast&dataSource[]=lu_press&dataSource[]=mesharpe&dataSource[]=mary_ann_liebert&dataSource[]=medline&dataSource[]=mit_press&dataSource[]=nature&dataSource[]=oxford&dataSource[]=pier_professional&dataSource[]=pnas&dataSource[]=portlandpress&dataSource[]=psyc_articles&dataSource[]=psyc_books&dataSource[]=psyc_critiques&dataSource[]=plos_journal&dataSource[]=pubmed_central&dataSource[]=rsna&dataSource[]=rockefeller&dataSource[]=rcn&dataSource[]=ria&dataSource[]=rsc&dataSource[]=sage&dataSource[]=spie&dataSource[]=springer_journal&dataSource[]=springer&dataSource[]=taylor_francis&dataSource[]=aps&dataSource[]=the_scientist&dataSource[]=uc_press&dataSource[]=uspto_abstract&dataSource[]=wiley&dataSource[]=pct
© 2012 DeepDyve, Inc. All rights reserved.
Terms of Service | Privacy Policy
