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 条
  • [41] On the design of cryptographic primitives
    Caballero-Gil, Pino
    Fuster-Sabater, Amparo
    ACTA APPLICANDAE MATHEMATICAE, 2006, 93 (1-3) : 279 - 297
  • [42] Workflow modeling: A structured approach
    Yang, WQ
    Li, F
    PROCEEDINGS OF THE 8TH INTERNATIONAL CONFERENCE ON COMPUTER SUPPORTED COOPERATIVE WORK IN DESIGN, VOL 1, 2004, : 433 - 438
  • [43] STRUCTURED SPECIFICATION OF COMMUNICATING SYSTEMS
    VONBOCHMANN, G
    RAYNAL, M
    IEEE TRANSACTIONS ON COMPUTERS, 1983, 32 (02) : 120 - 133
  • [44] Structured specification of model interpreters
    Karsai, G
    ECBS '99, IEEE CONFERENCE AND WORKSHOP ON ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS, 1999, : 84 - 90
  • [45] Routing Primitives for Wireless Mesh Networks: Design, Analysis and Experiments
    Miskovic, Stanislav
    Knightly, Edward W.
    2010 PROCEEDINGS IEEE INFOCOM, 2010,
  • [46] Towards Structured Performance Analysis of Industry 4.0 Workflow Automation Resources
    Kattepur, Ajay
    PROCEEDINGS OF THE 2019 ACM/SPEC INTERNATIONAL CONFERENCE ON PERFORMANCE ENGINEERING (ICPE '19), 2019, : 189 - 196
  • [47] The data playground: An intuitive workflow specification environment
    Gibson, Andrew
    Gamble, Matthew
    Wolstencroft, Katy
    Oinn, Tom
    Goble, Carole
    Belhajjame, Khalid
    Missier, Paolo
    FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, 2009, 25 (04): : 453 - 459
  • [48] The data playground: An intuitive workflow specification environment
    Gibson, Andrew
    Gamble, Matthew
    Wolstencroft, Katy
    Oinn, Tom
    Goble, Carole
    E-SCIENCE 2007: THIRD IEEE INTERNATIONAL CONFERENCE ON E-SCIENCE AND GRID COMPUTING, PROCEEDINGS, 2007, : 59 - +
  • [49] Synchronic Distance Based Workflow Logic Specification
    Zhao, Wen
    Huang, Yu
    Yuan, Chongyi
    HPCC 2008: 10TH IEEE INTERNATIONAL CONFERENCE ON HIGH PERFORMANCE COMPUTING AND COMMUNICATIONS, PROCEEDINGS, 2008, : 819 - 824
  • [50] Comparing Workflow Specification Languages: A Matter of Views
    Abiteboul, Serge
    Bourhis, Pierre
    Vianu, Victor
    ACM TRANSACTIONS ON DATABASE SYSTEMS, 2012, 37 (02):
12345