Formalization of agent-oriented systems

被引：0
|
作者：
S. S. Gorokhovskyi
A. N. Glybovets
O. A. Popov
机构：
[1] National University of Kyiv-Mohyla Academy,
来源：
Cybernetics and Systems Analysis | 2012年 / 48卷 / 3期
关键词：
agents; agent-oriented systems; formal models of agents;
D O I：
10.1007/s10559-012-9420-0
中图分类号：
学科分类号：
摘要：
The paper analyzes formal models of agents, their role in the design of agent-oriented systems, their use at the stage of designing an agent-based system, as well as the degree of application of formal models of agents in software design methodologies.
引用
收藏
页码：406 / 413
页数：7
相关论文
共 50 条
  • [41] 试论Agent-oriented方法
    程明
    关旭
    天津理工学院学报, 2000, (04) : 77 - 81
  • [42] Using scenarios for contextual design in agent-oriented information systems
    Kim, K
    Carroll, JM
    Rosson, MB
    CONCEPTUAL MODELING FOR NOVEL APPLICATION DOMAINS, PROCEEDINGS, 2003, 2814 : 241 - 243
  • [43] Heterogeneous database integration using agent-oriented information systems
    McDonald, JT
    Talbert, ML
    DeLoach, SA
    IC-AI'2000: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOL 1-III, 2000, : 1359 - 1365
  • [44] ASPECS: an agent-oriented software process for engineering complex systems
    Cossentino, Massimo
    Gaud, Nicolas
    Hilaire, Vincent
    Galland, Stephane
    Koukam, Abderrafiaa
    AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS, 2010, 20 (02) : 260 - 304
  • [45] Agent-oriented approach for dealing with open giant intelligent systems
    Cao, Longbing
    Dai, Ruwei
    Moshi Shibie yu Rengong Zhineng/Pattern Recognition and Artificial Intelligence, 2002, 15 (03):
  • [46] Study of mission planning systems based on agent-oriented technique
    Zhang, Ke
    Shao, Changsheng
    Qiang, Wenyi
    Gaojishu Tongxin/High Technology Letters, 2002, 12 (05):
  • [47] Environmental decision support systems An agent-oriented integration infrastructure
    Serment, Julien
    Espinasse, Bernard
    Tranvouez, Erwan
    JOURNAL OF DECISION SYSTEMS, 2008, 17 (02) : 269 - 300
  • [48] Agent-oriented analysis of cruise missile weapon control systems
    Zhang, Ou-Ya
    Tong, Ming-An
    Xi Tong Gong Cheng Yu Dian Zi Ji Shu/Systems Engineering and Electronics, 2007, 29 (02): : 237 - 242
  • [49] Agent-Oriented Approach Based on Discrete Event Systems (WIP)
    Bisgambiglia, Paul-Antoine
    Bisgambiglia, Paul Antoine
    Franceschini, Romain
    SYMPOSIUM ON THEORY OF MODELING & SIMULATION - DEVS INTEGRATIVE M&S SYMPOSIUM (DEVS 2013) - 2013 SPRING SIMULATION MULTI-CONFERENCE (SPRINGSIM'13), 2013, 45 (04): : 190 - 195
  • [50] Task hibernation in a formal model of agent-oriented computing systems
    Smolka, Maciej
    COMPUTATIONAL SCIENCE - ICCS 2008, PT 3, 2008, 5103 : 535 - 544
12345