On requirements representation and reasoning using answer set programming

Julian Padget, Emad Eldeen Elakehal, Ken Satoh, Fuyuki Ishikawa

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Citations (Scopus)
239 Downloads (Pure)

Abstract

We describe an approach to the representation of requirements using answer set programming and how this leads to a vision for the role of artificial intelligence techniques in software engineering with a particular focus on adaptive business systems. We outline how the approach has developed over several years through a combination of commercial software development and artificial intelligence research, resulting in: (i) a metamodel that incorporates the notion of runtime requirements, (ii) a formal language for their representation and its supporting computational model (InstAL), and (iii) a software architecture that enables monitoring of distributed systems. The metamodel is the result of several years experience in the development of business systems for e-tailing, while InstAL and the runtime monitor is on-going research to support the specification, verification and application of normative frameworks in distributed intelligent systems. Our approach derives from the view that in order to build agile systems, the components need to be structured more like software that controls robots, in that it is designed to be relatively resilient in the face of a non-deterministic, dynamic, complex environment about which there is incomplete information. Thus, degrees of autonomy become a strength and an opportunity, but must somehow be constrained by informing these autonomous components what should be done in a certain situation or what system state ought to be achieved through norms as expressions of requirements. Because such a system made up of autonomous components is potentially behaviourally complex and not just complicated, it becomes essential to monitor both whether norms/requirements are being fulfilled and if not why not. Finally, because control over the system can be expressed through requirements in the form of data that can be changed, a route is opened to adjustment and dynamic re-direction of running systems.

Original languageEnglish
Title of host publication2014 IEEE 1st International Workshop on Artificial Intelligence for Requirements Engineering, AIRE 2014 - Proceedings
PublisherIEEE
Pages35-42
Number of pages8
ISBN (Print)9781479963553
DOIs
Publication statusPublished - 1 Jan 2014
Event2014 IEEE 1st International Workshop on Artificial Intelligence for Requirements Engineering, AIRE 2014 - Proceedings - Karlskrona, UK United Kingdom
Duration: 26 Aug 201426 Aug 2014

Conference

Conference2014 IEEE 1st International Workshop on Artificial Intelligence for Requirements Engineering, AIRE 2014 - Proceedings
CountryUK United Kingdom
CityKarlskrona
Period26/08/1426/08/14

Fingerprint Dive into the research topics of 'On requirements representation and reasoning using answer set programming'. Together they form a unique fingerprint.

Cite this