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 条
  • [1] FORMALIZATION OF AGENT-ORIENTED SYSTEMS
    Gorokhovsky, S. S.
    Glybovets, A. N.
    Popov, O. A.
    CYBERNETICS AND SYSTEMS ANALYSIS, 2012, 48 (03) : 406 - 413
  • [2] Reviewing On the Formalization of the Agent-Oriented Methodologies: Tropos and Prometheus
    Golparyan, Mitra
    Behpour, Sarah
    2013 5TH CONFERENCE ON INFORMATION AND KNOWLEDGE TECHNOLOGY (IKT), 2013, : 284 - 289
  • [3] Agent-oriented captology for anthropocentric systems
    Barbat, BE
    LARGE SCALE SYSTEMS: THEORY AND APPLICATIONS 2001 (LSS'01), 2001, : 217 - 222
  • [4] An agent-oriented conceptual framework for systems biology
    Cannata, N
    Corradini, F
    Merelli, E
    Omicini, A
    Ricci, A
    TRANSACTIONS ON COMPUTATIONAL SYSTEMS BIOLOGY II, 2005, 3737 : 105 - 122
  • [5] Complex systems and agent-oriented software engineering
    Pavon, Juan
    Garijo, Francisco
    Gomez-Sanz, Jorge
    ENGINEERING ENVIRONMENT-MEDIATED MULTI-AGENT SYSTEMS, 2008, 5049 : 3 - +
  • [6] Integration of planning systems and an agent-oriented MES
    Department of Mechanics, Faculty of Applied Science, K.U. Leuven, Belgium
    Int. J. Manuf. Technol. Manage., 2006, 1-3 (159-174):
  • [7] Traceability and Completeness Checking for Agent-Oriented Systems
    Cysneiros, Gilberto
    Zisman, Andrea
    APPLIED COMPUTING 2008, VOLS 1-3, 2008, : 71 - +
  • [8] An agent-oriented approach to industrial automation systems
    Wagner, T
    AGENT TECHNOLOGIES, INFRASTRUCTURES, TOOLS, AND APPLICATIONS FOR E-SERVICES, 2002, 2592 : 314 - 328
  • [9] Agent-Oriented Embedded Electronic Measuring Systems
    Chan, Hing Kai
    COMMUNICATIONS OF THE ACM, 2010, 53 (03) : 157 - 162
  • [10] Agent-oriented computing for distributed systems and networks
    Ganzha, Maria
    Paprzycki, Marcin
    JOURNAL OF NETWORK AND COMPUTER APPLICATIONS, 2014, 37 : 45 - 46
12345