Representing Service-Oriented Architectural Models Using Π-ADL

Authors:
Marcos López-Sanz;Zawar Qayyum;Carlos E. Cuesta;Esperanza Marcos;Flavio Oquendo
Affiliations:
Kybele Research Group, Rey Juan Carlos University Mostoles, Madrid, Spain 28933;VALORIA Laboratory, University of South Brittany, Vannes, France 56017;Kybele Research Group, Rey Juan Carlos University Mostoles, Madrid, Spain 28933;Kybele Research Group, Rey Juan Carlos University Mostoles, Madrid, Spain 28933;VALORIA Laboratory, University of South Brittany, Vannes, France 56017
Venue:
ECSA '08 Proceedings of the 2nd European conference on Software Architecture
Year:
2008

Citing 7
Cited 2

Constructing Distributed Systems in Conic

IEEE Transactions on Software Engineering
Logic and Algebra of Specification

Logic and Algebra of Specification
Service -Oriented Computing: Concepts, Characteristics and Directions

WISE '03 Proceedings of the Fourth International Conference on Web Information Systems Engineering
π-ADL: an Architecture Description Language based on the higher-order typed π-calculus for specifying dynamic and mobile software architectures

ACM SIGSOFT Software Engineering Notes
Architecture Driven Modeling in Software Development

ICECCS '04 Proceedings of the Ninth IEEE International Conference on Engineering Complex Computer Systems Navigating Complexity in the e-Engineering Age
A model driven method for service composition modelling: a case study

International Journal of Web Engineering and Technology
Integrating software architecture into a MDA framework

EWSA'06 Proceedings of the Third European conference on Software Architecture

A model for dynamic reconfiguration in service-oriented architectures

ECSA'10 Proceedings of the 4th European conference on Software architecture
DAMASCo: a framework for the automatic composition of component-based and service-oriented architectures

ECSA'11 Proceedings of the 5th European conference on Software architecture

Quantified Score

Hi-index	0.00

Visualization

Abstract

Despite the well-known advantages of applying the MDA proposalto SOA developments, there are still some gaps that need to befilled. At PIM-level, for example, there is no possibility ofhaving an executable version of the system as it solely comprisestechnologically independent models. In order to solve this wepropose to formalize the architectural model at this level withΠ-ADL, an ADL supporting the description of dynamicand evolvable architectures like SOA itself is. Since Π-ADL allows the definition of executable versions of thearchitecture, the specification written embodies a prototype of thesystem at the PIM-level. We illustrate this by describing a realcase study based on the SMPP standard for sending SMS messages.