@inbook{8713,

title = {Devising DEMO Guidelines and Process Patterns and Validating Comprehensiveness and Conciseness},

author = {David Aveiro and Duarte Pinto},

editor = {Ilia Bider and Khaled Gaaloul and John Krogstie and Selmin Nurcan and HenderikA. Proper and Rainer Schmidt and Pnina Soffer},

url = {http://dx.doi.org/10.1007/978-3-662-43745-2_28},

isbn = {978-3-662-43744-5},

year  = {2014},

date = {2014-01-01},

booktitle = {Enterprise, Business-Process and Information Systems Modeling},

volume = {175},

pages = {408-423},

publisher = {Springer Berlin Heidelberg},

organization = {Springer Berlin Heidelberg},

series = {Lecture Notes in Business Information Processing},

abstract = {This case study paper presents DEMO models of a very complex process of urban construction licensing from a city hall. From our practical experience in this project, we elicit some guidelines and process patterns that may be useful to other similar projects and also guide DEMO modelers in similar scenarios of process complexity. From the metrics we got from this case study, we provide an empirical validation of DEMOtextquoterights qualities of comprehensiveness and conciseness. Thanks to the nature of the transaction axiom, we managed to uncover hidden or neglected important process steps, not captured in the results of models previously obtained by the use of a flowchart approach},

keywords = {},

pubstate = {published},

tppubtype = {inbook}

}