Recent Deposits

  • On the testability of BDI agent systems 

    Winikoff, Michael; Cranefield, Stephen
    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 ...
  • A comparison of software effort prediction models using small datasets 

    van Koten, Chikako
    Constructing an accurate effort prediction model is a challenge in Software Engineering. One difficulty practitioners often experience is that they have only a very small amount of local data to construct a model. The small ...
  • Reliable group communication and virtual synchrony in multiagent systems 

    Fumarola, Francesco
    In the last few years agents and multiagent systems have been strongly investigated by researcher communities all over the world because of the strong contribute and the great potential on software engineering and artificial ...
  • Bridging the gap between the model-driven architecture and ontology engineering 

    Cranefield, Stephen; Pan, Jin
    Software engineers have many robust commercial tools available to them for creating and manipulating models. Due to the widespread adoption of the Object Management Group (OMG) standards for metamodel definition, model ...
  • Verifying social expectations by model checking truncated paths 

    Cranefield, Stephen; Winikoff, Michael
    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 ...
  • Unifying micro-agent communication in the Otago Agent Platform (OPAL) 

    Frantz, Christopher
    Multi-agent frameworks are broadly available in the meanwhile. Nearly all of them however understand the agent concept differently, going as far as to provide several agent concepts within a platform. Along with this ...
  • A framework for distributed workflow systems 

    Purvis, Martin; Lemalu, Selena; Purvis, Maryam A.
    Workflow management systems (WFMS) are being adopted to assist the automation of business processes that involve the exchange of information. As a result of developments in distributed information system technology, it is ...
  • Implementing agent communication languages directly from UML specifications 

    Cranefield, Stephen; Purvis, Martin; Nowostawski, Mariusz
    This paper proposes the use of the Unified Modelling Language (UML) as a formalism for defining an abstract syntax for Agent Communication Languages (ACLs) and their associated content languages. It describes an approach ...
  • Reliable group communication and institutional actions in a multi-agent trading scenario 

    Cranefield, Stephen
    The use of asynchronous communication is traditionally seen to be an important element of an agent’s autonomy. This paper argues that groups of agents within a society need the ability to choose forms of communication with ...
  • Is it an ontology or an abstract syntax? Modelling objects, knowledge and agent messages 

    Cranefield, Stephen; Purvis, Martin; Nowostawski, Mariusz
    This paper describes a system of interlinked ontologies to describe the concepts underlying FIPA agent communication. A meta-modelling approach is used to relate object-oriented domain ontologies and abstract models of ...
  • Assurance of agent systems: What role should formal verification play? 

    Winikoff, Michael
    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. ...
  • Platforms for agent-oriented software 

    Nowostawski, Mariusz; Bush, Geoff; Purvis, Martin; Cranefield, Stephen
    The use of modelling abstractions to map from items in the real-world to objects in the computational domain is useful both for the effective implementation of abstract problem solutions and for the management of software ...
  • Opal: A multi-level infrastructure for agent-oriented software development 

    Purvis, Martin; Cranefield, Stephen; Nowostawski, Mariusz; Carter, Daniel
    The Opal architecture for software development is described that supports the use of agent-oriented concepts at multiple levels of abstraction. At the lowest level are micro-agents, streamlined agents that can be used for ...
  • A collaborative Web-based issue based information system (IBIS) framework 

    Ebadi, Toktam; Purvis, Martin; Purvis, Maryam A.
    This research focuses on the design and development of an IBIS-based tool called IBISMod, which facilitates a distributed and collaborative decision-making process. IBIS-based systems help analysts and designers in the ...
  • Communicative acts and interaction protocols in a distributed information system 

    Nowostawski, Mariusz; Carter, Dan; Cranefield, Stephen; Purvis, Martin
    In FIPA-style multi-agent systems, agents coordinate their activities by sending messages representing particular communicative acts (or performatives). Agent communication languages must strike a balance between simplicity ...
  • UML-based ontology modelling for software agents 

    Cranefield, Stephen; Haustein, Stefan; Purvis, Martin
    Ontologies play an important role in defining the terminology that agents use in the exchange of knowledge-level messages. As object-oriented modelling, and the Unified Modeling Language (UML) in particular, have built up ...
  • The concept of autonomy in distributed computation and multi-agent systems 

    Nowostawski, Mariusz; Purvis, Martin
    The concept of autonomy is a central concept in distributed computational systems and in multi-agent systems in particular. With diverse implications in philosophy and despite frequent use in social sciences and the theory ...
  • Automating information processing tasks: an agent-based architecture 

    Cranefield, Stephen; McKinlay, Bryce; Moreale, Emanuela; Purvis, Martin
    This paper describes an agent-based architecture designed to provide automation support for users who perform information processing tasks using a collection of distributed and disparate software tools and on-line resources. ...
  • Communicating agents: an emerging approach for distributed heterogeneous systems 

    Cranefield, Stephen; Gorman, Paul; Purvis, Martin
    The concept of an intelligent software agent has emerged from its origins in artificial intelligence laboratories to become an important basis for the development of distributed systems in the mainstream computer science ...
  • On the testability of BDI agent systems 

    Winikoff, Michael; Cranefield, Stephen
    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 adaptive ...

View more