OUR Archive is not currently accepting deposits from staff or students due to the upcoming migration to a new system. The new OUR Archive system will be available for thesis deposits on 1 May.
Search
Now showing items 1-9 of 9
On the testability of BDI agent systems
Before deploying a software system we need to assure ourselves (and stakeholders) that the system will behave correctly. This assurance is usually done by testing the system. However, it is intuitively obvious that ...
Energy-aware optimisation of business processes
Due to changes in energy supply, and regulatory mechanism related to energy provisioning, organizations will need to tackle energy management is- sues. One way of doing so is to allocate resources to business processes ...
Verifying social expectations by model checking truncated paths
One approach to moderating the expected behaviour of agents in open societies is the use of explicit languages for defining norms, conditional commitments and/or social expectations, together with infrastructure supporting ...
Assurance of agent systems: What role should formal verification play?
In this paper we consider the broader issue of gaining assurance that an agent system will behave appropriately when it is deployed. We ask to what extent this problem is addressed by existing research into formal verification. ...
Modelling and monitoring interdependent expectations
Previous research on modelling and monitoring norms, contracts and commitments has studied the semantics of concepts such as obligation, permission, prohibition and commitment; languages for expressing behavioural constraints ...
Agent-based container terminal optimisation
Container terminals play a critical role in international shipping and are under pressure to cope with increasing container traffic. The problem of managing container terminals effectively has a number of characteristics ...
On the testability of BDI agent systems
Before deploying a software system we need to assure ourselves (and stake- holders) that the system will behave correctly. This assurance is usually done by testing the system. However, it is intuitively obvious that ...
Towards Energy-Aware Optimisation of Business Processes
Time dependent energy tariffs are a matter of concern to managers in organisations, who need to rethink how to allocate resources to business processes so that they take into account energy costs. However, due to the ...
On the testability of BDI agents
Before deploying a software system we need to assure ourselves that the system will behave correctly. This assurance is usually done by testing the system. However, it is intuitively obvious that adaptive systems, including ...