{"volume":6741,"department":[{"_id":"66"}],"_id":"8050","title":"Pattern-Based Modeling and Formalizing of Business Process Quality Constraints","citation":{"apa":"Khaluf, L., Gerth, C., &#38; Engels, G. (2011). Pattern-Based Modeling and Formalizing of Business Process Quality Constraints. In <i>Proceedings of the 23rd International Conference on Advanced Information System Engineering (CAiSE’11)</i> (Vol. 6741, pp. 521–535). Berlin/Heidelberg: Springer. <a href=\"http://dx.doi.org/10.1007/978-3-642-21640-4_39\">http://dx.doi.org/10.1007/978-3-642-21640-4_39</a>","short":"L. Khaluf, C. Gerth, G. Engels, in: Proceedings of the 23rd International Conference on Advanced Information System Engineering (CAiSE’11), Springer, Berlin/Heidelberg, 2011, pp. 521–535.","chicago":"Khaluf, Lial, Christian Gerth, and Gregor Engels. “Pattern-Based Modeling and Formalizing of Business Process Quality Constraints.” In <i>Proceedings of the 23rd International Conference on Advanced Information System Engineering (CAiSE’11)</i>, 6741:521–35. LNCS. Berlin/Heidelberg: Springer, 2011. <a href=\"http://dx.doi.org/10.1007/978-3-642-21640-4_39\">http://dx.doi.org/10.1007/978-3-642-21640-4_39</a>.","ieee":"L. Khaluf, C. Gerth, and G. Engels, “Pattern-Based Modeling and Formalizing of Business Process Quality Constraints,” in <i>Proceedings of the 23rd International Conference on Advanced Information System Engineering (CAiSE’11)</i>, 2011, vol. 6741, pp. 521–535.","ama":"Khaluf L, Gerth C, Engels G. Pattern-Based Modeling and Formalizing of Business Process Quality Constraints. In: <i>Proceedings of the 23rd International Conference on Advanced Information System Engineering (CAiSE’11)</i>. Vol 6741. LNCS. Berlin/Heidelberg: Springer; 2011:521-535. doi:<a href=\"http://dx.doi.org/10.1007/978-3-642-21640-4_39\">http://dx.doi.org/10.1007/978-3-642-21640-4_39</a>","mla":"Khaluf, Lial, et al. “Pattern-Based Modeling and Formalizing of Business Process Quality Constraints.” <i>Proceedings of the 23rd International Conference on Advanced Information System Engineering (CAiSE’11)</i>, vol. 6741, Springer, 2011, pp. 521–35, doi:<a href=\"http://dx.doi.org/10.1007/978-3-642-21640-4_39\">http://dx.doi.org/10.1007/978-3-642-21640-4_39</a>.","bibtex":"@inproceedings{Khaluf_Gerth_Engels_2011, place={Berlin/Heidelberg}, series={LNCS}, title={Pattern-Based Modeling and Formalizing of Business Process Quality Constraints}, volume={6741}, DOI={<a href=\"http://dx.doi.org/10.1007/978-3-642-21640-4_39\">http://dx.doi.org/10.1007/978-3-642-21640-4_39</a>}, booktitle={Proceedings of the 23rd International Conference on Advanced Information System Engineering (CAiSE’11)}, publisher={Springer}, author={Khaluf, Lial and Gerth, Christian and Engels, Gregor}, year={2011}, pages={521–535}, collection={LNCS} }"},"user_id":"52534","place":"Berlin/Heidelberg","year":"2011","intvolume":"      6741","status":"public","author":[{"first_name":"Lial","last_name":"Khaluf","full_name":"Khaluf, Lial"},{"first_name":"Christian","full_name":"Gerth, Christian","last_name":"Gerth"},{"id":"107","last_name":"Engels","full_name":"Engels, Gregor","first_name":"Gregor"}],"publisher":"Springer","series_title":"LNCS","publication":"Proceedings of the 23rd International Conference on Advanced Information System Engineering (CAiSE'11)","type":"conference","date_updated":"2022-01-06T07:03:49Z","language":[{"iso":"eng"}],"date_created":"2019-02-21T20:49:25Z","abstract":[{"lang":"eng","text":"The quality of business processes can be checked by verifying their compliance with specific quality constraints. These constraints represent a set of required temporal and logical relationships between different steps of business processes. Quality constraints are usually formulated as informal texts, which makes them difficult to be verified, when business processes become complex. One way to solve this problem is by automating the verification of quality constraints on business processes by applying model checking. To apply model checking, both business processes and quality constraints have to be formalized. In this paper, we define a new visual language for modeling quality constraints and we provide a pattern-based translation for quality constraint models into Computation Tree Logic formulas."}],"doi":"http://dx.doi.org/10.1007/978-3-642-21640-4_39","page":"521-535"}