Concepedia

Process Specification

Process Specification is a formal academic construct that documents and defines the detailed procedures, activities, and rules of a process, distinguishing it from broader conceptual models by its focus on operational precision, sequence, and execution-level clarity within process documentation.

269

Publications

12.2K

Citations

764

Authors

298

Institutions

Publications per year

2017–2026

28

Parents

Publications

269

DECLARE: Full Support for Loosely-Structured Processes

Maja Pešić, Helen Schonenberg, Wil M. P. van der Aalst · 2007 · 552 citations

, , +16

Business Process Modeling Notation (BPMN), Version 1.0

Stephen White · 2004 · 473 citations

, , +15

A media synchronization survey: reference model, specification, and case studies

Gerold Blakowski, Ralf Steinmetz · IEEE Journal on Selected Areas in Communications · 1996 · 413 citations

, , +15

The Syntax and Semantics of the PRO<i>forma</i>Guideline Modeling Language

David Sutton, John Fox · Journal of the American Medical Informatics Association · 2003 · 294 citations · Full text

, , +14

Specification-oriented semantics for Communicating Processes

Ernst-Rüdiger Olderog, C. A. R. Hoare · Acta Informatica · 1986 · 271 citations

, , +12

1–5 of 269

Authors

764

  1. MG
    Michael Grüninger

    University of Toronto, Canada

    11 publications · 525 citations

    11

    h-index

  2. JL
    Jintae Lee

    Yeungnam University, South Korea

    4 publications · 170 citations

    4

    h-index

  3. BK
    Bart Kienhuis

    Leiden University, Netherlands

    4 publications · 433 citations

    4

    h-index

  4. CS
    Craig Schlenoff

    National Institute of Standards and Technology, United States

    4 publications · 168 citations

    4

    h-index

  5. WM
    Wil M. P. van der Aalst

    Eindhoven University of Technology, Netherlands

    4 publications · 863 citations

    4

    h-index

1–5 of 764

Institutions

298

  1. National Institute of Standards and Technology

    Gaithersburg, United States

    7 h-index

    12 publications

    434 citations

  2. IBM (United States)

    Armonk, United States

    6 h-index

    10 publications

    888 citations

  3. Eindhoven University of Technology

    Eindhoven, The Netherlands

    6 h-index

    10 publications

    2.1K citations

  4. University of Toronto

    Toronto, Canada

    6 h-index

    6 publications

    353 citations

  5. North Carolina State University

    Raleigh, United States

    5 h-index

    13 publications

    619 citations

  6. Arizona State University

    Tempe, United States

    5 h-index

    17 publications

    200 citations

  7. Sapienza University of Rome

    Rome, Italy

    4 h-index

    5 publications

    292 citations

  8. University of Maryland, College Park

    College Park, United States

    4 h-index

    6 publications

    101 citations

1–8 of 298

Venues

  1. IEEE Transactions on Software Engineering

    TSE · 7 publications · 627 citations

    7

    h-index

  2. Information Systems

    4 publications · 210 citations

    4

    h-index

  3. Acta Informatica

    3 publications · 381 citations

    3

    h-index

  4. Enterprise Information Systems

    ELS · 3 publications · 95 citations

    3

    h-index

  5. Journal of the Association for Information Systems

    JAIS · 3 publications · 100 citations

    3

    h-index

1–5