Preserving correctness during business process model configuration

Wil M. P. van der Aalst; Marlon Dumas; Florian Gottschalk; Arthur H. M. ter Hofstede; Marcello La Rosa; Jan Mendling

Preserving correctness during business process model configuration

Wil M. P. van der Aalst, Marlon Dumas, Florian Gottschalk, Arthur H. M. ter Hofstede, Marcello La Rosa, Jan Mendling

Institute for Data, Process and Knowledge Management (AE Sabou)

Publication: Scientific journal › Journal article › peer-review

Original language	English
Pages (from-to)	459 - 482
Journal	Formal Aspects of Computing
Volume	22
Issue number	3-4
Publication status	Published - 1 Dec 2010

Austrian Classification of Fields of Science and Technology (ÖFOS)

502050 Business informatics

Check availability

University Library Catalogue

Cite this

@article{70511c7236ff48fe8281cbfbcb517f4a,

title = "Preserving correctness during business process model configuration",

author = "{M. P. van der Aalst}, Wil and Marlon Dumas and Florian Gottschalk and {H. M. ter Hofstede}, Arthur and {La Rosa}, Marcello and Jan Mendling",

year = "2010",

month = dec,

day = "1",

language = "English",

volume = "22",

pages = "459 -- 482",

journal = "Formal Aspects of Computing",

issn = "0934-5043",

publisher = "Springer London",

number = "3-4",

}

TY - JOUR

T1 - Preserving correctness during business process model configuration

AU - M. P. van der Aalst, Wil

AU - Dumas, Marlon

AU - Gottschalk, Florian

AU - H. M. ter Hofstede, Arthur

AU - La Rosa, Marcello

AU - Mendling, Jan

PY - 2010/12/1

Y1 - 2010/12/1

UR - http://www.mendling.com/publications/FACS10-Correctness.pdf

M3 - Journal article

SN - 0934-5043

VL - 22

SP - 459

EP - 482

JO - Formal Aspects of Computing

JF - Formal Aspects of Computing

IS - 3-4

ER -

Preserving correctness during business process model configuration

Austrian Classification of Fields of Science and Technology (ÖFOS)

Check availability

Other files and links

Cite this