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 条
  • [1] Structured collaborative workflow design
    Held, Markus
    Blochinger, Wolfgang
    FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, 2009, 25 (06): : 638 - 653
  • [2] Structured design with mathematical proofs
    Chiang, CC
    INFORMATION AND SOFTWARE TECHNOLOGY, 1997, 39 (10) : 669 - 677
  • [3] Requirements, primitives and models for systems specification
    Marcon, CAM
    Calazans, NLV
    Moraes, FG
    15TH SYMPOSIUM ON INTEGRATED CIRCUITS AND SYSTEMS DESIGN, PROCEEDINGS, 2002, : 323 - 328
  • [4] Workflow specification in TRAMs
    Kradolfer, M
    Geppert, A
    Dittrich, KR
    CONCEPTUAL MODELING - ER'99, 1999, 1728 : 263 - 277
  • [5] Design of coded structured light based on square-shaped primitives
    Lau, Chi-Chung
    Sun, Ching-Chern
    Yang, Tsung-Hsun
    Yu, Yeh-Wei
    Chou, Si-Min
    CURRENT DEVELOPMENTS IN LENS DESIGN AND OPTICAL ENGINEERING XIX, 2018, 10745
  • [6] Design specification in Japan: tree-structured charts
    Aoyama, Mikio
    Miyamoto, Kazuyasu
    Murakami, Noritoshi
    Nagano, Hironobu
    Oki, Yoshihiro
    IEEE Software, 1989, 6 (02): : 31 - 37
  • [7] FORMAL SPECIFICATION AND STRUCTURED DESIGN IN SOFTWARE-DEVELOPMENT
    CYRUS, JL
    BLEDSOE, JD
    HARRY, PD
    HEWLETT-PACKARD JOURNAL, 1991, 42 (05): : 51 - 58
  • [8] COMMUNICATION PRIMITIVES IN PROGRAMMING AND SPECIFICATION LANGUAGES
    HENNESSY, M
    LECTURE NOTES IN COMPUTER SCIENCE, 1987, 248 : 223 - 251
  • [9] DESIGN SPECIFICATION IN JAPAN - TREE-STRUCTURED CHARTS
    AOYAMA, M
    MIYAMOTO, K
    MURAKAMI, N
    NAGANO, H
    OKI, Y
    IEEE SOFTWARE, 1989, 6 (02) : 31 - 37
  • [10] Symmetric Primitives with Structured Secrets
    Alamati, Navid
    Montgomery, Hart
    Patranabis, Sikhar
    ADVANCES IN CRYPTOLOGY - CRYPTO 2019, PT 1, 2019, 11692 : 650 - 679
12345