Validation of Service Blueprint Models by Means of Formal Simulation Techniques
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.
KeywordsService blueprint Validation Simulation
This research has been funded by the Ministry of Science and Innovation under the ELASTIC project (TIN2014-52938-C2-1-R), the Government of Madrid under the SICOMORo-CM project (S2013/ICE- 3006) and by the SSME Research Excellence Group (Ref. 30VCPIGI05) co-funded by URJC and Banco Santander.
- 4.Shostack, G.L.: Designing services that deliver. Harvard Bus. Rev. 62(1), 133–139 (1984)Google Scholar
- 8.Gronback, R.C.: Eclipse Modeling Project: A Domain-specific Language (DSL) Toolkit. Pearson Education, London (2009)Google Scholar
- 10.Osterwalder, A., Pigneur, Y.: Business Model Generation: A Handbook for Visionaries, Game Changers, and Challengers. Wiley, Hoboken (2010)Google Scholar
- 15.Oriol, X., Teniente, E., Rull, G.: TINTIN: a tool for incremental integrity checking of assertions in SQL server. In: Proceedings of the 19th International Conference on Extending Database Technology, EDBT 2016, Bordeaux, France, 15–16 March 2016, pp. 632–635 (2016)Google Scholar
- 21.Liang, T.P., Wang, Y.W., Wu, P.J.: A system for service blueprint design. In: 2013 Fifth International Conference on Service Science and Innovation (ICSSI), pp. 252–253. IEEE (2013)Google Scholar
- 22.Lau, N.: ServiceSketch: a collaborative tabletop tool for service design (2011)Google Scholar
- 26.Lenz, K., Oberweis, A.: Modeling interorganizational workflows with XML nets. In: HICSS-34. IEEE Computer Society (2001)Google Scholar
- 27.Foundation, T.Y.: YAWL - User Manual. Version 4.1. (2016). http://www.yawlfoundation.org/pages/support/manuals.html
- 30.Mylopoulos, J., Borgida, A., Greenspan, S.J., Wong, H.K.T.: Information system design at the conceptual level - the taxis project. IEEE Database Eng. Bull. 7(4), 4–9 (1984)Google Scholar
- 31.Gonzalez, P., Griesmayer, A., Lomuscio, A.: Verification of GSM-based artifact-centric systems by predicate abstraction. In: Barros, A., Grigori, D., Narendra, N.C., Dam, H.K. (eds.) ICSOC 2015. LNCS, vol. 9435, pp. 253–268. Springer, Heidelberg (2015). doi: 10.1007/978-3-662-48616-0_16 CrossRefGoogle Scholar
- 33.Ovans, A.: What is a business model. Harvard Bus. Rev. 23 (2015)Google Scholar