293 Hits in 6.9 sec

On the potential advantages of exploiting behavioural information for contract-based service discovery and composition

Antonio Brogi
2011 The Journal of Logic and Algebraic Programming  
On such ground, we also discuss the potential suitability of some well-known modelling approaches to become the de facto standard to represent service behaviour in contracts, also in view of contextual  ...  In this paper we discuss the potentially huge advantages of exploiting behavioural information for service discovery and composition, and relate them to the cost of generating such information and to the  ...  The importance of Quality of Service (QoS) properties has also been recognised since the very birth of Web services (e.g., see [21, 42] ).  ... 
doi:10.1016/j.jlap.2010.01.001 fatcat:waxti4b5hnf5lmclfpatywnfji

O2O service composition with social collaboration

Wenyi Qian, Xin Peng, Jun Sun, Yijun Yu, Bashar Nuseibeh, Wenyun Zhao
2017 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE)  
In this paper, we address this challenge by proposing an approach to O2O service composition which combines offline route planning and social collaboration to optimize service selection.  ...  a concrete composite service, and (2) a model checking approach to searching for an optimal collaboration plan with the lowest cost given certain time constraint.  ...  INTRODUCTION With the growing number of alternative Web services that provide equivalent functionality but differ in Quality of Service (QoS), complex applications are increasingly constructed by service  ... 
doi:10.1109/ase.2017.8115657 dblp:conf/kbse/QianP0YNZ17 fatcat:h52plrdm4vhcfh6t4iabhqgfjm

Component simulation-based substitutivity managing QoS and composition issues

Pierre-Cyrille Héam, Olga Kouchnarenko, Jérôme Voinot
2010 Science of Computer Programming  
This paper suggests integer weighted automata to tackle this problem when considering a new factor -Quality of Service (QoS).  ...  Several scientific bottlenecks have been identified in existing component-based approaches.  ...  Acknowledgements We would like to thank the anonymous referees and FACS'08 participants for their interesting and helpful comments and suggestions to improve and to develop the preliminary results in  ... 
doi:10.1016/j.scico.2010.02.004 fatcat:zfxeohzksnfubdiypjnmx4kd7a

A Middleware Solution to Monitoring Composite Web Services-Based Processes

Farhana H. Zulkernine, Patrick Martin, Kirk Wilson
2008 2008 IEEE Congress on Services Part II (services-2 2008)  
The CSMM enables partial or complete automation of all the client-side management tasks to leverage use of Web services in business processes. iii  ...  The management of such composite processes, however, poses a non-trivial problem in terms of cost and complexity due to technology growth, increasing consumer demands for service quality, and the varying  ...  Chiu et al. 8 2 8 H [26] propose an extension of a NSS, however, an automated negotiation is possibly a more efficient approach considering the current trend of service composition in SOA.  ... 
doi:10.1109/services-2.2008.10 dblp:conf/services/ZulkernineMW08 fatcat:ef7udzf2fbcebpwkgfp2hj4sle

Run-time Composition and Adaptation of Mismatching Behavioural Transactions

Javier Camara, Gwen Salaun, Carlos Canal
2007 Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007)  
Reuse of software entities such as components or Web services raise composition issues since, most of the time, they present mismatches in their interfaces.  ...  These mismatches may appear at different interoperability levels: signature, behaviour, quality of service and semantics.  ...  They are also grateful to the anonymous referees who helped to improve the contents and quality of this article.  ... 
doi:10.1109/sefm.2007.35 dblp:conf/sefm/CamaraSC07 fatcat:zwq7lsbqtfhblh7v73wypt66n4

Compositional schedulability analysis of real-time actor-based systems

Mohammad Mahdi Jaghoori, Frank de Boer, Delphine Longuet, Tom Chothia, Marjan Sirjani
2016 Acta Informatica  
To check schedulability, we introduce a compositional automata-theoretic approach, based on maximal use of model checking combined with testing.  ...  We show that the analyses are decidable and automate the process using the Uppaal model checker.  ...  At the detailed level, an actor consists of its methods, scheduler and queue. This specification is given in timed automata [7] in order to support automated analysis techniques.  ... 
doi:10.1007/s00236-015-0254-x pmid:28529345 pmcid:PMC5412064 fatcat:uo7oldvyqzhsvo3hzbkdhu7c5y

Automated Integration of Service-Oriented Software Systems [chapter]

Marco Autili, Paola Inverardi, Massimo Tivoli
2015 Lecture Notes in Computer Science  
The second deals with compositional theories and techniques to automatically synthesize appropriate integration means to compose the services together in order to realize a service choreography that satisfies  ...  In the near future we will be surrounded by a virtually infinite number of software applications that provide services in the digital space.  ...  Future research efforts will be supported by the EC H2020 under grant agreement n. 644178 (project CHOReVOLUTION -Automated Synthesis of Dynamic and Secured Choreographies for the Future Internet).  ... 
doi:10.1007/978-3-319-24644-4_2 fatcat:tcqm7zgnk5d5ffy44qeomxc564

Analysis of Compositional Conflicts in Component-Based Systems [chapter]

Andreas Leicher, Susanne Busse, Jörn Guy Süß
2005 Lecture Notes in Computer Science  
Component Based Software Engineering is an emerging discipline that aims at improving software development by means of artifact reuse within a systematically applied construction process.  ...  [111] in the area of web services.  ...  An interesting aspect of UniFrame is related to system composition, which is based on Quality of Service attributes and calculations thereof.  ... 
doi:10.1007/11550679_6 fatcat:nur2mc3a3jb77gcnk55bxipfby

Behavioural Types for Service Integration: Achievements and Challenges

Antonio Brogi, Carlos Canal, Ernesto Pimentel
2007 Electronical Notes in Theoretical Computer Science  
services.  ...  The objective of this paper is to provide an insightful synthesis of the state-of-the-art in this area, both to summarise the main results achieved and to point out some important challenges to be faced  ...  is contextualized in the field of components/Web services interoperability.  ... 
doi:10.1016/j.entcs.2006.10.045 fatcat:ojnemm7xszdo3m7v2x5skge6by

A Timed Extension of WSCoL

Luciano Baresi, Domenico Bianculli, Carlo Ghezzi, Sam Guinea, Paola Spoletini
2007 IEEE International Conference on Web Services (ICWS 2007)  
Web service based applications are expected to live in dynamically evolving settings. At run-time, services may undergo changes that could modify their expected behavior.  ...  Run-time monitoring is needed to check that the contract between service providers and service users is fulfilled while the collaboration is in place.  ...  The proposed extension allows a more accurate supervision of composite services, and makes Dynamo a complete and integrated solution for monitoring the execution of BPEL processes.  ... 
doi:10.1109/icws.2007.25 dblp:conf/icws/BaresiBGGS07 fatcat:u55owazmuvhkbhplpmxy7ewk2e

Synthesis and Verification of Self-aware Computing Systems [chapter]

Radu Calinescu, Marco Autili, Javier Cámara, Antinisca Di Marco, Simos Gerasimou, Paola Inverardi, Alexander Perucci, Nils Jansen, Joost-Pieter Katoen, Marta Kwiatkowska, Ole J. Mengshoel, Romina Spalazzese (+1 others)
2017 Self-Aware Computing Systems  
The ability to dynamically synthesise component connectors and compositions underpins the proactive adaptation of the architecture of self-aware systems.  ...  We present the state of the art in the use of the two techniques for the development of self-aware computing systems, and summarise the main research challenges associated with their adoption in practice  ...  Acknowledgments The work concerning the synthesis method described in Section 2 has been sup-  ... 
doi:10.1007/978-3-319-47474-8_11 fatcat:n7jvjjniy5hnxbl2bevfk3afqe

VM-Flow [chapter]

Ivo J. G. dos Santos, Edmundo R. M. Madeira
2004 IFIP International Federation for Information Processing  
Semantic Web Services Semantic Web Services are Web Services enriched by ontology descriptions and aim to alleviate the Web Service integration process in order to allow some level of automated composition  ...  [Foster03] discuss a model-based approach to verifying Web Service compositions for Web Service implementations.  ...  The negotiated agreement is constructed in an incremental way from the domain-independent SLA template by introducing domain-specific vocabularies which actually define SLA parameters.  ... 
doi:10.1007/1-4020-8155-3_15 fatcat:tdnlcms72rbznjvwphoztdx37y

Using Aspect-orientation Techniques to Improve Reuse of Metamodels

A.M. Reina Quintero, J. Torres Valderrama
2007 Electronical Notes in Theoretical Computer Science  
One of the main causes of this recent interest is being an important piece for the different approaches for Model-Driven Development (MDD).  ...  As a result, we think that the third approach, which considers relationships as firstclass citizens at the implementation level by using relationship aspects is the best one. one, an extension by means  ...  Acknowledgments This research is partly funded by Alcatel Belgium and the Institute for the Promotion of Innovation Through Science and Technology in Flanders (IWT-Vlaanderen) through the WIT-CASE project  ... 
doi:10.1016/j.entcs.2006.10.014 fatcat:y3apfpgxyvb2zmwadf5ei6jmmy

Run-time architectural modeling for future internet applications

Marina Mongiello, Simona Colucci, Elvis Vogli, Luigi Alfredo Grieco, Massimo Sciancalepore
2016 Complex & Intelligent Systems  
This paper proposes an approach to the run-time composition of software system architectures, aimed at addressing goals revealed at runtime.  ...  The usefulness of the proposed approach and its applicability to actual scenarios have been validated in an example smart home environment.  ...  distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecomm, which permits unrestricted use, distribution, and reproduction in  ... 
doi:10.1007/s40747-016-0020-x fatcat:t3vxrg7prbhsnledln5barhj4e

Topologies of agents interactions in knowledge intensive multi-agent systems for networked information services

Qiuming Zhu
2006 Advanced Engineering Informatics  
A design example of the topological models to an information service management application is attempted to illustrate the practical merits of each topology. * Tel.: C1 402 554 3685; fax: C1 402 554 3400  ...  This paper presents an overview of four major MAS topologic models, assesses their advantages and disadvantages in terms of agent autonomy, adaptation, scalability, and efficiency of cooperation.  ...  The Web-like topology can also be formed in virtual when the MAS employs an agent-activation scheme called requestand-service protocol, a blackboard kind of communication and task activation approach.  ... 
doi:10.1016/j.aei.2005.08.001 fatcat:dyog5dzkhnbetla5d4344fcc7m
« Previous Showing results 1 — 15 out of 293 results