Otago University Research Archive

Browsing Software Engineering & Collaborative Modelling Laboratory by Date Added

Otago University Research Archive

Browsing Software Engineering & Collaborative Modelling Laboratory by Date Added

Sort by: Order: Results:

  • van Koten, Chikako (Other Type, 2007)
    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 ...
  • Winikoff, Michael; Cranefield, Stephen (Other Type, 2010)
    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 ...
  • Fumarola, Francesco (Dissertation, 2005)
    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 ...
  • Cranefield, Stephen; Pan, Jin (Journal Article, International Journal of Human-Computer Studies, 2007)
    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 ...
  • Cranefield, Stephen; Winikoff, Michael (Journal Article, Journal of Logic and Computation, 2010)
    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 ...
  • Frantz, Christopher (Dissertation, Postgraduate Diploma of Science in Software Engineering, 2009)
    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 ...
  • Purvis, Martin; Lemalu, Selena; Purvis, Maryam A. (Discussion Paper, 2000)
    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 ...
  • Cranefield, Stephen; Purvis, Martin; Nowostawski, Mariusz (Discussion Paper, 2001)
    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 ...
  • Cranefield, Stephen (Discussion Paper, 2004)
    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 ...
  • Cranefield, Stephen; Purvis, Martin; Nowostawski, Mariusz (Discussion Paper, 2000)
    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 ...
  • Winikoff, Michael (Discussion Paper, 2010)
    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. ...
  • Nowostawski, Mariusz; Bush, Geoff; Purvis, Martin; Cranefield, Stephen (Discussion Paper, 2000)
    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 ...
  • Purvis, Martin; Cranefield, Stephen; Nowostawski, Mariusz; Carter, Daniel (Discussion Paper, 2002)
    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 ...
  • Ebadi, Toktam; Purvis, Martin; Purvis, Maryam A. (Discussion Paper, 2009)
    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 ...
  • Nowostawski, Mariusz; Carter, Dan; Cranefield, Stephen; Purvis, Martin (Discussion Paper, 2003)
    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 ...
  • Cranefield, Stephen; Haustein, Stefan; Purvis, Martin (Discussion Paper, 2001)
    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 ...
  • Nowostawski, Mariusz; Purvis, Martin (Discussion Paper, 2007)
    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 ...
  • Cranefield, Stephen; McKinlay, Bryce; Moreale, Emanuela; Purvis, Martin (Discussion Paper, 1998)
    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. ...
  • Cranefield, Stephen; Gorman, Paul; Purvis, Martin (Discussion Paper, 1995)
    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 ...
  • Winikoff, Michael; Cranefield, Stephen (Discussion Paper, 2008)
    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 ...