Παρακαλώ χρησιμοποιήστε αυτό το αναγνωριστικό για να παραπέμψετε ή να δημιουργήσετε σύνδεσμο προς αυτό το τεκμήριο:
https://ruomo.lib.uom.gr/handle/7000/660
Πλήρης εγγραφή μεταδεδομένων
Πεδίο DC | Τιμή | Γλώσσα |
---|---|---|
dc.contributor.author | Vesyropoulos, Nikolaos | - |
dc.contributor.author | Georgiadis, Christos K. | - |
dc.contributor.author | Katsaros, Panagiotis | - |
dc.date.accessioned | 2020-04-06T05:00:53Z | - |
dc.date.available | 2020-04-06T05:00:53Z | - |
dc.date.issued | 2018 | - |
dc.identifier | 10.1007/s10257-017-0363-x | en_US |
dc.identifier.issn | 1617-9846 | en_US |
dc.identifier.uri | https://doi.org/10.1007/s10257-017-0363-x | en_US |
dc.identifier.uri | https://ruomo.lib.uom.gr/handle/7000/660 | - |
dc.description.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. | en_US |
dc.language.iso | en | en_US |
dc.source | Information Systems and e-Business Management | en_US |
dc.subject | FRASCATI::Natural sciences::Computer and information sciences | en_US |
dc.subject.other | business process | en_US |
dc.subject.other | BPMN | en_US |
dc.subject.other | enterprise mashups | en_US |
dc.subject.other | web services | en_US |
dc.subject.other | model checking | en_US |
dc.subject.other | BIP component framework | en_US |
dc.title | Ensuring business and service requirements in enterprise mashups | en_US |
dc.type | Article | en_US |
dc.contributor.department | Τμήμα Εφαρμοσμένης Πληροφορικής | en_US |
local.identifier.volume | 16 | en_US |
local.identifier.issue | 1 | en_US |
local.identifier.firstpage | 205 | en_US |
local.identifier.lastpage | 242 | en_US |
Εμφανίζεται στις Συλλογές: | Τμήμα Εφαρμοσμένης Πληροφορικής |
Αρχεία σε αυτό το Τεκμήριο:
Αρχείο | Περιγραφή | Μέγεθος | Μορφότυπος | |
---|---|---|---|---|
GeorgiadisChristos_Ensuring Business_2018.pdf | 1,1 MB | Adobe PDF | Προβολή/Ανοιγμα |
Τα τεκμήρια στο Αποθετήριο προστατεύονται από πνευματικά δικαιώματα, εκτός αν αναφέρεται κάτι διαφορετικό.