Show simple item record

dc.contributor.authorEstañol Lamarca, Montserrat
dc.contributor.authorMarcos, Esperanza
dc.contributor.authorOriol Hilari, Xavier
dc.contributor.authorPérez, Francisco J.
dc.contributor.authorTeniente López, Ernest
dc.contributor.authorVara, Juan M.
dc.contributor.otherUniversitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació
dc.contributor.otherFacultat d'Informàtica de Barcelona
dc.date.accessioned2018-01-26T13:25:52Z
dc.date.available2018-01-26T13:25:52Z
dc.date.issued2017
dc.identifier.citationEstañ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.isbn978-3-319-69035-3
dc.identifier.urihttp://hdl.handle.net/2117/113267
dc.description.abstractAs 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.extent16 p.
dc.language.isoeng
dc.publisherSpringer
dc.subjectÀrees temàtiques de la UPC::Informàtica::Informàtica teòrica
dc.subject.lcshFormal methods (Computer science)
dc.subject.otherService blueprint
dc.subject.otherValidation
dc.subject.otherSimulation
dc.titleValidation of Service Blueprint models by means of formal simulation techniques
dc.typeConference report
dc.subject.lemacMètodes formals (Informàtica)
dc.contributor.groupUniversitat Politècnica de Catalunya. MPI - Modelització i Processament de la Informació
dc.identifier.doi10.1007/978-3-319-69035-3_6
dc.description.peerreviewedPeer Reviewed
dc.relation.publisherversionhttps://link.springer.com/chapter/10.1007%2F978-3-319-69035-3_6
dc.rights.accessOpen Access
drac.iddocument21690111
dc.description.versionPostprint (author's final draft)
dc.relation.projectidinfo:eu-repo/grantAgreement/MINECO/1PE/TIN2014-52938-C2-2-R
upcommons.citation.authorEstañol, M., Marcos, E., Oriol, X., Pérez, F. J., Teniente, E., Vara, J.M.
upcommons.citation.contributorInternational Conference on Service-Oriented Computing
upcommons.citation.pubplaceMálaga
upcommons.citation.publishedtrue
upcommons.citation.publicationNameService-Oriented Computing: 15th International Conference, ICSOC 2017: Málaga, Spain, November 13-16, 2017: proceedings
upcommons.citation.startingPage80
upcommons.citation.endingPage95


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record

All rights reserved. This work is protected by the corresponding intellectual and industrial property rights. Without prejudice to any existing legal exemptions, reproduction, distribution, public communication or transformation of this work are prohibited without permission of the copyright holder