A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Filters
Towards Reuse in Agent Oriented Information Systems: The Importance of Being Purposive
[chapter]
2004
Lecture Notes in Computer Science
Preserved Fulltext
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]
2010
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2013
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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]
2003
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2004; you can also visit the original URL.
The file type is application/pdf.
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
2002
Proceedings of the 2002 ACM symposium on Applied computing - SAC '02
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2002
Proceedings of the 2002 ACM symposium on Applied computing - SAC '02
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2005
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2008; you can also visit the original URL.
The file type is application/pdf.
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
2010
Scientific Journal of Riga Technical University Computer Sciences
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2010
Autonomous Agents and Multi-Agent Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
1999
Formal Methods for Open Object-Based Distributed Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2013
International Journal of Simulation Modelling
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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)
2002
Knowledge engineering review (Print)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2004; you can also visit the original URL.
The file type is application/pdf.
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]
1997
IFIP Advances in Information and Communication Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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]
2001
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2021
Electronics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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