Pattern-Based Modeling and Formalizing of Business Process Quality Constraints

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.

Download
No fulltext has been uploaded.
Conference Paper | English
Author
Khaluf, Lial; Gerth, Christian; Engels, GregorLibreCat
Abstract
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.
Publishing Year
Proceedings Title
Proceedings of the 23rd International Conference on Advanced Information System Engineering (CAiSE'11)
forms.conference.field.series_title_volume.label
LNCS
Volume
6741
Page
521-535
LibreCat-ID

Cite this

Khaluf L, Gerth C, Engels G. Pattern-Based Modeling and Formalizing of Business Process Quality Constraints. In: Proceedings of the 23rd International Conference on Advanced Information System Engineering (CAiSE’11). Vol 6741. LNCS. Berlin/Heidelberg: Springer; 2011:521-535. doi:http://dx.doi.org/10.1007/978-3-642-21640-4_39
Khaluf, L., Gerth, C., & Engels, G. (2011). Pattern-Based Modeling and Formalizing of Business Process Quality Constraints. In Proceedings of the 23rd International Conference on Advanced Information System Engineering (CAiSE’11) (Vol. 6741, pp. 521–535). Berlin/Heidelberg: Springer. http://dx.doi.org/10.1007/978-3-642-21640-4_39
@inproceedings{Khaluf_Gerth_Engels_2011, place={Berlin/Heidelberg}, series={LNCS}, title={Pattern-Based Modeling and Formalizing of Business Process Quality Constraints}, volume={6741}, DOI={http://dx.doi.org/10.1007/978-3-642-21640-4_39}, 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} }
Khaluf, Lial, Christian Gerth, and Gregor Engels. “Pattern-Based Modeling and Formalizing of Business Process Quality Constraints.” In Proceedings of the 23rd International Conference on Advanced Information System Engineering (CAiSE’11), 6741:521–35. LNCS. Berlin/Heidelberg: Springer, 2011. http://dx.doi.org/10.1007/978-3-642-21640-4_39.
L. Khaluf, C. Gerth, and G. Engels, “Pattern-Based Modeling and Formalizing of Business Process Quality Constraints,” in Proceedings of the 23rd International Conference on Advanced Information System Engineering (CAiSE’11), 2011, vol. 6741, pp. 521–535.
Khaluf, Lial, et al. “Pattern-Based Modeling and Formalizing of Business Process Quality Constraints.” Proceedings of the 23rd International Conference on Advanced Information System Engineering (CAiSE’11), vol. 6741, Springer, 2011, pp. 521–35, doi:http://dx.doi.org/10.1007/978-3-642-21640-4_39.

Export

Marked Publications

Open Data LibreCat

Search this title in

Google Scholar