Desarrollo multiparadigma

En la búsqueda de modelos, técnicas y procesos para el desarrollo de la programación en un ambiente multiparadigma aparecen situaciones que producen una cierta evolución de los paradigmas clásicos dando respuesta a las mismas. Aparecen extensiones hacia la orientación a agentes y a aspectos para dar respuesta a la complejidad que van presentando el desarrollo de sistemas a gran escala. En esta etapa se ha consolidado la idea de redefinir la programación como la elección de aquellos conceptos que permitan desarrollar la tarea del programador de manera apropiada donde resolver un problema en programación significa elegir los conceptos adecuados que permitan alcanzar la solución.Eje: Innovación en Sistemas de SoftwareRed de Universidades con Carreras en Informática (RedUNCI

Pasaulinio saityno paslaugų kompozicijų skaidymas į modulius

Straipsnyje aptariami, analizuojami ir vertinami svarbiausi pasiūlymai, kaip spręsti pasaulinio saityno paslaugų kompozicijų skaidymo į modulius uždavinį. Tai yra vienas iš aktualiausių e. verslo sistemų kūrimo uždavinių, kurio neišsprendus neįmanoma adekvačiai apdoroti vykdymo meto įvykių, dinamiškai perplanuoti verslo procesų, atsižvelgti į paslaugų kokybės charakteristikas ir įgyvendinti daugelį kitų svarbių e. verslo sistemos funkcijų. Straipsnyje pateiktas esamos padėties vertinimas ir išryškintos svarbiausios dar neišspręstos problemos, su kuriomis susiduriama skaidant į modulius pasaulinio saityno paslaugų kompozicijas. Tikimasi, kad atlikta analizė bus naudinga visiems šioje srityje dirbantiems mokslininkams ir padės jiems planuoti savo tolesnius tyrimus.Modularization of Web Service CompositionJolanta Miliauskaitė, Albertas Čaplinskas SummaryThe paper discusses, analyzes and evaluates the most important scientific propositions on how to solve the problem of web service composition modularization. This problem is very important in the context of eBusiness systems because it is impossible in such systems to process the run-time events in a flexible way, reconfigure business processes dynamically, to take into account in the service discovery process the quality of services, and to implement effectively many other eBusiness system features without knowing an efficient solution of this problem. The paper discusses the current state of affairs and highlights most important open issues. The authors hope that it will be useful for all researchers involved in the web service studies and helpful when planning their further research.>&nbsp

Guiding Service Composition in a Visual Service Creation Environment

Current day service composition languages like WS-BPEL require in-depth knowledge of this language by the service composition designers. In this paper we present a high-level, visual Service Creation Environment (SCE). This SCE provides service composition templates, verifica-tion of compatibility and guidelines, and advanced separa-tion of concerns through Aspect-Oriented Software Devel-opment. Composition templates are abstract descriptions of reusable compositions containing several placeholders for services. Services are verified to be compatible with the composition template when a service is mapped onto a composition template’s placeholder. Composition guide-lines such as QoS constraints can be added to the SCE and verified. The modularization of crosscutting concerns is supported by the SCE through the general-purpose Padus Aspect-Oriented Programming language and the possibil-ity to add concern-specific languages on top of Padus. The SCE generates the appropriate WS-BPEL processes given a complete and verified service composition. 1

Isolating process-level concerns using padus

Current workflow languages for web services suffer from poor support for separation of concerns. Aspect-oriented software development is a well-known approach to improve this. In this paper, we present an aspect-oriented extension for the WS-BPEL language that improves on current state-of-the-art by introducing an explicit deployment construct, a richer joinpoint model, and a higher-level pointcut language. In addition, the supporting technology is compatible with existing WS-BPEL engines.status: publishe

Isolating process-level concerns using Padus

Abstract. Current workflow languages for web services suffer from poor support for separation of concerns. Aspect-oriented software development is a well-known approach to improve this. In this paper, we present an aspect-oriented extension for the WS-BPEL language that improves on current state-of-the-art by introducing an explicit deployment construct, a richer joinpoint model, and a higher-level pointcut language. In addition, the supporting technology is compatible with existing WS-BPEL engines. Classification. Business process modeling and analysis, processes and service composition

Isolating process-level concerns using padus

Current workflow languages for web services suffer from poor support for separation of concerns. Aspect-oriented software development is a well-known approach to improve this. In this paper, we present an aspect-oriented extension for the WS-BPEL language that improves on current state-of-the-art by introducing an explicit deployment construct, a richer joinpoint model, and a higher-level pointcut language. In addition, the supporting technology is compatible with existing WS-BPEL engines.status: publishe

Canevas de développement agile pour l'évolution fiable de systèmes logiciels à composants et orientés services

Modern software is characterized by a need for constant and rapid evolution, such as in the mobile domain. To facilitate the development and the rapid evolution of complex systems, software engineering approaches have been proposed, such as software architecture and agile software development. However, current solutions offer poor support to enable the development of a reliable system, i.e, allow its modification while ensuring its compliance with the quality of services requirement and its good overall safety. The contribution of this PhD thesis is CALICO, an agile development framework for the design and evolution of safe component-based and service-oriented software. The agile software development relies on an iterative and incremental development cycle that allows the architect to iterate between the design of the architecture and the debug of the software in its execution context. At each iteration, the architect can evolve its software and check the consistency of its evolution through the execution of static and dynamic analysis tools. Thus, during the design and the evolution of the system, architect can use a set of metamodels to specify the structure of the architecture and its various quality of services requirement. During the deployment, CALICO instantiates the system on the target runtime platform from the models specified and keeps them synchronized with the software during its execution. By this way, the architect still has a conceptual view which allows him to reason on the critical software properties during its evolution. Moreover, in order to check these evolutions, CALICO provides a unifying framework which allows reuse of many static analysis tools of software architectures and dynamic debugging tools, that were scattered in different existing platforms. Thus, each change can be statically analyzed on the conceptual view before being propagated to the software system. Dynamic analysis are based on data values only available during the execution. The capture of these values is done through automatic instrumentation of the software system. Globally, CALICO enables reliable evolution even if the underlying platforms does not natively provide this support. Our contribution is concretized by a multi-platform implementation. The current version handles four component-based and service-oriented platforms. Moreover, the benchmarks that we have performed show that CALICO is usable for the design and development of safe applications up to 10,000 components and services, which corresponds to the maximal load of most runtime platforms.Les systèmes logiciels modernes se caractérisent par un besoin d'évolutions perpétuelles et rapides, comme par exemple dans le monde de l'informatique mobile. Pour faciliter le développe\-ment et l'évolution rapide de systèmes complexes, des approches de génie logiciel ont été proposées, telles que les architectures logicielles et la méthode de conception agile. Néanmoins, les solutions actuelles offrent peu de support pour permettre l'évolution fiable d'un système, c'est-à-dire permettre sa modification tout en garantissant le respect de ses exigences de qualités de service et de bon fonctionnement global. La contribution de cette thèse est CALICO, un canevas de développement agile pour la conception et l'évolution fiable de systèmes logiciels à composants et orientés services. Le développement agile repose sur l'utilisation d'un cycle de développement itératif et incrémental qui permet à l'architecte d'itérer entre les étapes de conception de l'architecture et de débogage du logiciel dans son environnement d'exécution. A chaque itération du cycle, l'architecte peut faire évoluer son logiciel et fiabiliser ses évolutions grâce à l'exécution d'analyses statiques et dynamiques complémentaires. Ainsi, lors de la conception et de l'évolution d'un système, l'architecte dispose d'un ensemble de métamodèles pour spécifier la structure de l'architecture de son logiciel et ses diverses exigences de qualité de services. Lors du déploiement, CALICO utilise les modèles spécifiés pour instancier le système sur la plate-forme d'exécution cible et les garde synchronisés avec le logiciel lors de son exécution. De cette façon, l'architecte dispose toujours d'une vue conceptuelle qui lui permet de raisonner sur les propriétés critiques de son logiciel lors d'une évolution. De plus, pour fiabiliser ces évolutions, CALICO offre un cadre fédérateur qui autorise la réutilisation de nombreux outils d'analyse statique des architectures logicielles et de débogage dynamique qui étaient jusqu'alors dispersés dans différentes plates-formes existantes. Ainsi, chaque évolution peut être analysée statiquement sur la vue conceptuelle avant d'être propagée au système logiciel. Les analyses dynamiques reposent quant à elles sur des valeurs disponibles à l'exécution. La capture de ces valeurs est effectuée grâce à une instrumentation automatique du système logiciel. CALICO permet donc de fiabiliser les évolutions même si les plates-formes d'exécution sous-jacentes ne le proposent pas nativement. Notre contribution se concrétise par une implémentation multi plates-formes. La version actuelle prend en charge quatre plates-formes à composants et une plate-forme à services. Par ailleurs, les tests de performances que nous avons réalisés démontrent que CALICO est utilisable pour la conception et l'évolution fiable de larges applications jusqu'à 10000 composants et services, ce qui correspond à la montée en charge maximale de la plupart des plates-formes d'exécution

Middleware for Advanced Service Configuration: a Policy-Based Approach (Middleware voor geavanceerde configuratie van diensten op basis van policies)

Middleware wordt traditioneel gebruikt om de ontwikkeling van gedistribueerde applicaties te vergemakkelijken. Maar de omvang en complexiteit van gedistribueerde applicaties en het onderliggende middleware platform zijn aanzienlijk gegroeid. De groeiende populariteit van nieuwe paradigma s zoals dienstgeoriënteerde ontwikkeling en het modelleren van bedrijfsprocessen vereisen de mogelijkheid om herbruikbare diensten te configureren om te voldoen aan applicatiespecifieke vereisten. De traditionele middleware architectuur dient uitgebreid te worden met een extra laag die de eenvoudige configuratie van diensten toelaat.Dit onderzoek stelt een policy-gebaseerde aanpak voor om de configuratie van diensten op een hoog niveau mogelijk te maken. Onze "policy-gedreven middleware" breidt de standaard middleware architectuur uit met een extra laag die complexiteit verbergt waar mogelijk en die het ontwikkelen van applicaties vereenvoudigt door ondersteuning te bieden voor het specificeren, valideren en afdwingen van policies. Policies zijn declaratieve statements op een hoger niveau die bepaalde keuzes in het systeem sturen.Onze belangrijkste contributies hebben zich toegespitst op drie dimensies die essentieel zijn in de zoektocht naar praktische oplossingen: (1) een expressieve policy taal die in verschillende contexten en toepassingsdomeinen kan gebruikt worden; (2) de integratie van het afdwingen van policies in de middleware, gebruik makend van verschillende strategieën en technieken; en (3) ondersteuning voor het redeneren over policies op basis van een hybride redeneersysteem.Een laatste contributie om de ontwikkeling van gedistribueerde applicaties te vergemakkelijken is uitgevoerd in de context van bedrijfsprocessen. Huidige talen voor het beschrijven van uitvoerbare bedrijfsprocessen bieden weinig ondersteuning voor het modulariseren van verschillende belangen, waardoor ze moeilijk(er) te verstaan, te onderhouden en te herbruiken zijn. Aspect-georiënteerde softwareontwikkeling is een gekende techniek om de modularisatie van een applicatie te verbeteren door verschillende belangen in aparte modules te specificeren. De Padus taal is een aspect-georiënteerde extensie voor WS-BPEL, een populaire workflow taal voor beschrijven van (web) service composities. Padus is specifiek ontwikkeld om bijkomende belangen van de hoofdfunctionaliteit van een bedrijfsproces te scheiden op basis van aspecten. Deze aspecten kunnen daarna gecombineerd worden met verschillende bedrijfsprocessen, gebruik makend van de statische Padus wever. Deze technologie kan ook gebruikt worden in policy-gedreven middleware om de integratie tussen policies en bedrijfsprocessen te vergemakkelijken.De contributies werden gevalideerd in realistische applicaties uit twee toepassingsdomeinen, namelijk de telecommunicatie en de gezondheidszorg.Contents v List of Figures ix List of Tables xi List of Listings xiii 1 Introduction 1 2 Policy-driven Middleware: Achievements and Challenges 7 3 Towards Simplified Specification of Policies in Different Domains 55 4 Policy Analysis using a Hybrid Semantic Reasoning Engine 81 5 Isolating Process-Level Concerns using Padus 93 6 Arriclides: An Architecture Integrating Clinical Decision Support Models 115 7 Experience Report and Validation 137 8 Conclusion 145 List of Publications 149 Biography 151 Dutch Summarystatus: publishe

Aspect-monitor: An Aspect-based Approach To Ws-contract Monitoring

Contract monitoring is carried out to ensure the Quality of Services (QoS) attributes and levels specified in an electronic contract throughout a business process enactment. This paper proposes an approach to improve QoS monitoring based on the aspect-oriented paradigm. Monitoring concerns are encapsulated into aspects to be executed when specific process points are reached. Differently from other approaches, the proposed solution requires no instrumentation, uses Web services standards, and provides an integrated infrastructure for dealing with contract establishment and monitoring. Moreover, a Business Process Management Execution Environment is designed to automatically support the interaction between customer, provider and monitor organizations.4 SAIC512(2010) BPMS from Active Endpoints, , http://www.activevos.com/, Retrieved October 12, 2006Benbernou, S., State of the art report, gap analysis of knowledge on principles, techniques and methodologies for monitoring and adaptation of SBAs (2008) Technical Report (Project Deliverable), , Université Claude Bernard Lyon, FranceBianculli, D., Ghezzi, C., Monitoring conversational web services (2007) IW-SOSWE'07, 2nd Int. Workshop on Service Oriented Software Engineering, , ACM PressBraem, M., Isolating process-level concerns using Padus (2006) BPM'06, 4th Int. Conf. on Business Process Management. SpringerCharfi, A., Mezini, M., Aspect-oriented web service composition with AO4BPEL (2004) ECOWS'04, European Conf. on Web Services. SpringerErl, T., (2008) Web SService Contract Design and Versioning for SOA, , Prentice HallFantinato, M., Toledo, M.B.F., Gimenes, I.M.S., WS-contract establishment with QoS: An approach based on feature modeling (2008) Int. Journal of Cooperative Information Systems, 17 (3), pp. 373-407Fantinato, M., Gimenes, I.M.S., Toledo, M.B.F., Product Line in the Business Process Management Domain (2009) Applied Software Product Line Engineering, pp. 497-530. , Kang, K. C., Sugumaran, V. and Park, S. (Eds.), Boca Raton: AuerbachFilman, R., (2005) Aspect-Oriented Software Development, , Addison-WesleyGrefen, P.W.P.J., CrossFlow: Cross-organizational workflow management for service outsourcing in dynamic virtual enterprises (2001) IEEE Data Engineering Bulletin, 24 (1), pp. 52-57Keller, A., Ludwig, H., The WSLA framework: Specifying and monitoring service level agreements for Web services (2003) Journal of Network and Systems Management, 11 (1), pp. 57-81Kiczales, G., Aspect-oriented programming (1997) ECOOP'97, 11th European Conf. on Object-Oriented Programming. SpringerLudwig, H., Dan, A., Kearney, R., Cremona: An architecture and library for creation and monitoring of WS-Agreements (2004) ICSOC'04, 2nd Int. Conf. on Service-Oriented Computing. SpringerMarjanovic, O., Milosevic, Z., Towards formal modeling of e-contracts (2001) EDOC'01, 5th Int. Enterprise Distributed Object Computing Conf., , IEEE Computer SocietyMenascé, D.A., QoS issues in web services (2002) IEEE Internet Computing, 6 (6), pp. 72-75Napagao, S.A., Contract based electronic business systems state of the art (2007) Technical Report (Project Deliverable), , Univ. Politècnica de CatalunyaNarendra, N.C., Run-time adaptation of non-functional properties of composite web services using aspect-oriented programming (2007) ICSOC'07, 5th Int. Conf. on Service-Oriented Computing. SpringerBarreto, C., (2007) OASIS Web Services Business Process Execution Language (WSBPEL) TC, , http://docs.oasis-open.org/wsbpel/2.0/Primer/wsbpel-v2.0-Primer.pdf, Retrieved January 10, 2010Ortiz, G., Leymann, F., Combining WS-Policy and aspect-oriented programming (2006) AICT/ICIW'06, Advanced Int. Conf. on Telecommunications and Int. Conf. on Internet and Web Applications and Services, , IEEE Computer SocietyPapazoglou, M.P., Service-oriented computing: A research roadmap (2008) Int. Journal of Cooperative Information Systems, 17 (2), pp. 223-225Sahai, A., Automated SLA monitoring for web services (2002) DSOM'02, 13th IFIP/IEEE Int. Workshop on Distributed Systems: Operations and Management. SpringerSingh, S., Grundy, J.C., Hosking, J.G., Developing.NET web service-based applications with aspect-oriented component engineering (2004) A WSA '04, 5th Australasian Workshop on Software and Systems ArchitecuresTomaz, R.F., Hmida, M.B., Monfort, V., Concrete solutions for web services adaptability using policies and aspects (2006) Int. Journal of Cooperative Information Systems, 15 (3), pp. 415-438Weske, M., (2007) Business Process Management: Concepts, Languages, Architectures, , Berlin: Springe

Improving Qos Monitoring Based On The Aspect-orientated Paradigm

Contract monitoring is a complex activity which requires code instrumentation and many additional functions to be implemented both in the client and server sides. This paper proposes an approach to simplify QoS monitoring based on the aspect-orientated paradigm. The objective of this paradigm is to increase modularity by allowing the separated expression of cross-cutting concerns and the automatic reunification of them into a whole system. We consider that an e-contract consists of collaborative partners, a business process specified in AO4BPEL and QoS attributes defined with WS-Agreement. Monitoring concerns are encapsulated into aspects to be executed when specific process points are reached. Differently from other approaches, the proposed solution requires no instrumentation, uses Web services standards, and provides an integrated infrastructure for dealing with contract establishment and monitoring. Moreover, a Business Process Management Execution Environment is designed to automatically support the interaction between customer, provider and monitor organizations. © 2011 Springer-Verlag Berlin Heidelberg.73 LNBIP421435Inst. Syst. Technol. Inf., Control Commun. (INSTICC)Weske, M., (2007) Business Process Management: Concepts, Languages, Architectures, , Springer, BerlinPapazoglou, M.P., Traverso, P., Dustdar, S., Leymann, F., Service-oriented computing: A research roadmap (2008) International Journal of Cooperative Information Systems, 17 (2), pp. 223-225Fantinato, M., Gimenes, I.M.S., Toledo, M.B.F., Product line in the business process management domain (2009) Applied Software Product Line Engineering, pp. 497-530. , Kang, K.C., Sugumaran, V., Park, S. (eds.). Boca Raton, AuerbachNapagao, S.A., (2007) Contract Based Electronic Business Systems State of the Art, , Technical Report (Project Deliverable), University Politècnica de CatalunyaFilman, R., Elrad, T., Clarke, S., Aksit, M., (2005) Aspect-Oriented Software Development, , Addison-Wesley, ReadingCharfi, A., Mezini, M., Aspect-oriented web service composition with AO4BPEL (2004) Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 3250, pp. 168-182Braem, M., Verlaenen, K., Joncheere, N., Vanderperren, W., Van Der Straeten, R., Truyen, E., Joosen, W., Jonckers, V., Isolating process-level concerns using padus (2006) Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 4102, pp. 113-128. , Business Process Management - 4th International Conference, BPM 2006, ProceedingsErl, T., (2008) Web Service Contract Design and Versioning for SOA, , Prentice-Hall, Englewood CliffsGrefen, P.W.P.J., Aberer, K., Ludwig, H., Hoffner, Y., CrossFlow: Cross-organizational workflow management for service outsourcing in dynamic virtual enterprises (2001) IEEE Data Engineering Bulletin, 24 (1), pp. 52-57Marjanovic, O., Milosevic, Z., Towards formal modeling of e-contracts (2001) 5th International Enterprise Distributed Object Computing Conference, pp. 59-68. , IEEE Press, New YorkKeller, A., Ludwig, H., The WSLA framework: Specifying and monitoring service level agreements for web services (2003) Journal of Network and Systems Management, 11 (1), pp. 57-81Menascé, D.A., QoS issues in web services (2002) IEEE Internet Computing, 6 (6), pp. 72-75Sahai, A., Machiraju, V., Sayal, M., Moorsel, A.P.A., Casati, F., Automated SLA monitoring for web services (2002) DSOM 2002. LNCS, 2506, pp. 28-41. , Feridun, M., Kropf, P.G., Babin, G. (eds.). Springer, HeidelbergBarreto, C., OASIS web services business process execution language (WSBPEL) (2007) TC, , http://docs.oasis-open.org/wsbpel/2.0/Primer/wsbpel-v2.0-Primer.pdfBenbernou, S., (2008) State of the Art Report Gap Analysis of Knowledge on Principles Techniques and Methodologies for Monitoring and Adaptation of SBAs, , Technical Report (Project Deliverable) Université Claude Bernard Lyon FranceKiczales, G., Lamping, J., Mendhekar, A., Maeda, C., Lopes, C., Loingtier, J.-M., Irwin, J., Aspect-oriented programming (1997) Lecture Notes In Computer Science, (1241), pp. 220-242. , ECOOP'97 - Object-Oriented ProgrammingThe AspectJ Project, , http://www.eclipse.org/aspectjFantinato, M., Toledo, M.B.F., Gimenes, I.M.S., WS-contract establishment with QoS: An approach based on feature modeling (2008) International Journal of Cooperative Information Systems, 17 (3), pp. 373-407ActiveVOS - BPMS from Active Endpoints, , http://www.activevos.comLudwig, H., Dan, A., Kearney, R., Cremona: An architecture and library for creation and monitoring of WS-Agreements (2004) ICSOC '04: Proceedings of the Second International Conference on Service Oriented Computing, pp. 65-74. , ICSOC '04: Proceedings of the Second International Conference on Service Oriented ComputingSingh, S., Grundy, J.C., Hosking, J.G., Developing .NET web service-based applications with aspect-oriented component engineering (2004) 5th Australasian Workshop on Software and Systems ArchitecuresTomaz, R.F., Ben Hmida, M., Monfort, V., Concrete solutions for web services adaptability using policies and aspects (2006) International Journal of Cooperative Information Systems, 15 (3), pp. 415-438. , DOI 10.1142/S0218843006001414, PII S0218843006001414Ortiz, G., Leymann, F., Combining WS-policy and aspect-oriented programming (2006) Proceedings of the Advanced International Conference on Telecommunications and International Conference on Internet and Web Applications and Services, AICT/ICIW'06, 2006, p. 143. , DOI 10.1109/AICT-ICIW.2006.66, 1602276, Proceedings of the Advanced International Conference on Telecommunications andInternational Conference on Internet and Web Applications and Services, AICT/ICIW'06Narendra, N.C., Ponnalagu, K., Krishnamurthy, J., Ramkumar, R., Run-time adaptation of non-functional properties of composite web services using aspect-oriented programming (2007) ICSOC 2007. LNCS, 4749, pp. 546-557. , Krämer, B.J., Lin, K.-J., Narasimhan, P. (eds.). Springer, HeidelbergBianculli, D., Ghezzi, C., Monitoring conversational web services (2007) IW-SOSWE'07: 2nd International Workshop on Service Oriented Software Engineering - In conjunction with the 6th ESEC/FSE Joint Meeting, pp. 15-21. , DOI 10.1145/1294928.1294933, IW-SOSWE'07: 2nd International Workshop on Service Oriented Software Engineering - In conjunction with the 6th ESEC/FSE Joint Meetin