发布求助
文献互助 智能选刊 最新文献

2009 Congress on Services - I最新文献

筛选
英文 中文
UML_AD2EventB: An Approach to Generating Event B Specification from UML Activity Diagrams for the Workflows Specification and Verification UML_AD2EventB:从用于工作流规范和验证的UML活动图生成事件B规范的方法
2009 Congress on Services - I Pub Date : 2009-07-06 DOI: 10.1109/SERVICES-I.2009.101
A. B. Younes, Leila Jemni Ben Ayed
{"title":"UML_AD2EventB: An Approach to Generating Event B Specification from UML Activity Diagrams for the Workflows Specification and Verification","authors":"A. B. Younes, Leila Jemni Ben Ayed","doi":"10.1109/SERVICES-I.2009.101","DOIUrl":"https://doi.org/10.1109/SERVICES-I.2009.101","url":null,"abstract":"In this paper, we present a new approach to generating Event B specification from UML Activity Diagrams (AD). The goal of this work is to define a formal semantics of activity diagrams that is suitable for workflows modelling. The semantics should allow verification of functional requirements using the B powerful support tools like B4free. In important characteristic of workflows is that the workflow systems are reactive systems. In this paper, we present a formal syntax and semantic for UML AD endowed with interactive aspects (send/receive event concepts), and we illustrate the proposed technique by an example of workflow application.","PeriodicalId":159235,"journal":{"name":"2009 Congress on Services - I","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-07-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131915183","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 8
Adapting Web Services for Multiple Devices: A Model-Driven, Aspect-Oriented Approach 为多种设备调整Web服务:一种模型驱动、面向方面的方法
2009 Congress on Services - I Pub Date : 2009-07-06 DOI: 10.1109/SERVICES-I.2009.21
Guadalupe Ortiz, Alfonso García de Prado
{"title":"Adapting Web Services for Multiple Devices: A Model-Driven, Aspect-Oriented Approach","authors":"Guadalupe Ortiz, Alfonso García de Prado","doi":"10.1109/SERVICES-I.2009.21","DOIUrl":"https://doi.org/10.1109/SERVICES-I.2009.21","url":null,"abstract":"Mobile devices have become an essential element in our daily lives, even for connecting to the Internet. Web Services have become extremely important when offering services through the Internet. However, current Web Services are very inflexible as regards their invocation from different types of device, especially if we consider the need for them to be adaptable when being invoked from a mobile device. In this paper, we will propose several alternatives for the creation of flexible web services which can be invoked from different types of device, and compare the different proposed approaches. Aspect-Oriented Programming and Model-Driven Development have been used in all proposals to reduce the impact of service adaption, not only for the service developer, but also to maintain the correct code structure.","PeriodicalId":159235,"journal":{"name":"2009 Congress on Services - I","volume":"176 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-07-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124336433","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 12
Policy Controlled Message Transformations 策略控制的消息转换
2009 Congress on Services - I Pub Date : 2009-07-06 DOI: 10.1109/SERVICES-I.2009.44
Martin Eggenberger, Darrell Thurmond, N. Prakash
{"title":"Policy Controlled Message Transformations","authors":"Martin Eggenberger, Darrell Thurmond, N. Prakash","doi":"10.1109/SERVICES-I.2009.44","DOIUrl":"https://doi.org/10.1109/SERVICES-I.2009.44","url":null,"abstract":"When implementing a heterogeneous service infrastructure several criteria must be met to exchange information between a service provider and a service consumer. Most often a homogeneous messages model is recommended to describe messages within such an ecosystem. Most organizations architectures’ though have evolved without such meta-model; and therefore, a message transformation model is necessary to convert from one service representation to the other. In this paper we propose and validate a meta - processing model that allows a service to transform a message before the main processing starts in the service using a policy language. These message transformations are based on dynamic policies that control and govern the individual message properties. From a processing perspective we are using an interceptor pattern on the service node itself and apply our policy term rewriting rules to the message. This approach not only provides the mathematical foundation for message transformations using policies (rewrite rules) but also allows us to extend the model for other policy related control problems.","PeriodicalId":159235,"journal":{"name":"2009 Congress on Services - I","volume":"11254 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-07-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123903419","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
A Pattern-Based Design Approach for Subscription Management of Software as a Service 基于模式的软件即服务订阅管理设计方法
2009 Congress on Services - I Pub Date : 2009-07-06 DOI: 10.1109/SERVICES-I.2009.40
Z. Jiang, Wei Sun, K. Tang, J. Snowdon, Xin Zhang
{"title":"A Pattern-Based Design Approach for Subscription Management of Software as a Service","authors":"Z. Jiang, Wei Sun, K. Tang, J. Snowdon, Xin Zhang","doi":"10.1109/SERVICES-I.2009.40","DOIUrl":"https://doi.org/10.1109/SERVICES-I.2009.40","url":null,"abstract":"Software as a Service (SaaS) is essentially about delivering a software application as a service over the Web with a usage-based charging plan. Existing Web service subscription models do not consider the complexity of the application and the business environment; for example, multiple service elements with mutual dependencies derived from one application, or various business partnership models for reselling and cross-selling services. Therefore the design of subscription management is critical for a SaaS provider to appropriately decompose its application into service elements and then package them into service offerings for a client or business partner to subscribe according to the nature of the application and the overall business design. In this paper, we propose a pattern-based approach for the subscription management design of SaaS. A subscription model is introduced first to capture the different entities and their relationships involved in SaaS subscription. Then a method supported with service structure patterns and business interaction patterns analysis is presented to empower a SaaS provider to design an appropriate subscription model for its service offering. A case study is made to demonstrate the effectiveness of the method at the end of this paper.","PeriodicalId":159235,"journal":{"name":"2009 Congress on Services - I","volume":"75 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-07-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128737374","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 8
SIMPLE: Template Based Service Integration SIMPLE:基于模板的服务集成
2009 Congress on Services - I Pub Date : 2009-07-06 DOI: 10.1109/SERVICES-I.2009.99
Jim Laredo, Jeaha Yang, J. Jeng, G. Perez
{"title":"SIMPLE: Template Based Service Integration","authors":"Jim Laredo, Jeaha Yang, J. Jeng, G. Perez","doi":"10.1109/SERVICES-I.2009.99","DOIUrl":"https://doi.org/10.1109/SERVICES-I.2009.99","url":null,"abstract":"These days, in rapid changing environments, when building an integration solution, reusable assets are brought into the design and composition to accelerate the time to market and more importantly time to value. Assets need to offer a standard interface and be easily configured to minimize the adaptation time to address the use case in question. We proposed and developed a new approach to address the above issues, coined as SIMPLE. The center of SIMPLE is the concept solution template [1]. Customizable points are defined in a solution template and leveraged to adapt to changes. Solution template acts as the unifying artifact throughout the lifecycle of a solution (from engagement to deployment). In the development phase, solution templates are instantiated to generate concrete solutions for specific platform. We present the model and methodology rendered for solution template- based development of SOA solutions. We developed the Solution Template Tool to simplify the lifecycle of an integration of services, through flexible design and customization of Solution Template and an interactive environment driven by Wizards.","PeriodicalId":159235,"journal":{"name":"2009 Congress on Services - I","volume":"64 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-07-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124878613","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Self-Diagnosis and Self-Regulation through Performance Monitoring and Tuning 通过性能监控和调优进行自我诊断和自我调节
2009 Congress on Services - I Pub Date : 2009-07-06 DOI: 10.1109/SERVICES-I.2009.12
Ali Noui-Mehidi
{"title":"Self-Diagnosis and Self-Regulation through Performance Monitoring and Tuning","authors":"Ali Noui-Mehidi","doi":"10.1109/SERVICES-I.2009.12","DOIUrl":"https://doi.org/10.1109/SERVICES-I.2009.12","url":null,"abstract":"Although often relegated behind other more critical qualities of service, performance has a number of characteristics that make it an ideal target for monitoring and assurance. First, there are a number of metrics easily accessible that are indicators of a decrease in performance. Second, a lack of availability is often preceded by a decrease in performance. Finally, many functional problems emerge only when resources are stressed and performance is low. These characteristics are the motivation we use to develop an approach by which web-service systems are able to detect problems before they occur, and take appropriate corrective actions without human intervention, or trigger alarm and notification processes to request human intervention.","PeriodicalId":159235,"journal":{"name":"2009 Congress on Services - I","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-07-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115207719","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Using Proportional-Integral-Derivative Control in Self-Healing Adaptive Content Systems 自愈自适应内容系统的比例-积分-导数控制
2009 Congress on Services - I Pub Date : 2009-07-06 DOI: 10.1109/SERVICES-I.2009.105
H. Naccache, G. Gannod
{"title":"Using Proportional-Integral-Derivative Control in Self-Healing Adaptive Content Systems","authors":"H. Naccache, G. Gannod","doi":"10.1109/SERVICES-I.2009.105","DOIUrl":"https://doi.org/10.1109/SERVICES-I.2009.105","url":null,"abstract":"Database-driven web applications have become the norm, especially in-service-oriented applications. As network bandwidth has increased the bottleneck in web application survivability has moved to the server and application level. With social bookmarking sites increasing in popularity, flash crowds are becoming more prevalent leading to higher than expected request loads. In this paper we describe the self-healing adaptive content (SHAC) system used to prevent server overload at the application level. We respond to requests with multiple resolutions of the textual content, using lower resolution requests to reduce the service demand on server hardware. We present a novel proportional-integral-derivative (PID) controller-based autonomic manager that is seeded from a queueing network (QN) model in order to best manage response times. In this paper we describe the methodology used to implement the SHAC system and evaluate the impact of the system on a popular open source blog server.","PeriodicalId":159235,"journal":{"name":"2009 Congress on Services - I","volume":"67 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-07-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129885812","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Using Mediation to Achieve Provenance Interoperability 使用中介实现出处互操作性
2009 Congress on Services - I Pub Date : 2009-07-06 DOI: 10.1109/SERVICES-I.2009.68
Tommy Ellkvist, D. Koop, J. Freire, Cláudio T. Silva, L. Strömbäck
{"title":"Using Mediation to Achieve Provenance Interoperability","authors":"Tommy Ellkvist, D. Koop, J. Freire, Cláudio T. Silva, L. Strömbäck","doi":"10.1109/SERVICES-I.2009.68","DOIUrl":"https://doi.org/10.1109/SERVICES-I.2009.68","url":null,"abstract":"Provenance is essential in scienti¿c experiments. It contains information that is key to preserving the data, to determining their quality and authorship, and to reproduce as well as validate the results. In complex experiments and analyses, where multiple tools are used to derive data products, provenance captured by these tools must be combined in order to determine the complete lineage of the derived products. In this paper we describe a mediator-based architecture for integrating provenance information from multiple sources. This architecture contains two key components: a global mediated schema that is general and capable of representing provenance information represented in different model; and describe a new system-independent query API that is general and able to express complex queries over provenance information from different sources. We also present a case study where we show how this model was applied to integrate provenance from three provenance-enabled systems and discuss the issues involved in this integration process.","PeriodicalId":159235,"journal":{"name":"2009 Congress on Services - I","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-07-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130001495","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 30
Rule-Based Semi Automatic Web Services Composition 基于规则的半自动Web服务组合
2009 Congress on Services - I Pub Date : 2009-07-06 DOI: 10.1109/SERVICES-I.2009.77
Ehtesham Zahoor, O. Perrin, C. Godart
{"title":"Rule-Based Semi Automatic Web Services Composition","authors":"Ehtesham Zahoor, O. Perrin, C. Godart","doi":"10.1109/SERVICES-I.2009.77","DOIUrl":"https://doi.org/10.1109/SERVICES-I.2009.77","url":null,"abstract":"In this paper we propose a rule-based approach for the semi-automatic Web services composition problem, giving end-user the control to guide the overall composition process. The end-user builds the composition flow by selecting known Web service instances or constrained Web service types, called nodes, and by connecting them using a set of control/data flow connectors. The specified nodes will then be bound to concrete Web service instances using a set of rule-based queries satisfying the associated constraints. When compared to the traditional approaches, our model is declarative, allows for specifying both the functional and non-functional requirements, provides connectors that include both the data and control flow aspects and aims to choose the one best matched Web service for a node instantiation.","PeriodicalId":159235,"journal":{"name":"2009 Congress on Services - I","volume":"24 10","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-07-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120907002","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 12
Concurrency Control for Transactional Composite Services 事务性组合服务的并发控制
2009 Congress on Services - I Pub Date : 2009-07-06 DOI: 10.1109/SERVICES-I.2009.67
Xinfeng Ye, Yi Chen
{"title":"Concurrency Control for Transactional Composite Services","authors":"Xinfeng Ye, Yi Chen","doi":"10.1109/SERVICES-I.2009.67","DOIUrl":"https://doi.org/10.1109/SERVICES-I.2009.67","url":null,"abstract":"A composite service can be built from Web Services, and, its workflow can be specified using BPEL4WS. Many composite services are long-running transactional processes. This paper proposes a concurrency control scheme for executing transactional composite services. The scheme uses the information gathered from the workflow specifications of the composite services to guarantee the correctness of the execution of the composite services. Empirical studies were carried out to compare the performance of the proposed scheme with the strict two-phase locking scheme.","PeriodicalId":159235,"journal":{"name":"2009 Congress on Services - I","volume":"86 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-07-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116685844","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：604180095
Book学术官方微信