Abstract
In this paper, we present an environment that contains tools for service design, simulation and prototyping. The main goal of this research is to provide the designer with a method for flexible service modeling. The models generated from this method are then simulated using the Alloy Analyzer tool, or prototyped in the given target language, like Java. In this way, the designer can analyze the behavior of the modeled services and verify if they satisfy business needs and requirements. At the heart of the environment is a flexible, semi-automatic, model-driven tool for designing business services and transforming them through multiple model layers to IT services by capturing the design decisions. The modeling language is based on predefined parametrized functional units. The applicability of this approach is demonstrated by a running example based on the consulting project we undertook at the General Ressort company.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Chen, H.M.: Towards Service Engineering: Service Orientation and Business-IT Alignment. In: Proceedings of the 41st Hawaii International Conference on System Sciences (2008)
Crawford, C., Bate, P., Cherbakov, L., Holley, K., Tsocanos, C.: Toward an on demand service-oriented architecture. IBM Systems Journal 44(1), 81–107 (2005)
Blecher, M., Sholler, D.: Defining Business and SOA Services (2009), http://www.gartner.com/id=1002314
OGC: ITIL v3, Glossary of Terms, Definitions and Acronyms (2007), http://www.itilfoundations.com
Buchwald, S., Bauer, T., Reichert, M.: Bridging the Gap Between Business Process Models and Service Composition Specifications. In: Service Life Cycle Tools and Technologies: Methods, Trends and Advances, pp. 124–153. Idea Group Reference (2011)
Jackson, D.: Alloy Analyzer tool (2011), http://alloy.mit.edu/alloy/
Petitpierre, C.: Bottom Up Creation of a DSL Using Templates and JSON. In: SPLASH 2011 (2011)
D’Souza, D., Wills, A.: Objects, components, and frameworks with UML - The Catalysis approach, 4th edn. Addison-Wesley (2001)
Golnam, A., Regev, G., Ramboz, J., Laprade, P., Wegmann, A.: Systemic Service Design: Aligning Value and Implementation. In: Morin, J.-H., Ralyté, J., Snene, M. (eds.) IESS 2010. LNBIP, vol. 53, pp. 150–164. Springer, Heidelberg (2010)
Bajic, B., Petitpierre, C., Quang Tri, D., Wegmann, A.: From Business Services to IT Services by Capturing Design Decisions. In: BMSD, Geneva, pp. 94–104 (2012)
Vaajakallio, K., Mattelmaki, T., Lehtinen, V., Kantola, V., Kuikkaniemi, K.: Literature Review on Service Design, extreme-design project. Technical report, University of Art and Design Helsinki Helsinki University of Technology (2009)
Jackson, D., Schechter, I., Shlyakhter, I.: ALCOA: The Alloy constraint analyzer. In: Proceedings of the 22nd International Conference on Software Engineering (ICSE), Limerick, Ireland (June 2000)
Rychkova, I.: Formal Semantics for Refinement Verification of Enterprise Models. PhD thesis, EPFL (2008)
JSON (2009), http://json-template.googlecode.com/svn/trunk/doc/Introducing-JSON-Template.html
JavaCC (2012), http://java.net/projects/javacc/
O.M.G.: Model driven architecture. Document number ormsc/2001-07-01 (2001), http://www.omg.org/mda/
Koehler, J., Hauser, R., Sendall, S., Wahler, M.: Declarative techniques for model-driven business process integration. IBM Systems Journal 44(1) (2005)
Zhao, Y., Li, J., Li, Z., Ma, D.: Towards Hierarchical Modeling and Analysis of Web Services Choreography. In: Snene, M., Ralyté, J., Morin, J.-H. (eds.) IESS 2011. LNBIP, vol. 82, pp. 1–15. Springer, Heidelberg (2011)
Zignale, D., Kubicki, S., Ramel, S., Halin, G.: A Model-Based Method for the Design of Services in Collaborative Business Environments. In: Snene, M., Ralyté, J., Morin, J.-H. (eds.) IESS 2011. LNBIP, vol. 82, pp. 68–82. Springer, Heidelberg (2011)
Pesic, M., van der Aalst, W.M.P.: A Declarative Approach for Flexible Business Processes Management. In: Eder, J., Dustdar, S. (eds.) BPM Workshops 2006. LNCS, vol. 4103, pp. 169–180. Springer, Heidelberg (2006)
Hachani, S., Gzara, L., Verjus, H.: Business Process Flexibility in Service Composition: Experiment Using a PLM-Based Scenario. In: Snene, M., Ralyté, J., Morin, J.-H. (eds.) IESS 2011. LNBIP, vol. 82, pp. 158–172. Springer, Heidelberg (2011)
Poka-Yoke (2012), http://en.wikipedia.org/wiki/Poka-yoke
Wegmann, A.: On the Systemic Enterprise Architecture Methodology (SEAM). In: ICEIS (2003)
Golnam, A., Regev, G., Wegmann, A.: A Modeling Framework for Analyzing the Viability of Service Systems. International Journal of Service Science, Management, Engineering, and Technology (IJSSMET) 2, 51–64 (2005)
Regev, G., Hayard, O., Wegmann, A.: Service Systems and Value Modeling from an Appreciative System Perspective. In: Snene, M., Ralyté, J., Morin, J.-H. (eds.) IESS 2011. LNBIP, vol. 82, pp. 146–157. Springer, Heidelberg (2011)
Castro, V., Marcos, E., Wieringa, R.: Towards a service-oriented MDA-based approach to the alignment of business processes with IT systems: from the business model to a web service composition model. International Journal of Cooperative Information Systems 18(2), 225–260 (2008)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bajić-Bizumić, B., Petitpierre, C., Chi Huynh, H., Wegmann, A. (2013). A Model-Driven Environment for Service Design, Simulation and Prototyping. In: Falcão e Cunha, J., Snene, M., Nóvoa, H. (eds) Exploring Services Science. IESS 2013. Lecture Notes in Business Information Processing, vol 143. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-36356-6_15
Download citation
DOI: https://doi.org/10.1007/978-3-642-36356-6_15
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-36355-9
Online ISBN: 978-3-642-36356-6
eBook Packages: Computer ScienceComputer Science (R0)