Abstract
Despite the well-known advantages of applying the MDA approach, particularly when applied to the development of SOA-based systems, there are still some gaps in the process that need to be filled. Specifically, when modelling the system at the PIM level, we have an architectural description at a high level of abstraction, as it must only comprise technologically independent models. But this architecture cannot be directly validated, as we must transform it into a PSM version before being able to execute it. In order to solve this issue, we propose to formalize the architectural model using Domain Specific Language, an ADL which supports the description of dynamic, adaptive and evolvable architectures, such as SOA itself. Our choice, π-ADL, allows for the definition of executable versions of the architecture; and therefore providing this specification implies having a prototype of the system at the PIM level. This appears as a perfect way of getting an executable yet completely technology neutral version of the architecture. We illustrate this by discussing a real-world case study, in which a service-oriented messaging system is modelled at the PIM level and then specified using its π-ADL counterpart; the result can then be used to validate the architecture at the right abstraction level.
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.
Similar content being viewed by others
References
Broy, M.: Model Driven, Architecture-Centric Modeling in Software Development. In: Proceedings of 9th Intl. Conf. in Engineering Complex Computer Systems (ICECCS 2004), pp. 3–12. IEEE Computer Society, Los Alamitos (April 2004)
Cáceres, P., Marcos, E., Vela, B.: A MDA-Based Approach for Web Information System Development. In: Workshop in Software Model Engineering (2003), http://www.metamodel.com/wisme-2003/ (retrieved March 2007)
De Castro, V., López-Sanz, M., Marcos, E.: Business Process Development based on Web Services: A Web Information System for Medical Images Management and Processing. In: Leymann, F., Zhang, L.J. (eds.) Proceedings of IEEE International Conference on Web Services, pp. 807–814. IEEE Computer Society, Los Alamitos (2006)
De Castro, V., Marcos, E., López-Sanz, M.: A Model Driven Method for Service Composition Modeling: A Case Study. International Journal of Web Engineering and Technology 2(4), 335–353 (2006)
Gomaa, H.: Architecture-Centric Evolution in Software Product Lines. In: ECOOP’2005 Workshop on Architecture-Centric Evolution (ACE 2005), Glasgow (July 2005)
IEEE AWG. IEEE RP-1471-2000: Recommended Practice for Architectural Description for Software-Intensive Systems. IEEE Computer Society Press (2000)
López-Sanz, M., Acuña, C., Cuesta, C.E., Marcos, E.: Defining Service-Oriented Software Architecture Models for a MDA-based Development Process at the PIM level. In: Proceedings of WICSA 2008, Vancouver, Canada, pp. 309–312 (2008)
Marcos, E., Acuña, C.J., Cuesta, C.E.: Integrating Software Architecture into a MDA Framework. In: Gruhn, V., Oquendo, F. (eds.) EWSA 2006. LNCS, vol. 4344, pp. 127–143. Springer, Heidelberg (2006)
OASIS: Reference Model for Service Oriented Architecture (2006), Committee draft 1.0. from http://www.oasis-open.org/committees/download.php/16587/wd-soa-rm-cd1ED.pdf (retrieved Febuary 2007)
OMG: Model Driven Architecture. In: Miller, J., Mukerji, J. (eds.) Document No. ormsc/2001-07-01 , http://www.omg.com/mda (retrieved May 2006)
Oquendo, F.: π-ADL: An Architecture Description Language based on the Higher Order Typed π-Calculus for Specifying Dynamic and Mobile Software Architectures. ACM Software Engineering Notes (3) (May 2004)
Papazoglou, M.P.: Service-Oriented Computing: Concepts,Characteristics and Directions. In: Proc. of the Fourth International Conference on Web Information Systems Engineering (WISE 2003), Roma, Italy, December 10-12, pp. 3–12 (2003)
SMPP Forum: SMPP v5.0 Specification, http://www.smsforum.net/ (retrieved September 2007)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
López-Sanz, M., Cuesta, C.E., Marcos, E. (2010). Formalizing High-Level Service-Oriented Architectural Models Using a Dynamic ADL. In: Meersman, R., Dillon, T., Herrero, P. (eds) On the Move to Meaningful Internet Systems: OTM 2010 Workshops. OTM 2010. Lecture Notes in Computer Science, vol 6428. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-16961-8_19
Download citation
DOI: https://doi.org/10.1007/978-3-642-16961-8_19
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-16960-1
Online ISBN: 978-3-642-16961-8
eBook Packages: Computer ScienceComputer Science (R0)