Process algebra-based formal service description method

被引：0
|
作者：
机构：
[1] Bai, Yu
[2] Zhang, Yaoxue
[3] Zhou, Yuezhi
来源：
Zhang, Y. (zhangyx@mail.tsinghua.edu.cn) | 1769年 / Tsinghua University卷 / 52期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] Process Algebra-Based Description for Software Requirement
    Zhan, Haomin
    Yin, Guisheng
    Sun, Changsong
    Shen, Linshan
    Ni, Jun
    2008 INTERNATIONAL MULTISYMPOSIUMS ON COMPUTER AND COMPUTATIONAL SCIENCES (IMSCCS), 2008, : 184 - +
  • [2] A Formal Method for Description and Decision of Android Apps Behavior Based on Process Algebra
    Liang, Dongkui
    Shen, Limin
    Chen, Zhen
    Ma, Chuan
    Feng, Jiayin
    IEEE ACCESS, 2022, 10 : 108668 - 108683
  • [3] Process Algebra-Based Query Workflows
    Hornung, Thomas
    May, Wolfgang
    Lausen, Georg
    ADVANCED INFORMATION SYSTEMS ENGINEERING, PROCEEDINGS, 2009, 5565 : 440 - +
  • [4] Formal Modeling and Performance Evaluation for Hybrid Systems: A Probabilistic Hybrid Process Algebra-Based Approach
    Wang, Fujun
    Cao, Zining
    Tan, Lixing
    Li, Zhen
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2022, 32 (02) : 283 - 315
  • [5] Process algebra-based computational tools in ecological modelling
    Jordan, Ferenc
    Scotti, Marco
    Priami, Corrado
    ECOLOGICAL COMPLEXITY, 2011, 8 (04) : 357 - 363
  • [6] An algebra-based method for inferring gene regulatory networks
    Vera-Licona, Paola
    Jarrah, Abdul
    Garcia-Puente, Luis David
    McGee, John
    Laubenbacher, Reinhard
    BMC SYSTEMS BIOLOGY, 2014, 8
  • [7] ALGEBRA-BASED METROLOGY
    IOVINE, V
    ELETTROTECNICA, 1991, 78 (06): : 556 - 557
  • [8] An algebra-based method to associate rewards with EMPA terms
    Bernardo, M
    AUTOMATA, LANGUAGES AND PROGRAMMING, 1997, 1256 : 358 - 368
  • [9] Algebra-Based Loop Synthesis
    Humenberger, Andreas
    Bjorner, Nikolaj
    Kovacs, Laura
    INTEGRATED FORMAL METHODS, IFM 2020, 2020, 12546 : 440 - 459
  • [10] A Formal Method for Service Choreography Verification Based on Description Logic
    Zhang, Tingting
    Lan, Yushi
    Yu, Minggang
    Zheng, Changyou
    Liu, Kun
    CMC-COMPUTERS MATERIALS & CONTINUA, 2020, 62 (02): : 893 - 904
12345