Semantic methods for execution-level business modeling: Modeling support through process verification and service composition

被引：0
|
作者：
Weber, Ingo M. [1 ]
机构：
[1] University of New South Wales, School of Computer Science and Engineering, Sydney, NSW 2052, Australia
来源：
Lecture Notes in Business Information Processing | 2009年 / 40 LNBIP卷
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：1 / 303
相关论文
共 50 条
  • [1] Supporting Execution-Level Business Process Modeling with Semantic Technologies
    Born, Matthias
    hoffmann, Joerg
    Kaezmarek, Tomasz
    Kowalkiewicz, Marek
    Markovic, Ivan
    Scicluna, James
    Weber, Ingo
    Zhon, Xuan
    DATABASE SYSTEMS FOR ADVANCED APPLICATIONS, PROCEEDINGS, 2009, 5463 : 759 - +
  • [2] Information gathering for semantic service discovery and composition in business process modeling
    May, Norman
    Weber, Ingo
    ADVANCES IN ENTERPRISE ENGINEERING I, PROCEEDINGS, 2008, 10 : 46 - 60
  • [3] Business process modeling and verification under service cooperation environment
    Fu, Ning
    Zhou, Xingshe
    Zhan, Tao
    Xibei Gongye Daxue Xuebao/Journal of Northwestern Polytechnical University, 2010, 28 (04): : 591 - 596
  • [4] Modeling and Monitoring Business Process Execution
    Bertoli, Piergiorgio
    Dragoni, Mauro
    Ghidini, Chiara
    Martufi, Emanuele
    Nori, Michele
    Pistore, Marco
    Di Francescomarino, Chiara
    SERVICE-ORIENTED COMPUTING, ICSOC 2013, 2013, 8274 : 683 - 687
  • [5] Process Mining for Semantic Business Process Modeling
    Lautenbacher, Florian
    Bauer, Bernhard
    Foerg, Sebastian
    2009 13TH ENTERPRISE DISTRIBUTED OBJECT COMPUTING CONFERENCE WORKSHOPS (EDOCW 2009), 2009, : 45 - 53
  • [6] A Business Process Modeling and Verification Architecture
    Hou Hong
    Wang Shangyu
    Hao Ke-gang
    Song QinBao
    2009 SECOND INTERNATIONAL CONFERENCE ON FUTURE INFORMATION TECHNOLOGY AND MANAGEMENT ENGINEERING, FITME 2009, 2009, : 73 - +
  • [7] Towards unified business process modeling and verification for role-based resource-oriented service composition
    Gao, Ming (gm@dufe.edu.cn), 1600, Science and Engineering Research Support Society (09):
  • [8] QoS modeling and automatic generation from SoaML service models for business process execution
    Delgado, Andrea
    2015 IEEE 12TH INTERNATIONAL CONFERENCE ON SERVICES COMPUTING (SCC 2015), 2015, : 522 - 529
  • [9] From Secure Business Process Modeling to Design-Level Security Verification
    Ramadan, Qusai
    Salnitri, Mattia
    Strueber, Daniel
    Juerjens, Jan
    Giorgini, Paolo
    2017 ACM/IEEE 20TH INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS (MODELS 2017), 2017, : 123 - 133
  • [10] Algebraic modeling and verification of Web service composition
    Rai, Gopal N.
    Gangadharan, G. R.
    Padmanabhan, Vineet
    6TH INTERNATIONAL CONFERENCE ON AMBIENT SYSTEMS, NETWORKS AND TECHNOLOGIES (ANT-2015), THE 5TH INTERNATIONAL CONFERENCE ON SUSTAINABLE ENERGY INFORMATION TECHNOLOGY (SEIT-2015), 2015, 52 : 675 - 679
12345