Pattern-Based Modeling and Formalizing of Business Process Quality Constraints

Khaluf, Lial; Gerth, Christian; Engels, Gregor

doi:10.1007/978-3-642-21640-4_39

Cited by 10 publications

(10 citation statements)

References 14 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…The QoS offered by IT is one of the most important factors for the business success and reputation [10]. The functional performance of an IT service depends on a number of NFPs, and its implementation may be viewed as a competitive factor for organizations.…”

Section: Business Level Agreement and Non-functional Properties mentioning

confidence: 99%

“…Khaluf, Gerth and Engels [10] introduced a model of quality constraints in processes using Activity Diagrams of UML 2.0. A new language for modeling quality constraints was defined, based on the Computation Tree Logic standards, which distributes time in tree branches.…”

Section: Related Workmentioning

confidence: 99%

“…Considering that for this phase the SOA paradigm is commonly used, treating the NFPs at the executable process level is usually accomplished using the wellestablished Quality of Service (QoS) [10] and Service Level Agreement (SLA) [11] concepts. But, from the strategic alignment viewpoint, since the NFPs are not usually treated at the process model level, the non-functional information is only created during the implementation of the executable process, rather than at the beginning of its modeling.…”

Section: Introductionmentioning

confidence: 99%

“…BLA@BPMN enables to associate the NFPs with a group of activities of only one time once, representing a sub-process in the process model. Thus, the relationship between the NFPs and organizational goals (easily represented by BLAs) in approaches [27], [10], [9], [25] and [26] is not feasible, which renders difficult favoring the strategic alignment between the business level and the IT level. Moreover, most approaches used BPMN, a notation considered standard for process modeling.…”

mentioning

confidence: 99%

See 3 more Smart Citations

A Contribution to Organizational and Operational Strategic Alignment: Incorporating Business Level Agreements into Business Process Modeling

Salles

Fantinato

Nishijima

et al. 2013

2013 IEEE International Conference on Services Computing

View full text Add to dashboard Cite

The purpose for achieving strategic alignment between Information Technology (IT) and Business areas refers to the need of large organizations to exploit the IT's ability to deliver good products and services, thereby standing out in a competitive scenario. Within this context, Business Process Management and Service Orientation tend to gain space in organizations, since they are able to automate and optimize processes and services for the business. In the business process analysis and modeling phase, it is important to treat not only functional properties, but also process quality and operating constraints, usually grouped as Non-Functional Properties (NFP); thereby preventing that investments in IT are wasted on inefficiency and rework. In order to address these constraints, Business Level Agreements (BLA) and Service Level Agreements (SLA) should be used. The most prestigious languages for business process modeling, including Business Process Model and Notation (BPMN), lack the representation of these NFPs. The approach proposed in this paper, BLA@BPMN, extends BPMN to embody BLAs, as part of a bigger approach to foster strategic alignment in this context. A BLA is specified in the process model level so that it can be mapped to a set of SLAs at the executable process level.

show abstract

Section: Business Level Agreement and Non-functional Properties mentioning

confidence: 99%

Section: Related Workmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

mentioning

confidence: 99%

See 2 more Smart Citations

A Contribution to Organizational and Operational Strategic Alignment: Incorporating Business Level Agreements into Business Process Modeling

Salles

Fantinato

Nishijima

et al. 2013

2013 IEEE International Conference on Services Computing

View full text Add to dashboard Cite

show abstract

“…BPMN-Q is then mapped into Past LTL (PLTL) and a modelchecking approach is utilized. Similarly, Extended Process Pattern Specification Language (EPPSL) is proposed in [20] focusing on quality constraints.…”

Section: Graphical/pattern-based Approachesmentioning

confidence: 99%

Formalizing and appling compliance patterns for business process compliance

et al. 2014

View full text Add to dashboard Cite

Document VersionAccepted manuscript including changes made at the peer-review stage Please check the document version of this publication:• A submitted manuscript is the author's version of the article upon submission and before peer-review. There can be important differences between the submitted version and the official published version of record. People interested in the research are advised to contact the author for the final version of the publication, or visit the DOI to the publisher's website.• The final author version and the galley proof are versions of the publication after peer review.• The final published version features the final layout of the paper including the volume, issue and page numbers. Link to publication Citation for published version (APA):Elgammal, A., Turetken, O., van den Heuvel, W., & Papazoglou, M. (2016). Formalizing and appling compliance patterns for business process compliance. Software and Systems Modeling, 15(1), 119-146. DOI: 10.1007/s10270-014-0395-3 General rightsCopyright and moral rights for the publications made accessible in the public portal are retained by the authors and/or other copyright owners and it is a condition of accessing publications that users recognise and abide by the legal requirements associated with these rights.• Users may download and print one copy of any publication from the public portal for the purpose of private study or research.• You may not further distribute the material or use it for any profit-making activity or commercial gain • You may freely distribute the URL identifying the publication in the public portal ? Take down policyIf you believe that this document breaches copyright please contact us providing details, and we will remove access to the work immediately and investigate your claim. University, 5000 LE, Tilburg, Netherlands. Email: (w.j.a.m.vdnheuvel, m.p.papazoglou)@uvt.nl Abstract: Today's enterprises demand a high degree of compliance of business processes to meet diverse regulations and legislations. Several industrial studies have shown that compliance management is a daunting task, and organizations are still struggling and spending billions of dollars annually to ensure and prove their compliance. In this paper, we introduce a comprehensive compliance management framework with a main focus on design-time compliance management as a first step towards a preventive lifetime compliance support. The framework enables the automation of compliance related-activities that are amenable to automation, and therefore can significantly reduce the expenditures spent on compliance. It can help experts to carry out their work more efficiently, cut the time spent on tedious manual activities, and reduce potential human errors. An evident candidate compliance activity for automation is the compliance checking, which can be achieved by utilizing formal reasoning and verification techniques. However, formal languages are well-known of their complexity as only versed users in mathematical theories and formal logics are able to use an...

show abstract