Validation of Service Blueprint Models by Means of Formal Simulation Techniques

  • Montserrat Estañol
  • Esperanza Marcos
  • Xavier Oriol
  • Francisco J. Pérez
  • Ernest Teniente
  • Juan M. VaraEmail author
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10601)


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.


Service 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.


  1. 1.
    Fisk, R.P., Brown, S.W., Bitner, M.J.: Tracking the evolution of the services marketing literature. J. Retail. 69(1), 61–103 (1993)CrossRefGoogle Scholar
  2. 2.
    Spohrer, J., Maglio, P.P., Bailey, J., Gruhl, D.: Steps toward a science of service systems. Computer 40(1), 71–77 (2007)CrossRefGoogle Scholar
  3. 3.
    Cook, L.S., Bowen, D.E., Chase, R.B., Dasu, S., Stewart, D.M., Tansik, D.A.: Human issues in service design. J. Oper. Manage. 20(2), 159–174 (2002)CrossRefGoogle Scholar
  4. 4.
    Shostack, G.L.: Designing services that deliver. Harvard Bus. Rev. 62(1), 133–139 (1984)Google Scholar
  5. 5.
    Gounaris, S., Tanyeri, M., Kostopoulos, G., Gounaris, S., Boukis, A.: Service blueprinting effectiveness: drivers of success. Int. J. Manag. Serv. Qual. 22(6), 580–591 (2012)CrossRefGoogle Scholar
  6. 6.
    Van Gorp, P., Dijkman, R.: A visual token-based formalization of BPMN 2.0 based on in-place transformations. Inf. Softw. Technol. 55(2), 365–394 (2013)CrossRefGoogle Scholar
  7. 7.
    Noguera, M., Hurtado, M.V., Rodríguez, M.L., Chung, L., Garrido, J.L.: Ontology-driven analysis of UML-based collaborative processes using OWL-DL and CPN. Sci. Comput. Program. 75(8), 726–760 (2010)CrossRefzbMATHGoogle Scholar
  8. 8.
    Gronback, R.C.: Eclipse Modeling Project: A Domain-specific Language (DSL) Toolkit. Pearson Education, London (2009)Google Scholar
  9. 9.
    Bitner, M.J., Ostrom, A.L., Morgan, F.N.: Service blueprinting: a practical technique for service innovation. Calif. Manag. Rev. 50(3), 66–94 (2008)CrossRefGoogle Scholar
  10. 10.
    Osterwalder, A., Pigneur, Y.: Business Model Generation: A Handbook for Visionaries, Game Changers, and Challengers. Wiley, Hoboken (2010)Google Scholar
  11. 11.
    Gordijn, J., Akkermans, H., Van Vliet, J.: Designing and evaluating e-business models. IEEE Intell. Syst. 16(4), 11–17 (2001)CrossRefGoogle Scholar
  12. 12.
    Sampson, S.E.: Visualizing service operations. J. Serv. Res. 15(2), 182–198 (2012)CrossRefGoogle Scholar
  13. 13.
    Vara, J.M., Marcos, E.: A framework for model-driven development of information systems: technical decisions and lessons learned. J. Syst. Softw. 85(10), 2368–2384 (2012)CrossRefGoogle Scholar
  14. 14.
    De Giacomo, G., Oriol, X., Estañol, M., Teniente, E.: Linking data and BPMN processes to achieve executable models. In: Dubois, E., Pohl, K. (eds.) CAiSE 2017. LNCS, vol. 10253, pp. 612–628. Springer, Cham (2017). doi: 10.1007/978-3-319-59536-8_38 Google Scholar
  15. 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
  16. 16.
    Berkley, B.J.: Analyzing service blueprints using phase distributions. Eur. J. Oper. Res. 88(1), 152–164 (1996)CrossRefzbMATHGoogle Scholar
  17. 17.
    Song, W., Wu, Z., Li, X., Xu, Z.: Modularizing product extension services: an approach based on modified service blueprint and fuzzy graph. Comput. Indust. Eng. 85, 186–195 (2015)CrossRefGoogle Scholar
  18. 18.
    Lee, C.H., Wang, Y.H., Trappey, A.J.: Service design for intelligent parking based on theory of inventive problem solving and service blueprint. Adv. Eng. Inform. 29(3), 295–306 (2015)CrossRefGoogle Scholar
  19. 19.
    FlieB, S., Kleinaltenkamp, M.: Blueprinting the service company. J. Bus. Res. 57(4), 392–404 (2004). European Research in Service MarketingCrossRefGoogle Scholar
  20. 20.
    Cavalieri, S., Pezzotta, G.: Product - service systems engineering: state of the art and research challenges. Comput. Ind. 63(4), 278–288 (2012)CrossRefGoogle Scholar
  21. 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. 22.
    Lau, N.: ServiceSketch: a collaborative tabletop tool for service design (2011)Google Scholar
  23. 23.
    de Oca, I.M.M., Snoeck, M., Reijers, H.A., Rodriguez-Morffi, A.: A systematic literature review of studies on business process modeling quality. Inf. Softw. Technol. 58, 187–205 (2015)CrossRefGoogle Scholar
  24. 24.
    Polančič, G., Cegnar, B.: Complexity metrics for process models - a systematic literature review. Comput. Stand. Interfaces 51, 104–117 (2017)CrossRefGoogle Scholar
  25. 25.
    Fabra, J., de Castro, V., Álvarez, P., Marcos, E.: Automatic execution of business process models: exploiting the benefits of model-driven engineering approaches. J. Syst. Softw. 85(3), 607–625 (2012)CrossRefGoogle Scholar
  26. 26.
    Lenz, K., Oberweis, A.: Modeling interorganizational workflows with XML nets. In: HICSS-34. IEEE Computer Society (2001)Google Scholar
  27. 27.
    Foundation, T.Y.: YAWL - User Manual. Version 4.1. (2016).
  28. 28.
    Parody, L., López, M.T.G., Gasca, R.M.: Hybrid business process modeling for the optimization of outcome data. Inf. Softw. Technol. 70, 140–154 (2016)CrossRefGoogle Scholar
  29. 29.
    Lindland, O.I., Krogstie, J.: Validating conceptual models by transformational prototyping. In: Rolland, C., Bodart, F., Cauvet, C. (eds.) CAiSE 1993. LNCS, vol. 685, pp. 165–183. Springer, Heidelberg (1993). doi: 10.1007/3-540-56777-1_9 CrossRefGoogle Scholar
  30. 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. 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
  32. 32.
    Deutsch, A., Hull, R., Vianu, V.: Automatic verification of database-centric systems. SIGMOD Rec. 43(3), 5–17 (2014)CrossRefGoogle Scholar
  33. 33.
    Ovans, A.: What is a business model. Harvard Bus. Rev. 23 (2015)Google Scholar
  34. 34.
    Gray, J., Rumpe, B.: Models for the digital transformation. Softw. Syst. Model. 16(2), 1–2 (2017)CrossRefGoogle Scholar

Copyright information

© Springer International Publishing AG 2017

Authors and Affiliations

  • Montserrat Estañol
    • 2
  • Esperanza Marcos
    • 1
  • Xavier Oriol
    • 2
  • Francisco J. Pérez
    • 1
  • Ernest Teniente
    • 2
  • Juan M. Vara
    • 1
    Email author
  1. 1.Kybele Research GroupUniversity Rey Juan CarlosMadridSpain
  2. 2.Universitat Politàcnica de CatalunyaBarcelonaSpain

Personalised recommendations