Using SoaML Models and Event-B Specifications for Modeling SOA Design Patterns

Imen Tounsi, Zied Hrichi, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira

2013

Abstract

Although design patterns have become increasingly popular, most of them are presented in an informal way. Patterns, proposed by the SOA design pattern community, are described with a proprietary informal notation, which can raise ambiguity and may lead to their incorrect usage. Modeling SOA design patterns with a standard formal notation avoids misunderstanding by software architects and helps endow design methods. In this paper, we present an approach that aims, first, to model message-oriented SOA design patterns with the SoaML language, and second to transform them to Event-B specifications. These two steps are performed before undertaking the effective coding of a design pattern providing correct by construction pattern-based software architectures. Our approach is enhanced with a tool supporting it. Specification results are imported under the Rodin platform which we use to prove model consistency.

References

  1. Abrial, J.-R. (2010). Modeling in Event-B: System and Software Engineering. Cambridge University Press, New York, NY, USA, 1st edition.
  2. Abrial, J.-R., Butler, M., Hallerstede, S., Hoang, T. S., Mehta, F., and Voisin, L. (2010). Rodin: An Open Toolset for Modelling and Reasoning in Event-B. Int. J. Softw. Tools Technol. Transf., 12(6):447-466.
  3. Beck, K. (2007). Implementation Patterns. Addison Wesley; 1 edition (23 Oct 2007).
  4. Blazy, S., Gervais, F., and Laleau, R. (2003). Reuse of specification patterns with the B method. In Proceedings of the 3rd international conference on Formal specification and development in Z and B, ZB'03, pages 40-57, Berlin, Heidelberg. Springer-Verlag.
  5. Delgado, A., Laura, G., Sofia, L., Andrs, P., FranciscoRuiz, I., and Garcia, R. (2011). SoaML Eclipse plug-in para modelado de servicios. Technical report, Technical report.
  6. Eclipse (2010a). Graphical Editing Framework. http:// www.eclipse.org/gef/.
  7. Eclipse (2010b). Graphical Modeling Framework. http://www.eclipse.org/modeling/gmf/.
  8. Erl, T. w. a. c. (2009). SOA Design Patterns (The Prentice Hall Service-Oriented Computing Series from Thomas Erl). Prentice Hall PTR, 1 edition.
  9. Gamma, E., Helm, R., Johnson, R. E., and Vlissides, J. (1995). Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading, MA.
  10. Gomaa, H. (2004). Designing Software Product Lines with UML: From Use Cases to Pattern-Based Software Architectures (The Addison-Wesley Object Technology Series). Addison-Wesley Professional.
  11. Gregor Hohpe, B. W. (2003). Enterprise Integration Patterns - Designing, Building, and Deploying Messaging Solutions. Addison Wesley.
  12. Kim, S.-K. and Carrington, D. A. (2009). A formalism to describe design patterns based on role concepts. Formal Asp. Comput., 21(5):397-420.
  13. Mapelsden, D., Hosking, J., and Grundy, J. (2002). Design pattern modelling and instantiation using DPML. In Proceedings of the 40th International Conference on Tools Pacific: Objects for internet, mobile and embedded applications, CRPIT'02, pages 3-11. Australian Computer Society, Inc.
  14. ModelDriven, C. (2009). ModelDriven. http://portal. modeldriven.org/.
  15. Modeliosoft (2011). Modelio: The open source modeling environement. http://modeliosoft.org/.
  16. OMG (2012). Service oriented architecture Modeling Language (SoaML) Specification. Technical report.
  17. Ramirez, A. J. and Cheng, B. H. (2009). Developing and applying design patterns for dynamically adaptive systems. Technical Report MSU-CSE-09-8, Department
  18. Tounsi, I., Hadj Kacem, M., Hadj Kacem, A., and Drira, K. (2013a). An Approach for Modeling and Formalizing SOA Design Patterns. In 22nd IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2013, Hammamet, Tunisia, June 17-20, 2013. To appear.
  19. Tounsi, I., Hadj Kacem, M., Hadj Kacem, A., Drira, K., and Mezghani, E. (2013b). Towards an Approach for Modeling and Formalizing SOA Design Patterns with Event-B. In Proceedings of the 28th Annual ACM Symposium on Applied Computing, SAC 2013, pages 1937-1938, Coimbra, Portugal. ACM.
  20. Zhu, H. and Bayley, I. (2010). Laws of pattern composition. In Proceedings of the 12th international conference on Formal engineering methods and software engineering, ICFEM'10, pages 630-645, Berlin, Heidelberg. Springer-Verlag.
Download


Paper Citation


in Harvard Style

Tounsi I., Hrichi Z., Hadj Kacem M., Hadj Kacem A. and Drira K. (2013). Using SoaML Models and Event-B Specifications for Modeling SOA Design Patterns . In Proceedings of the 15th International Conference on Enterprise Information Systems - Volume 2: ICEIS, ISBN 978-989-8565-60-0, pages 294-301. DOI: 10.5220/0004453302940301


in Bibtex Style

@conference{iceis13,
author={Imen Tounsi and Zied Hrichi and Mohamed Hadj Kacem and Ahmed Hadj Kacem and Khalil Drira},
title={Using SoaML Models and Event-B Specifications for Modeling SOA Design Patterns},
booktitle={Proceedings of the 15th International Conference on Enterprise Information Systems - Volume 2: ICEIS,},
year={2013},
pages={294-301},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004453302940301},
isbn={978-989-8565-60-0},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 15th International Conference on Enterprise Information Systems - Volume 2: ICEIS,
TI - Using SoaML Models and Event-B Specifications for Modeling SOA Design Patterns
SN - 978-989-8565-60-0
AU - Tounsi I.
AU - Hrichi Z.
AU - Hadj Kacem M.
AU - Hadj Kacem A.
AU - Drira K.
PY - 2013
SP - 294
EP - 301
DO - 10.5220/0004453302940301