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 条
  • [21] MASUP: An agent-oriented modeling process for information systems
    Bastos, RM
    Ribeiro, MB
    SOFTWARE ENGINEERING FOR MULTI-AGENT SYSTEMS III: RESEARCH ISSUES AND PRACTICAL APPLICATIONS, 2004, 3390 : 19 - 35
  • [22] Agent-oriented architecture for monitoring and diagnosis in supervisory systems
    Garcia, A
    Lucena, C
    COMPUTER SYSTEMS SCIENCE AND ENGINEERING, 2006, 21 (02): : 85 - 86
  • [23] Agent-oriented modelling and integration of process operation systems
    Cheng, HN
    Qian, L
    Li, XX
    Li, HH
    EUROPEAN SYMPOSIUM ON COMPUTER AIDED PROCESS ENGINEERING - 13, 2003, 14 : 599 - 604
  • [24] Agent-oriented information systems development using open and the agent factory
    Henderson-Sellers, B
    Tran, QNN
    Debenham, J
    Gonzalez-Perez, C
    Information Systems Development: Advances in Theory, Practice, and Education, 2005, : 149 - 160
  • [25] Developing agent-oriented video surveillance system through agent-oriented methodology (AOM)
    Shiang C.W.
    Onn B.T.
    Tee F.S.
    Bin Khairuddin M.A.
    Mahunnah M.
    Shiang, Cheah Wai (c.waishiang@gmail.com), 1600, University of Zagreb, Faculty of Political Sciences (24): : 349 - 368
  • [26] Agent-oriented software engineering
    Bernon, C
    Cossentino, M
    Pavón, J
    KNOWLEDGE ENGINEERING REVIEW, 2005, 20 (02): : 99 - 116
  • [27] Agent-oriented software engineering
    Jennings, NR
    MULTIPLE APPROACHES TO INTELLIGENT SYSTEMS, PROCEEDINGS, 1999, 1611 : 4 - 10
  • [28] Agent-oriented software development
    Mylopoulos, J
    Kolp, M
    Giorgini, P
    METHODS AND APPLICATIONS OF ARTIFICIAL INTELLIGENCE, 2002, 2308 : 3 - 17
  • [29] Agent-oriented traffic simulation
    Burmeister, B
    Doormann, J
    Matylis, G
    TRANSACTIONS OF THE SOCIETY FOR COMPUTER SIMULATION, 1997, 14 (02): : 79 - 86
  • [30] Comparing agent-oriented methodologies
    Dam, KH
    Winikoff, M
    AGENT-ORIENTED INFORMATION SYSTEMS, 2003, 3030 : 78 - 93
12345