Filters








160,171 Hits in 3.6 sec

Towards Reuse in Agent Oriented Information Systems: The Importance of Being Purposive [chapter]

Simon Goss, Clint Heinze, Michael Papasimeon, Adrian Pearce, Leon Sterling
2004 Lecture Notes in Computer Science  
The aim of this paper is to present a modelling approach that unifies business models, use case * models, agent behavioural models and domain models, for the purpose of specifying an agent oriented information  ...  At the same time, there has been a move toward techniques for specifying the behaviours of and the knowledge associated with intelligent agents as these are increasingly found as important components of  ...  Agent behavioural modelling can use the same UML notation used for use case and business modelling.  ... 
doi:10.1007/978-3-540-25943-5_8 fatcat:6i55dc2q6fbpxc3ulbdd2e6t5e

Unifying the Semantics of UML 2 State, Activity and Interaction Diagrams [chapter]

Jens Kohlmeyer, Walter Guttmann
2010 Lecture Notes in Computer Science  
The behaviour of software models can henceforth be specified by composing these diagrams, choosing the most adequate formalism at each level of abstraction.  ...  We define a formal semantics of the combined use of UML 2 state machines, activities and interactions using Abstract State Machines.  ...  UML use case diagrams capture the high-level requirements of a system, but do not specify behaviour on their own. They are instead linked to behaviour specified by the above language units.  ... 
doi:10.1007/978-3-642-11486-1_18 fatcat:qoalwv33bzacda577w7zoz5gja

Towards the Automatic Identification of Faulty Multi-Agent Based Simulation Runs Using MASTER [chapter]

Chris J. Wright, Phil McMinn, Julio Gallardo
2013 Lecture Notes in Computer Science  
The operation of MASTER is presented with two case studies, the first with the well-known "flockers" model supplied with the popular MASON agent-based modelling toolkit, and the second a skin tissue model  ...  written using another toolkit-FLAME.  ...  Case Study 1: Flockers Model The "Flockers" model in MASON simulates a number of agents exhibiting coordinated movement with one another, as seen with natural flocks of birds or shoals of fish.  ... 
doi:10.1007/978-3-642-38859-0_11 fatcat:tyki7xk2qvd6xewf6qgq6soud4

CoSDL - An Experimental Language for Collaboration Specification [chapter]

Frank Rößler, Birgit Geppert, Reinhard Gotzhein
2003 Lecture Notes in Computer Science  
The decomposition of distributed systems is often driven by its process structure only, focusing on the behaviour of individual agents.  ...  In particular, we introduce the experimental formal description technique CoSDL, which was designed as a "proof of concept" for collaboration-based design with SDL.  ...  Note that each behaviour segment has a name label that specifies an instance name and an agent type. If no replicas are used, the instance name denotes a specific agent instance.  ... 
doi:10.1007/3-540-36573-7_1 fatcat:hsf2aqa63zh3rcfk5cmszar2ma

Semi-automatic design of agent organisations

Anthony Karageorgos, Simon Thompson, Nikolay Mehandjiev
2002 Proceedings of the 2002 ACM symposium on Applied computing - SAC '02  
The applicability of the semi-antomatic agent organ[sat[on design approach is demonstrated by an example drawn from a case study involving telephone repair service teams.  ...  agent system designers to reason at a high abstraction level and conveniently re-use previous design decisions.  ...  This paper describes part of a work where an attempt to extract role relations from human organisations with an eye on using them to specify agent behaviour has been made.  ... 
doi:10.1145/508791.508853 dblp:conf/sac/KarageorgosTM02 fatcat:zr27a65g2rdhbgvpuh64mhvc3m

Semi-automatic design of agent organisations

Anthony Karageorgos, Simon Thompson, Nikolay Mehandjiev
2002 Proceedings of the 2002 ACM symposium on Applied computing - SAC '02  
The applicability of the semi-antomatic agent organ[sat[on design approach is demonstrated by an example drawn from a case study involving telephone repair service teams.  ...  agent system designers to reason at a high abstraction level and conveniently re-use previous design decisions.  ...  This paper describes part of a work where an attempt to extract role relations from human organisations with an eye on using them to specify agent behaviour has been made.  ... 
doi:10.1145/508848.508853 fatcat:75zgsqlkobhizbde7e6wwdz73m

Multi-agent System Specification Using TCOZ [chapter]

Tim Miller, Peter McBurney
2005 Lecture Notes in Computer Science  
This paper discusses the suitability of several TCOZ constructs in specifying multi-agent systems, and presents a small, yet non-trivial case study of a multi-agent system specification using TCOZ.  ...  TCOZ is a specification language that combines the strengths of Object-Z and Timed CSP with the goal of specifying distributed systems containing objects that act independently and concurrently.  ...  Case Study In this section, we present a case study of a small, yet non-trivial, multi-agent system specified in TCOZ.  ... 
doi:10.1007/11550648_20 fatcat:pyvxsaanajhfhi4hxjesutxeqy

Multi-Agent Based Intelligent Tutoring System Source Code Generation Using MASITS Tool

Egons Lavendelis, Janis Grundspenkis
2010 Scientific Journal of Riga Technical University Computer Sciences  
JADE platform is used for agent implementation. Thus, Java classes for ontology, agents and behaviours are generated from the design diagrams.  ...  The tool supports all phases of ITS development, starting from requirements analysis and ending with deployment.  ...  Task-agent diagram is a task hierarchy with agents specified for each task. Tasks are created according to the steps of use case scenarios (for details, see [17] ). • Use case maps.  ... 
doi:10.2478/v10143-010-0021-y fatcat:efkjhotmwzgblifavt3xomudqe

Specifying recursive agents with GDTs

Bruno Mermet, Gaële Simon
2010 Autonomous Agents and Multi-Agent Systems  
Using an agent for each task is a way to specify parallel tasks.  ...  with several robots of type R2) has shown it should be adequate to specify and implement real-size problems, even if the lack of a CASE-tool to support the method prevents us from proceeding to such an  ... 
doi:10.1007/s10458-010-9139-0 fatcat:pamhuex4lvdkbhgdh4tbd3yree

SDL in Rigorous Object-Oriented Analysis [chapter]

Robert G. Clark, Ana M. D. Moreira
1999 Formal Methods for Open Object-Based Distributed Systems  
To simplify this, we first build a formal user-centred model that specifies behaviour from the viewpoint of the environment.  ...  The user-centred model is validated with respect to the requirements.  ...  In the analysis phase, they use OMT [10] and represent the use case model by message sequence charts.  ... 
doi:10.1007/978-0-387-35562-7_17 fatcat:ryfrpxunl5eydns4vbflg6sqp4

Role-Based Command Hierarchy Model for Warfare Simulation

H. S. Kim, S. W. Lee
2013 International Journal of Simulation Modelling  
The equipment agent with this communication model delivers these tasks to the behaviour agent. The behaviour agent translates tasks into behaviours and issues the triggers required by each behaviour.  ...  / Physical Model Equipment Sensor / Actuator Equipment Agent / Equipment Model Behaviour Logic Behaviour Agent / Behaviour Model Cognition Model Controller Behaviour Agent Intra Unit Communication  ... 
doi:10.2507/ijsimm12(4)4.249 fatcat:xpnetnrm5zdcxcrac74wlm6d6a

RAMASD: a semi-automatic method for designing agent organisations This work has been supported by BT under a grant from the office of the Chief Technologist (No. ML816801/MH354166)

ANTHONY KARAGEORGOS, NIKOLAY MEHANDJIEV, SIMON THOMPSON
2002 Knowledge engineering review (Print)  
Level 2: the degree of formality present in each methodology This divides methodologies into formal, informal and ad hoc, based on the techniques used to specify the behaviour of each agent.  ...  Formal methodologies use formal techniques for specification and verification of agent behaviour.  ...  According to Kendall and Zhao (1998) a way to identify roles in an application domain is to start by identifying use-cases, associating each use-case with a goal, creating a goal hierarchy from the use-case  ... 
doi:10.1017/s0269888903000572 fatcat:jyte5rjeefbv7hgmcksyb4674m

Formal user-centred models [chapter]

Robert G. Clark, Ana M. D. Moreira
1997 IFIP Advances in Information and Communication Technology  
Rapid prototyping can be used to validate the user-centred model with respect to the requirements and the informal task of validating the objectoriented specification can be replaced by the formal task  ...  As informal requirements are usually expressed in terms of the behaviour which the environment expects from a system, we propose that the construction of a formal and executable user-centred model should  ...  The set of test cases used to validate the user-centred model with respect to the informal requirements were used to check that the two models specify the same behaviour.  ... 
doi:10.1007/978-0-387-35261-9_15 fatcat:otsnjq44wjas5e67snbhwmxelq

Formal Specification of Agent Behaviour through Environment Scenarios [chapter]

Hong Zhu
2001 Lecture Notes in Computer Science  
The paper also shows that agents' social behavior, such as speech act, can also be formally specified as scenario-reaction rules.  ...  The autonomous and collaborative behavior of an agent can be formally specified by a set of rules describing its activity in various scenarios.  ...  The object-oriented paradigm is lack of a method to analyse the consistency between use cases (or scenarios) and requirements models and a method to synthesise requirements models from use cases or scenarios  ... 
doi:10.1007/3-540-45484-5_21 fatcat:g3psv2kwsrgejfhngnvwldjuja

Agent in a Box: A Framework for Autonomous Mobile Robots with Beliefs, Desires, and Intentions

Patrick Gavigan, Babak Esfandiari
2021 Electronics  
This paper provides the Agent in a Box for developing autonomous mobile robots using Belief-Desire-Intention (BDI) agents.  ...  This method was used for demonstrating the capability of BDI agents to control robots for a variety of application domains.  ...  These annotations could use categories, such as health or mission, to specify the type of behaviour associated with each event.  ... 
doi:10.3390/electronics10172136 fatcat:texcjwmrs5e7rbqrsrmsiep3lm
« Previous Showing results 1 — 15 out of 160,171 results