Modeling functional requirements for configurable content- and context-aware dynamic service selection in business process models

A system for deduction-based formal verification of workflow-oriented software models

“…In [31], a formal model for workflows based on a transition system is presented and some algebraic properties are discussed. A meta-model for formal specification of functional requirements in business process models, which is not well covered in literature, is proposed in [22]. Specific extensions to the BPMN semantic and diagram elements are introduced.…”

A trust evaluation model for selecting service provider in cloud environment

“…We also need reliable methods to select service providers and resolve users' necessities, so in this way, we can help users for right decision making [3], [8], [9], [10]. on the other hand, it helps service providers to provide more applicable services and fulfill the requirements of users and present reliable services [11].This requires using models and frameworks to search proper and available services on cloud environments [12].So far, many selection measures for choosing service providers have been designed such as trust and reputation from different aspects [13]. On the basis of [14], [15] trust is defined as a level of subjective probability between two entities through direct observation or recommendation by a trustful entity.…”

“…This concept, as one of the important aspects of multi-measure decision making, is a necessary substitute for creating security mechanisms in cloud computing environments [16], [17]. So, if the users are able to calculate the trustworthiness of their service providers among different providers with similar abilities, they would be able to select and use best services that are match with their needs [11], but in present time there is not a model which lets users to evaluate and rank cloud services to fulfill their requirements [8], [18]. Therefore, existing problems in this field and lack of an effective model about trust model and also our concern, has been leading us to design a model for evaluation of services which are presented by cloud service providers.…”

Enhancing Variability Modeling in Process-Aware Information Systems through Change Patterns

“…Annotations (e.g., stereotypes, labels) are included in the configurable process model to accommodate variability. Annotations have been defined for BPMN [Frece & Juric, 2012;Döhring et al, 2011] and for EPC Becker et al, 2004]. In addition, meta-model extensions for UML Activity Diagrams Saidani & Nurcan, 2014;Kolokolov et al, 2014;Marcolino et al, 2014] and BPEL [Lazovik & Ludwig, 2007] have been proposed in order to realize configurable process models.…”

“…Each of these studies is associated with a unique identifier (i.e., Study ID), which is used in the following to refer to the respective studies. [Frece & Juric, 2012] S36-Li et al ] S5-Santos et al S37-Weber et al S59-Baier et al ] S28-Gottschalk et al [Gottschalk et al, 2007] S60-Gottschalk et al ] S29-Lapouchnian et al S61-La Rosa et al [La Rosa & Mendling, 2009] S30-Schnieders et al [Schnieders & Puhlmann, 2007] S62-Schnieders et al [Schnieders & Weske, 2007] S31-Lazovik et al [Lazovik & Ludwig, 2007] S63-Giese et al S32-Lu et al During the selection process, we organized these 63 primary studies in three groups:…”