The Resource A rigorous semantics for BPMN 2.0 process diagrams, Felix Kossak [and 8 more]

A rigorous semantics for BPMN 2.0 process diagrams, Felix Kossak [and 8 more]

Label
A rigorous semantics for BPMN 2.0 process diagrams
Title
A rigorous semantics for BPMN 2.0 process diagrams
Statement of responsibility
Felix Kossak [and 8 more]
Contributor
Author
Subject
Genre
Language
eng
Summary
This book provides the most complete formal specification of the semantics of the Business Process Model and Notation (BPMN) 2.0 standard available to date, in a style that is easily understandable for a wide range of readers? not only for experts in formal methods, but e.g. also for developers of modeling tools, software architects, or graduate students specializing in business process management. BPMN? issued by the Object Management Group? is a widely used standard for business process modeling. However, major drawbacks of BPMN include its limited support for organizational modeling, its only implicit expression of modalities, and its lack of integrated user interaction and data modeling. Further, in many cases the syntactical and, in particular, semantic definitions of BPMN are inaccurate, incomplete or inconsistent. The book addresses concrete issues concerning the execution semantics of business processes and provides a formal definition of BPMN process diagrams, which can serve as a sound basis for further extensions, i.e., in the form of horizontal refinements of the core language. To this end, the Abstract State Machine (ASM) method is used to formalize the semantics of BPMN. ASMs have demonstrated their value in various domains, e.g. specifying the semantics of programming or modeling languages, verifying the specification of the Java Virtual Machine, or formalizing the ITIL change management process. This kind of improvement promotes more consistency in the interpretation of comprehensive models, as well as real exchangeability of models between different tools. In the outlook at the end of the book, the authors conclude with proposing extensions that address actor modeling (including an intuitive way to denote permissions and obligations), integration of user-centric views, a refined communication concept, and data integration
Cataloging source
N$T
Dewey number
006
Illustrations
illustrations
Index
index present
LC call number
QA76.5913
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorName
Kossak, Felix
http://library.link/vocab/subjectName
  • Semantic computing
  • Management information systems
  • Business
  • Software engineering
  • COMPUTERS
  • Business
  • Management information systems
  • Semantic computing
  • Software engineering
  • Computer Science
  • Software Engineering
  • Information Systems Applications (incl. Internet)
  • Business Process Management
  • Computer Appl. in Administrative Data Processing
Label
A rigorous semantics for BPMN 2.0 process diagrams, Felix Kossak [and 8 more]
Link
https://ezproxy.lib.ou.edu/login?url=http://link.springer.com/10.1007/978-3-319-09931-6
Instantiates
Publication
Antecedent source
unknown
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Contents
1 Introduction -- 2 State of the Art -- 3 Modelling Semantics with Abstract State Machines -- 4 A Rigorous Semantics for BPMN 2.0 Process Diagrams -- 5 How the Semantic Model Can Be Used -- 6 A Discussion of BPMN 2.0 -- 7 Towards a Workflow Engine by Stepwise Refinement -- 8 Discussion of the Proposed Specification and Outlook
Dimensions
unknown
Extent
1 online resource (x, 235 pages)
File format
unknown
Form of item
online
Isbn
9783319099309
Level of compression
unknown
Media category
computer
Media MARC source
rdamedia
Media type code
c
Note
SpringerLink
Other control number
10.1007/978-3-319-09931-6
Other physical details
illustrations (some color)
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
  • (OCoLC)902846581
  • (OCoLC)ocn902846581
Label
A rigorous semantics for BPMN 2.0 process diagrams, Felix Kossak [and 8 more]
Link
https://ezproxy.lib.ou.edu/login?url=http://link.springer.com/10.1007/978-3-319-09931-6
Publication
Antecedent source
unknown
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Contents
1 Introduction -- 2 State of the Art -- 3 Modelling Semantics with Abstract State Machines -- 4 A Rigorous Semantics for BPMN 2.0 Process Diagrams -- 5 How the Semantic Model Can Be Used -- 6 A Discussion of BPMN 2.0 -- 7 Towards a Workflow Engine by Stepwise Refinement -- 8 Discussion of the Proposed Specification and Outlook
Dimensions
unknown
Extent
1 online resource (x, 235 pages)
File format
unknown
Form of item
online
Isbn
9783319099309
Level of compression
unknown
Media category
computer
Media MARC source
rdamedia
Media type code
c
Note
SpringerLink
Other control number
10.1007/978-3-319-09931-6
Other physical details
illustrations (some color)
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
  • (OCoLC)902846581
  • (OCoLC)ocn902846581

Library Locations

  • Architecture LibraryBorrow it
    Gould Hall 830 Van Vleet Oval Rm. 105, Norman, OK, 73019, US
    35.205706 -97.445050
  • Bizzell Memorial LibraryBorrow it
    401 W. Brooks St., Norman, OK, 73019, US
    35.207487 -97.447906
  • Boorstin CollectionBorrow it
    401 W. Brooks St., Norman, OK, 73019, US
    35.207487 -97.447906
  • Chinese Literature Translation ArchiveBorrow it
    401 W. Brooks St., RM 414, Norman, OK, 73019, US
    35.207487 -97.447906
  • Engineering LibraryBorrow it
    Felgar Hall 865 Asp Avenue, Rm. 222, Norman, OK, 73019, US
    35.205706 -97.445050
  • Fine Arts LibraryBorrow it
    Catlett Music Center 500 West Boyd Street, Rm. 20, Norman, OK, 73019, US
    35.210371 -97.448244
  • Harry W. Bass Business History CollectionBorrow it
    401 W. Brooks St., Rm. 521NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • History of Science CollectionsBorrow it
    401 W. Brooks St., Rm. 521NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • John and Mary Nichols Rare Books and Special CollectionsBorrow it
    401 W. Brooks St., Rm. 509NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • Library Service CenterBorrow it
    2601 Technology Place, Norman, OK, 73019, US
    35.185561 -97.398361
  • Price College Digital LibraryBorrow it
    Adams Hall 102 307 West Brooks St., Norman, OK, 73019, US
    35.210371 -97.448244
  • Western History CollectionsBorrow it
    Monnet Hall 630 Parrington Oval, Rm. 300, Norman, OK, 73019, US
    35.209584 -97.445414
Processing Feedback ...