Formalized organization model based on seal-calculus

被引：0
|
作者：
Institute of Software, Chinese Acad. of Sci., Beijing 100084, China [1 ]
机构：
来源：
Xitong Fangzhen Xuebao / Journal of System Simulation | 2008年 / 20卷 / 06期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Organization is the main formalization in group confrontation. A consummate organization model is beneficial for raising recognition's precision and efficiency. Seal is an extension of the π-calculus with process mobility. A formalized organization model and a Role-Based method of forming a hierarchy organization based on Seal-Calculus were proposed, and a new means for research on formalized organization model in dynamic organization was provided. The organization dynamic variety was discussed because of the role change.
引用
收藏
页码：1455 / 1458
相关论文
共 50 条
  • [21] Extended ambient calculus based virtual organization modeling and analyzing
    School of Computer and Software, Zhejiang University, Hangzhou 310027, China
    不详
    Moshi Shibie yu Rengong Zhineng, 2008, 5 (577-585):
  • [22] Efficient Management of Multi-Linked Negotiation Based on a Formalized Model
    Xiaoqin Zhang
    Victor Lesser
    Sherief Abdallah
    Autonomous Agents and Multi-Agent Systems, 2005, 10 : 165 - 205
  • [23] Efficient management of multi-linked negotiation based on a formalized model
    Zhang, XQ
    Lesser, V
    Abdallah, S
    AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS, 2005, 10 (02) : 165 - 205
  • [24] A leakage model for a seal-on-seal structure based on porous media method
    Liao, Chuanjun
    Chen, Haipeng
    Lu, Haoran
    Dong, Ruitao
    Sun, Hailiang
    Chang, Xiaohua
    INTERNATIONAL JOURNAL OF PRESSURE VESSELS AND PIPING, 2020, 188 (188)
  • [25] A frame for extended Seal calculus language and its construction
    Zhang, Licui
    Zhang, Jing
    Fan, Yaqin
    CMESM 2006: PROCEEDINGS OF THE 1ST INTERNATIONAL CONFERENCE ON ENHANCEMENT AND PROMOTION OF COMPUTATIONAL METHODS IN ENGINEERING SCIENCE AND MECHANICS, 2006, : 391 - 395
  • [26] Formalized model and implementation of service virtualization
    Guo, DK
    Zhao, L
    Chen, HH
    Luo, XS
    2005 IEEE INTERNATIONAL CONFERENCE ON WEB SERVICES, VOLS 1 AND 2, PROCEEDINGS, 2005, : 835 - 836
  • [27] Per-Flow Delay Bound Analysis Based on a Formalized Microarchitectural Model
    Zhao, Xueqian
    Lu, Zhonghai
    2013 SEVENTH IEEE/ACM INTERNATIONAL SYMPOSIUM ON NETWORKS-ON-CHIP (NOCS 2013), 2013,
  • [28] A π-calculus based model for web services composition
    Wu, Huaiguang
    Zhong, Farong
    Duan, Zhejie
    2006 1ST INTERNATIONAL SYMPOSIUM ON PERVASIVE COMPUTING AND APPLICATIONS, PROCEEDINGS, 2006, : 613 - +
  • [29] The Hybrid Model of the Weakly Formalized Dynamic Process Based on the Fuzzy Production System
    Lyashchenko, Alexey
    Ruban, Vladimir
    Lyashchenko, Zoya
    PROCEEDINGS OF THE SECOND INTERNATIONAL SCIENTIFIC CONFERENCE INTELLIGENT INFORMATION TECHNOLOGIES FOR INDUSTRY (IITI'17), VOL 1, 2018, 679 : 276 - 285
  • [30] A calculus based on the agent-place model
    Taguchi, E
    Araki, K
    SECOND INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, PROCEEDINGS, 1998, : 56 - 63
12345