Please use this identifier to cite or link to this item: https://ruomo.lib.uom.gr/handle/7000/660
Full metadata record
DC FieldValueLanguage
dc.contributor.authorVesyropoulos, Nikolaos-
dc.contributor.authorGeorgiadis, Christos K.-
dc.contributor.authorKatsaros, Panagiotis-
dc.date.accessioned2020-04-06T05:00:53Z-
dc.date.available2020-04-06T05:00:53Z-
dc.date.issued2018-
dc.identifier10.1007/s10257-017-0363-xen_US
dc.identifier.issn1617-9846en_US
dc.identifier.urihttps://doi.org/10.1007/s10257-017-0363-xen_US
dc.identifier.urihttps://ruomo.lib.uom.gr/handle/7000/660-
dc.description.abstractDuring 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.en_US
dc.language.isoenen_US
dc.sourceInformation Systems and e-Business Managementen_US
dc.subjectFRASCATI::Natural sciences::Computer and information sciencesen_US
dc.subject.otherbusiness processen_US
dc.subject.otherBPMNen_US
dc.subject.otherenterprise mashupsen_US
dc.subject.otherweb servicesen_US
dc.subject.othermodel checkingen_US
dc.subject.otherBIP component frameworken_US
dc.titleEnsuring business and service requirements in enterprise mashupsen_US
dc.typeArticleen_US
dc.contributor.departmentΤμήμα Εφαρμοσμένης Πληροφορικήςen_US
local.identifier.volume16en_US
local.identifier.issue1en_US
local.identifier.firstpage205en_US
local.identifier.lastpage242en_US
Appears in Collections:Department of Applied Informatics

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


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