Formally Founded Business Process Modeling

被引：0
|
作者：
Thurner, Veronika [1 ]
机构：
[1] ARS Comp & Consulting GmbH, Ridlerstr 55, D-80339 Munich, Germany
来源：
IT-INFORMATION TECHNOLOGY | 2005年 / 47卷 / 06期
关键词：
6.5 [Model Development; D. 2.1 [Requirements/Specification; H. 1.2 [User/ Machine Systems; modeling; business process; formal semantics; requirements engineering; business engineering;
D O I：
10.1524/itit.2005.47.6.360
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
Business processes are an established means for eliciting requirements of enterprise information systems. The dissertation introduces description techniques for business processes which are easy to understand intuitively and at the same time are formally well founded. Based on these description techniques, a set of precise criteria defines a notion of well formedness of business process models. Furthermore, transformation rules are specified which in a controlled way enable the evolution of business process models while preserving both syntactic and semantic correctness of the modified model. Thus the dissertation provides the necessary foundations for a modeling tool which, in addition to the usual drawing functionalities, offers powerful automatic consistency checks for the business process models under development.
引用
收藏
页码：360 / 362
页数：3
相关论文
共 50 条
  • [31] Process landscaping - a method for business process modeling
    Gruhn, V
    Wellen, U
    [J]. WIRTSCHAFTSINFORMATIK, 2000, 42 (04): : 297 - +
  • [32] The Process: Business Process Modeling Using BPMN
    Damrau, Jackie
    [J]. TECHNICAL COMMUNICATION, 2010, 57 (03) : 333 - 334
  • [33] INTEGRATED ENVIRONMENTS FOR FORMALLY WELL-FOUNDED DESIGN AND SIMULATION OF CONCURRENT SYSTEMS
    GIACALONE, A
    SMOLKA, SA
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1988, 14 (06) : 787 - 802
  • [34] Business Process and Business Rule Modeling: A Representational Analysis
    zur Muehlen, Michael
    Indulska, Marta
    Kamp, Gerrit
    [J]. 2007 11TH IEEE INTERNATIONAL ENTERPRISE DISTRIBUTED OBJECT COMPUTING CONFERENCE WORKSHOPS, 2007, : 189 - +
  • [35] Business Objects - A New Business Process Modeling Approach
    Shi, Xiaohui
    Lin, Jia
    Hu, Gaojia
    Yu, Yang
    [J]. WEB SERVICES - ICWS 2018, 2018, 10966 : 3 - 18
  • [36] Declarative process modeling with business vocabulary and business rules
    Goedertier, Stijn
    Vanthienen, Jan
    [J]. ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2007: OTM 2007 WORKSHOPS, PT 1, PROCEEDINGS, 2007, 4805 : 603 - +
  • [37] Structuring business objectives: A business process modeling perspective
    Neiger, D
    Churilov, L
    [J]. BUSINESS PROCESS MANAGEMENT, PROCEEDINGS, 2003, 2678 : 72 - 87
  • [38] Hunan Rare Earth Group Was Formally Founded, Corun owns 30% Equity
    [J]. China Nonferrous Metals Monthly, 2014, (04) : 8 - 8
  • [39] VeBPRu: A Toolchain for Formally Verifying Business Processes and Business Rules
    Tuan, Nguyen Thanh
    Nhan, Le Thanh
    Ha, Hoang Thi Thanh
    Thao, Ha Thi
    [J]. PROCEEDINGS OF 2023 8TH INTERNATIONAL CONFERENCE ON INTELLIGENT INFORMATION TECHNOLOGY, ICIIT 2023, 2023, : 15 - 19
  • [40] MODELING THE INFORMAL SECTOR FORMALLY
    RAUCH, JE
    [J]. JOURNAL OF DEVELOPMENT ECONOMICS, 1991, 35 (01) : 33 - 47
12345