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 条
  • [21] Modeling and Verification of Temporal Constraints for Web Service Composition
    Benabdelhafid, Maya Souilah
    Boubaker, Houda
    Boufaida, Mahmoud
    SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2020, 2021, 12524 : 21 - 29
  • [22] A formal approach to modeling and verification of business process collaborations
    Corradini, Flavio
    Fornari, Fabrizio
    Polini, Andrea
    Re, Barbara
    Tiezzi, Francesco
    SCIENCE OF COMPUTER PROGRAMMING, 2018, 166 : 35 - 70
  • [23] BPMO: Semantic business process Modeling and WSMO extension
    Yan, Zhixian
    Cimpian, Emilia
    Zaremba, Michal
    Mazzara, Manuel
    2007 IEEE INTERNATIONAL CONFERENCE ON WEB SERVICES, PROCEEDINGS, 2007, : 1185 - +
  • [24] Icebricks Business Process Modeling on the Basis of Semantic Standardization
    Becker, Joerg
    Clever, Nico
    Holler, Justus
    Shitkova, Maria
    DESIGN SCIENCE AT THE INTERSECTION OF PHYSICAL AND VIRTUAL DESIGN, 2013, 7939 : 394 - 399
  • [25] Towards a Methodology for Semantic Business Process Modeling and Configuration
    Weber, Ingo
    Hoffmann, Joerg
    Mendling, Jan
    Nitzsche, Joerg
    SERVICE-ORIENTED COMPUTING - ICSOC 2007, WORKSHOPS, 2009, 4907 : 176 - +
  • [26] Semantic analysis of flow patterns in business process modeling
    Soffer, Pnina
    Wand, Yair
    Kaner, Maya
    BUSINESS PROCESS MANAGEMENT, PROCEEDINGS, 2007, 4714 : 400 - +
  • [27] Business process modeling with group support systems
    Department of MIS, Terry College of Business, University of Georgia, United States
    不详
    不详
    J Manage Inf Syst, 4 (115-142):
  • [28] A Meta-modeling Framework to Support Accountability in Business Process Modeling
    Zou, Joe
    De Vaney, Christopher
    Wang, Yan
    INFORMATION SYSTEMS: MODELING, DEVELOPMENT, AND INTEGRATION: THIRD INTERNATIONAL UNITED INFORMATION SYSTEMS CONFERENCE, UNISCON 2009, 2009, 20 : 539 - 550
  • [29] Special section of business process modeling, development and support (BPMDS) 2018: new perspectives for business process modeling, development and support
    Jens Gulden
    Rainer Schmidt
    Software and Systems Modeling, 2020, 19 : 1303 - 1305
  • [30] Special section of business process modeling, development and support (BPMDS) 2018: new perspectives for business process modeling, development and support
    Gulden, Jens
    Schmidt, Rainer
    SOFTWARE AND SYSTEMS MODELING, 2020, 19 (06): : 1303 - 1305
12345