Formal framework for agent-oriented analysis and design based on grid

被引：1
|
作者：
Liu, Wei [1 ]
Liu, Zongtian [1 ]
机构：
[1] School of Computer Engineering and Science, Shanghai University, Shanghai 200072, China
来源：
Jisuanji Yanjiu yu Fazhan/Computer Research and Development | 2005年 / 42卷 / 08期
关键词：
D O I：
10.1360/crad20050815
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：1376 / 1383
相关论文
共 50 条
  • [11] Formal Methods in Agent-Oriented Software Engineering
    El Fallah-Seghrouchni, Amal
    Gomez-Sanz, Jorge J.
    Singh, Munindar P.
    AGENT-ORIENTED SOFTWARE ENGINEERING X, 2011, 6038 : 213 - +
  • [12] UML-F in the Design of an Agent-Oriented Software Framework
    Cabrera-Paniagua, Daniel
    Cubillos, Claudio
    INTELLIGENT AGENTS AND MULTI-AGENT SYSTEMS, PROCEEDINGS, 2008, 5357 : 121 - 126
  • [13] Agent-oriented formal specification of Web services
    Zhu, H
    Zhou, B
    Mao, XJ
    Shan, LJ
    Duce, D
    GRID AND COOPERATIVE COMPUTING GCC 2004 WORKSHOPS, PROCEEDINGS, 2004, 3252 : 633 - 641
  • [14] A framework for modeling agent-oriented software
    Xu, HP
    Shatz, SM
    21ST INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS, PROCEEDINGS, 2001, : 57 - 64
  • [15] A framework for the evaluation of agent-oriented methodologies
    Abdelaziz, T.
    Elammari, M.
    Unland, R.
    2007 INNOVATIONS IN INFORMATION TECHNOLOGIES, VOLS 1 AND 2, 2007, : 139 - +
  • [16] A framework for evaluating agent-oriented methodologies
    Sturm, A
    Shehory, O
    AGENT-ORIENTED INFORMATION SYSTEMS, 2003, 3030 : 94 - 109
  • [17] Formal Analysis and Verification of Agent-Oriented Supply-Chain Management
    Shoukat, Muhammad Zubair
    Atif, Muhammad
    Hasrat, Imran Riaz
    Mushtaq, Nadia
    Ahmed, Ijaz
    INTERNATIONAL JOURNAL OF ADVANCED COMPUTER SCIENCE AND APPLICATIONS, 2018, 9 (06) : 409 - 416
  • [18] Agent-oriented analysis and design of organisational information systems
    Wagner, G
    DATABASES AND INFORMATION SYSTEMS, 2001, : 111 - 124
  • [19] A framework for agent-oriented software engineering based on an analytical survey
    Ayatollahzadeh Shirazi, M.R.
    Abdollahzadeh Barfouroush, A.
    Iranian Journal of Electrical and Computer Engineering, 2007, 6 (01): : 36 - 47
  • [20] Formal agent-oriented modeling with UML and graph transformation
    Depke, R
    Heckel, R
    Küster, JM
    SCIENCE OF COMPUTER PROGRAMMING, 2002, 44 (02) : 229 - 252
12345