Please use this identifier to cite or link to this item:
Title: Ensuring business and service requirements in enterprise mashups
Authors: Vesyropoulos, Nikolaos
Georgiadis, Christos K.
Katsaros, Panagiotis
Type: Article
Subjects: FRASCATI::Natural sciences::Computer and information sciences
Keywords: business process
enterprise mashups
web services
model checking
BIP component framework
Issue Date: 2018
Source: Information Systems and e-Business Management
Volume: 16
Issue: 1
First Page: 205
Last Page: 242
Abstract: During the past few years, mashups have gained wide attention as they utilize Web 2.0 technologies in order to combine data, as well as the functionalities of numerous services, in a simple web application. While developing mashups for simple user-specific needs is not a demanding procedure, this is not the case for value-added services that need to satisfy specific properties and business needs, known as enterprise mashups. As a number of business requirements have to be satisfied, and execution faults are less tolerated compared to user-centric scenarios, a rigorous approach for their development is required. In this work we present such an approach utilizing model checking techniques, provided by the behavior, interaction, priorities (BIP) component framework. In addition, a methodology for the transformation of business process model and notation models, describing the business logic of a requested mashup, into the corresponding BIP models is proposed. The generated models enable the verification of requested properties. © 2017, Springer-Verlag GmbH Germany.
ISSN: 1617-9846
Other Identifiers: 10.1007/s10257-017-0363-x
Appears in Collections:Department of Applied Informatics

Files in This Item:
File Description SizeFormat 
GeorgiadisChristos_Ensuring Business_2018.pdf1,1 MBAdobe PDFThumbnail

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.