Primitives for structured workflow design: A mathematical specification and analysis

被引：0
|
作者：
Patnaik, Sumagna [1 ]
机构：
[1] Univ Hyderabad, Dept Comp & Info Sci, Hyderabad 500134, Andhra Pradesh, India
来源：
ICIT 2006: 9TH INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY, PROCEEDINGS | 2006年
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
Structured design specification lacks formality to reason about design correctness. In this paper primitives for structured workflow design are specified mathematically and observations are made by analyzing these specifications.
引用
收藏
页码：299 / 300
页数：2
相关论文
共 50 条
  • [21] On structured workflow modelling
    Kiepuszewski, B
    ter Hofstede, AHM
    Bussler, CJ
    ADVANCED INFORMATION SYSTEMS ENGINEERING, 2000, 1789 : 431 - 445
  • [22] The reviews and analysis of the state-of-the-art service workflow specification languages
    Viriyasitavat, Wattana
    Martin, Andrew
    JOURNAL OF INDUSTRIAL INFORMATION INTEGRATION, 2017, 8 : 1 - 7
  • [23] A Structured Approach to Support Collaborative Design, Specification and Documentation of Communication Protocols
    Ohler, Fabian
    Beutel, Markus C.
    Goekay, Sevket
    Samsel, Christian
    Krempels, Karl-Heinz
    PROCEEDINGS OF THE 13TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, 2018, : 367 - 375
  • [24] Design and Analysis of Reconfigurable Cryptographic Primitives: TRNG and PUF
    Vikash Kumar Rai
    Somanath Tripathy
    Jimson Mathew
    Journal of Hardware and Systems Security, 2021, 5 (3-4) : 247 - 259
  • [25] Guideline models, process specification, and workflow
    Tu, Samson W.
    BUSINESS PROCESS MANAGEMENT WORKSHOPS, 2008, 4928 : 322 - 322
  • [26] Automated Realization of Business Workflow Specification
    Liu, Guohua
    Liu, Xi
    Qin, Haihuan
    Su, Jianwen
    Yan, Zhimin
    Zhang, Liang
    SERVICE-ORIENTED COMPUTING: ICSOC/SERVICE WAVE 2009 WORKSHOPS, 2010, 6275 : 96 - +
  • [27] The specification of workflow activity multiple instances
    Sun, Ruizhi
    Liu, Guangli
    Shi, Meilin
    2006 10TH INTERNATIONAL CONFERENCE ON COMPUTER SUPPORTED COOPERATIVE WORK IN DESIGN, PROCEEDINGS, VOLS 1 AND 2, 2006, : 1179 - 1183
  • [28] WUC: A system for workflow specification and verification
    Ortega, D
    Soriano, A
    WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL 1, PROCEEDINGS: INFORMATION SYSTEMS DEVELOPMENT, 2001, : 496 - 501
  • [29] Exception specification and handling in workflow systems
    Song, YK
    Han, DS
    WEB TECHNOLOGIES AND APPLICATIONS, 2003, 2642 : 495 - 506
  • [30] A mathematical analysis of a model of structured population (II)
    M. Boulanouar
    Journal of Dynamical and Control Systems, 2012, 18 : 499 - 527
12345