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 条
  • [1] Seal-Calculus Based Dynamic Evolution Model for Internetware
    Wang, Qi
    Wang, Yongbin
    MECHATRONICS ENGINEERING, COMPUTING AND INFORMATION TECHNOLOGY, 2014, 556-562 : 5333 - 5337
  • [2] Formalizing active networks security with seal-calculus
    Zheng, XJ
    Xu, T
    Jin, Y
    PARALLEL AND DISTRIBUTED PROCESSING AND APPLICATIONS, PROCEEDINGS, 2003, 2745 : 391 - 404
  • [3] Teaching a Formalized Logical Calculus
    From, Asta Halkjaer
    Jensen, Alexander Birch
    Schlichtkrull, Anders
    Villadsen, Jorgen
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2020, (313): : 73 - 92
  • [4] The Seal Calculus
    Castagna, G
    Vitek, J
    Nardelli, FZ
    INFORMATION AND COMPUTATION, 2005, 201 (01) : 1 - 54
  • [5] INDUCTION PRINCIPLES FORMALIZED IN THE CALCULUS OF CONSTRUCTIONS
    HUET, G
    LECTURE NOTES IN COMPUTER SCIENCE, 1987, 249 : 276 - 286
  • [6] FORMALIZED METHODS OF ORGANIZATION RESEARCH
    SHEININ, RL
    AUTOMATION AND REMOTE CONTROL, 1988, 49 (10) : 1253 - 1277
  • [7] THE QUANTIFICATION OF SEAL CALCULUS
    Bu, Hao
    Chen, Shihong
    Zhu, Rong
    Tan, Xiaoqiong
    PROCEEDINGS OF THE 2016 5TH INTERNATIONAL CONFERENCE ON ADVANCED MATERIALS AND COMPUTER SCIENCE, 2016, 80 : 469 - 479
  • [8] Some lambda calculus and type theory formalized
    McKinna, J
    Pollack, R
    JOURNAL OF AUTOMATED REASONING, 1999, 23 (3-4) : 373 - 409
  • [9] Some Lambda Calculus and Type Theory Formalized
    James McKinna
    Robert Pollack
    Journal of Automated Reasoning, 1999, 23 : 373 - 409
  • [10] Model generation based on formalized requirements
    Magnus, Stephan
    Krause, Jan
    Diedrich, Christian
    AT-AUTOMATISIERUNGSTECHNIK, 2015, 63 (02) : 121 - 128
12345