Skip to main content
placeholder image

Formalizing service variability modeling in SOA-based solutions

Conference Paper


Abstract


  • Typical SOA-based solution design involves development of multiple inter-connected models using model-driven development (MDD) techniques. Hence these models are first created in platform neutral form and subsequently transformed through decreasing levels of abstraction before getting into executable form. Therefore creating and reusing variations of these models, for the purpose of enhancing reuse is a difficult challenge. In our earlier work, we had proposed techniques for developing variability models and deriving valid variants of services in a SOA-based solution. But our earlier work lacked a formal semantics for modeling and generalizing variations at different levels of abstraction. In this paper, we present the formal semantics via our Variability Algebra. Via this algebra, we show how variation oriented design of SOA-based solutions can be made a formalized, repeatable and verifiable exercise that helps maximize reuse. We also demonstrate theoretical results that can help optimize the generation and integration of service variants into an SOA-based solution. Throughout this paper, we illustrate our ideas on a running example.

UOW Authors


  •   Ponnalagu, Karthikeyan (external author)
  •   Narendra, Nanjangud C. (external author)
  •   Ghose, Aditya

Publication Date


  • 2013

Citation


  • Ponnalagu, K., Narendra, N. C. & Ghose, A. (2013). Formalizing service variability modeling in SOA-based solutions. In X. Franch & P. Soffer (Eds.), Advanced Information Systems Engineering Workshops: CAiSE International Workshops (pp. 402-416). Germany: Springer.

Scopus Eid


  • 2-s2.0-84879852561

Ro Metadata Url


  • http://ro.uow.edu.au/eispapers/1579

Start Page


  • 402

End Page


  • 416

Abstract


  • Typical SOA-based solution design involves development of multiple inter-connected models using model-driven development (MDD) techniques. Hence these models are first created in platform neutral form and subsequently transformed through decreasing levels of abstraction before getting into executable form. Therefore creating and reusing variations of these models, for the purpose of enhancing reuse is a difficult challenge. In our earlier work, we had proposed techniques for developing variability models and deriving valid variants of services in a SOA-based solution. But our earlier work lacked a formal semantics for modeling and generalizing variations at different levels of abstraction. In this paper, we present the formal semantics via our Variability Algebra. Via this algebra, we show how variation oriented design of SOA-based solutions can be made a formalized, repeatable and verifiable exercise that helps maximize reuse. We also demonstrate theoretical results that can help optimize the generation and integration of service variants into an SOA-based solution. Throughout this paper, we illustrate our ideas on a running example.

UOW Authors


  •   Ponnalagu, Karthikeyan (external author)
  •   Narendra, Nanjangud C. (external author)
  •   Ghose, Aditya

Publication Date


  • 2013

Citation


  • Ponnalagu, K., Narendra, N. C. & Ghose, A. (2013). Formalizing service variability modeling in SOA-based solutions. In X. Franch & P. Soffer (Eds.), Advanced Information Systems Engineering Workshops: CAiSE International Workshops (pp. 402-416). Germany: Springer.

Scopus Eid


  • 2-s2.0-84879852561

Ro Metadata Url


  • http://ro.uow.edu.au/eispapers/1579

Start Page


  • 402

End Page


  • 416