Specifying instance correspondence in collaborative business processes

被引：0
|
作者：
Zhao, Xiaohui [1 ]
Liu, Chengfei [1 ]
Yang, Yun [1 ]
机构：
[1] Swinburne Univ Technol, Ctr Informat Technol Res, Fac Informat & Commun Technol, Melbourne, Vic 3122, Australia
来源：
ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2006: OTM 2006 WORKSHOPS, PT 1, PROCEEDINGS | 2006年 / 4277卷
基金：
澳大利亚研究理事会;
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：1 / +
页数：2
相关论文
共 50 条
  • [41] Verification of business processes for a correspondence handling center using CCS
    Schroeder, M
    VALIDATION AND VERIFICATION OF KNOWLEDGE BASED SYSTEMS: THEORY, TOOLS AND PRACTICE, 1999, : 253 - 266
  • [42] Collaborative Engineering of Inter-Enterprise Business Processes
    Teichmann, Gunter
    Schwartz, Eva-Maria
    Dittes, Frank-Michel
    WMSCI 2011: 15TH WORLD MULTI-CONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL II, 2011, : 352 - 356
  • [43] The Integration of Corporate Security Strategies in Collaborative Business Processes
    Badr, Youakim
    Biennier, Frederique
    Tata, Samir
    IEEE TRANSACTIONS ON SERVICES COMPUTING, 2011, 4 (03) : 243 - 254
  • [44] Semantic matching of web services for collaborative business processes
    Lei, Lihui
    Duan, Zhunhua
    Yu, Bin
    COMPUTER SUPPORTED COOPERATIVE WORK IN DESIGN III, 2007, 4402 : 479 - +
  • [45] Development of Collaborative Business Processes: A Correctness Enforcement Approach
    Mo, Qi
    Song, Wei
    Dai, Fei
    Lin, Leilei
    Li, Tong
    IEEE TRANSACTIONS ON SERVICES COMPUTING, 2022, 15 (02) : 752 - 765
  • [46] A Model-driven Architecture for Collaborative Business Processes
    Amdah, Leila
    Essadi, Naima
    Anwar, Adil
    INTERNATIONAL JOURNAL OF ADVANCED COMPUTER SCIENCE AND APPLICATIONS, 2021, 12 (08) : 719 - 725
  • [47] Verifying for Compliance to Data Constraints in Collaborative Business Processes
    Kasse, John Paul
    Xu, Lai
    deVrieze, Paul
    Bai, Yuewei
    COLLABORATIVE NETWORKS AND DIGITAL TRANSFORMATION, 2019, : 259 - 270
  • [48] A framework for the collaborative specification of semantically annotated business processes
    Di Francescomarino, Chiara
    Ghidini, Chiara
    Rospocher, Marco
    Serafini, Luciano
    Tonella, Paolo
    JOURNAL OF SOFTWARE MAINTENANCE AND EVOLUTION-RESEARCH AND PRACTICE, 2011, 23 (04): : 261 - 295
  • [49] A Correctness Checking Approach for Collaborative Business Processes in the Cloud
    Mo, Qi
    Wang, Yuqi
    Xiang, Jixiang
    Li, Tong
    COMPLEXITY, 2020, 2020
  • [50] Consistency verification between collaborative business processes and requirements
    Mo, Qi
    Dai, Fei
    Li, Tong
    2019 INTERNATIONAL CONFERENCE ON INTERNET OF THINGS (ITHINGS) AND IEEE GREEN COMPUTING AND COMMUNICATIONS (GREENCOM) AND IEEE CYBER, PHYSICAL AND SOCIAL COMPUTING (CPSCOM) AND IEEE SMART DATA (SMARTDATA), 2019, : 526 - 532
12345