Formal Behavioral Modeling and Compliance Analysis for Service-Oriented Systems

Kokash, Natallia; Arbab, Farhad

doi:10.1007/978-3-642-04167-9_2

Cited by 39 publications

(16 citation statements)

References 43 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…More elaborative approaches can additionally handle business objects Elgammal et al 2010;Kokash and Arbab 2009;Schumm et al 2010) (№ 12). The approach of Accorsi et al (2011) (№ 13) focuses on data security annotations, while the PENELOPE approach (Goedertier and Vanthienen 2006) (№ 16) supports the definition and check of activity operators.…”

Section: Modeling Language Supportmentioning

confidence: 99%

Business process compliance checking – applying and evaluating a generic pattern matching approach for conceptual models in the financial sector

et al. 2014

View full text Add to dashboard Cite

Given the strong increase in regulatory requirements for business processes the management of business process compliance becomes a more and more regarded field in IS research. Several methods have been developed to support compliance checking of conceptual models. However, their focus on distinct modeling languages and mostly linear (i.e., predecessor-successor related) compliance rules may hinder widespread adoption and application in practice. Furthermore, hardly any of them has been evaluated in a real-world setting. We address this issue by applying a generic pattern matching approach for conceptual models to business process compliance checking in the financial sector. It consists of a model query language, a search algorithm and a corresponding modelling tool prototype. It is (1) applicable for all graph-based conceptual modeling languages and (2) for different kinds of compliance rules. Furthermore, based on an applicability check, we (3) evaluate the approach in a financial industry project setting against its relevance for decision support of audit and compliance management tasks.

show abstract

Section: Modeling Language Supportmentioning

confidence: 99%

Business process compliance checking – applying and evaluating a generic pattern matching approach for conceptual models in the financial sector

et al. 2014

View full text Add to dashboard Cite

show abstract

“…Reo has been used for composition of Web services [16,57,65], modeling and analysis of long-running transactions in service-oriented systems [60], coordination of multi-agent systems [10], performance analysis of coordinated compositions [12,13,17,70,71], modeling of business processes and verification of their compliance [14,59,73], and modeling of coordination in biological systems [31].…”

Section: Overview Of Reomentioning

confidence: 99%

Coordinating Multicore Computing

Arbab

Jongmans

2015

Lecture Notes in Computer Science

Self Cite

View full text Add to dashboard Cite

Abstract. Traditional models of concurrency resort to peculiarly indirect means to express interaction and study its properties. Formalisms such as process algebras/calculi, concurrent objects, actors, shared memory, message passing, etc., all are primarily action-based models that provide constructs for the direct specification of things that interact, rather than a direct specification of interaction (protocols). Consequently, interaction in these formalisms becomes a derived or secondary concept whose properties can be studied only indirectly, as the sideeffects of the (intended or coincidental) couplings or clashes of the actions whose compositions comprise a model.Treating interaction as an explicit first-class concept, complete with its own composition operators, allows to specify more complex interaction protocols by combining simpler, and eventually primitive, protocols. Reo [4,7,8,15] serves as a premier example of such an interaction-based model of concurrency. In this paper, we describe Reo and its compiler. We show how exogenous coordination in Reo reflects an interaction-centric model of concurrency where an interaction (protocol) consists of nothing but a relational constraint on communication actions. In this setting, interaction protocols become explicit, concrete, tangible (software) constructs that can be specified, verified, composed, and reused, independently of the actors that they may engage in disparate applications.

show abstract

“…Composition and integration of web services lie at the heart of our framework and they cannot be successful without behavioral specification of software services. BPMN may also be used to define the behavior of a service, but, there are some drawbacks and ambiguities in this aspect of BPMN [17]. Therefore, developing service ontology is required to specify service semantics and disambiguate current BPMN process specification of services.…”

Section: Formal Representation Of Software Servicesmentioning

confidence: 99%

A Framework for Automated Service Composition in Collaborative Networks

Sargolzaei

Shadi

2012

IFIP Advances in Information and Communication Technology

View full text Add to dashboard Cite

A framework for automated service composition in collaborative networksAfsarmanesh, H.; Sargolzaei, M.; Shadi, M. General rightsIt is not permitted to download or to forward/distribute the text or part of it without the consent of the author(s) and/or copyright holder(s), other than for strictly personal, individual use, unless the work is under an open content license (like Creative Commons). Disclaimer/Complaints regulationsIf you believe that digital publication of certain material infringes any of your rights or (privacy) interests, please let the Library know, stating your reasons. In case of a legitimate complaint, the Library will make the material inaccessible and/or remove it from the website. Please Ask the Library: http://uba.uva.nl/en/contact, or a letter to: Library of the University of Amsterdam, Secretariat, Singel 425, 1012 WP Amsterdam, The Netherlands. You will be contacted as soon as possible. Abstract. This paper proposes a novel framework for automated software service composition that can significantly support and enhance collaboration among enterprises in service provision industry, such as in tourism insurance and e-commerce collaborative networks (CNs). Sharing/integration of software services in CNs, as well as interoperation among implemented software services in this industry, are quite challenging. There is currently no machine readable standard notation that can unambiguously define the behavior of the software that implements the business processes, however typically enterprises in service industry formalize the definition of their on-line business services using standard business process modeling notation, such as BPMN. Our proposed framework is founded on service oriented architecture (SOA) paradigm. In the proposed framework, software services implementing on-line business services that are provided by different enterprises will be formally defined, using an extended BPMN notation to capture their semantics and behavior, as well as the WSDL notation to capture their syntax. Furthermore, the syntax, semantics and behavior of these software services will be registered in a service repository for the CN, so service discovery in this framework can go far beyond the current practice of service search by name, and can be even based on actual service behavior. The paper addresses enhancement of automated software service integration in CNs, through the application of the Reo coordination language, which is used to formalize the interaction among the composed services. The main reason for using Reo in this context is that it supports separating the computations needed by software components in an integrated system from their interactions. The suggested framework provides more flexibility and adaptability as well as cost-effectiveness in service composition, as to be supported in collaborative networks.

show abstract

Formal Behavioral Modeling and Compliance Analysis for Service-Oriented Systems

Cited by 39 publications

References 43 publications

Business process compliance checking – applying and evaluating a generic pattern matching approach for conceptual models in the financial sector

Business process compliance checking – applying and evaluating a generic pattern matching approach for conceptual models in the financial sector

Coordinating Multicore Computing

A Framework for Automated Service Composition in Collaborative Networks

Contact Info

Product

Resources

About