Mostra el registre d'ítem simple
Validation of Service Blueprint models by means of formal simulation techniques
dc.contributor.author | Estañol Lamarca, Montserrat |
dc.contributor.author | Marcos, Esperanza |
dc.contributor.author | Oriol Hilari, Xavier |
dc.contributor.author | Pérez, Francisco J. |
dc.contributor.author | Teniente López, Ernest |
dc.contributor.author | Vara, Juan M. |
dc.contributor.other | Universitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació |
dc.contributor.other | Facultat d'Informàtica de Barcelona |
dc.date.accessioned | 2018-01-26T13:25:52Z |
dc.date.available | 2018-01-26T13:25:52Z |
dc.date.issued | 2017 |
dc.identifier.citation | Estañol, M., Marcos, E., Oriol, X., Pérez, F. J., Teniente, E., Vara, J.M. Validation of Service Blueprint models by means of formal simulation techniques. A: International Conference on Service-Oriented Computing. "Service-Oriented Computing: 15th International Conference, ICSOC 2017: Málaga, Spain, November 13-16, 2017: proceedings". Málaga: Springer, 2017, p. 80-95. |
dc.identifier.isbn | 978-3-319-69035-3 |
dc.identifier.uri | http://hdl.handle.net/2117/113267 |
dc.description.abstract | As service design has gained interest in the last years, so has gained one of its primary tools: the Service Blueprint. In essence, a service blueprint is a graphical tool for the design of business models, specifically for the design of business service operations. Despite its level of adoption, tool support for service design tasks is still on its early days and available tools for service blueprint modeling are mainly focused on enhancing usability and enabling collaborative edition, disregarding the formal aspects of modeling. In this paper we present a way to support the validation of service blueprint models by simulation. This approach is based on annotating the models with formal semantics, so that each task can be translated into formal logics, and from them, to executable SQL statements. This works opens a new direction in the way to bridge formal techniques and creative service design processes. |
dc.format.extent | 16 p. |
dc.language.iso | eng |
dc.publisher | Springer |
dc.subject | Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica |
dc.subject.lcsh | Formal methods (Computer science) |
dc.subject.other | Service blueprint |
dc.subject.other | Validation |
dc.subject.other | Simulation |
dc.title | Validation of Service Blueprint models by means of formal simulation techniques |
dc.type | Conference report |
dc.subject.lemac | Mètodes formals (Informàtica) |
dc.contributor.group | Universitat Politècnica de Catalunya. MPI - Modelització i Processament de la Informació |
dc.identifier.doi | 10.1007/978-3-319-69035-3_6 |
dc.description.peerreviewed | Peer Reviewed |
dc.relation.publisherversion | https://link.springer.com/chapter/10.1007%2F978-3-319-69035-3_6 |
dc.rights.access | Open Access |
local.identifier.drac | 21690111 |
dc.description.version | Postprint (author's final draft) |
dc.relation.projectid | info:eu-repo/grantAgreement/MINECO//TIN2014-52938-C2-2-R/ES/ELASTIC: ESPECIFICACION, VERIFICACION Y SIMULACION DE MODELOS PARA LOS PROCESOS DE SERVITIZACION DE LAS TIC/ |
local.citation.author | Estañol, M.; Marcos, E.; Oriol, X.; Pérez, F. J.; Teniente, E.; Vara, J.M. |
local.citation.contributor | International Conference on Service-Oriented Computing |
local.citation.pubplace | Málaga |
local.citation.publicationName | Service-Oriented Computing: 15th International Conference, ICSOC 2017: Málaga, Spain, November 13-16, 2017: proceedings |
local.citation.startingPage | 80 |
local.citation.endingPage | 95 |