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

2009 Congress on Services - I最新文献

筛选
英文 中文
Ensuring Correctness of Dynamic Reconfiguration in SOA Based Software 基于SOA的软件动态重构的正确性保证
2009 Congress on Services - I Pub Date : 2009-07-06 DOI: 10.1109/SERVICES-I.2009.29
Yuyu Yin, Ying Li, Jianwei Yin, Shuiguang Deng, Wei Shi
{"title":"Ensuring Correctness of Dynamic Reconfiguration in SOA Based Software","authors":"Yuyu Yin, Ying Li, Jianwei Yin, Shuiguang Deng, Wei Shi","doi":"10.1109/SERVICES-I.2009.29","DOIUrl":"https://doi.org/10.1109/SERVICES-I.2009.29","url":null,"abstract":"SOA based software is typically based on dynamic reconfiguration, since it is the composition of services. Then ensuring the correctness of dynamic reconfiguration is an important challenge. But few work focuses on it, this paper gives a better answer to solve the problem. It uses services-behavioral type discipline extended the Martin-Löf’s Type Theory (for short, MLTT) which supports a type-theoretic formulation of services behavior structured patterns, so that services can be formally constructed by type services-behavioral type. Then, the type rules for subtype, duality, and correctness of dynamic reconfiguration are discussed. In our case study, the deductions are gave to show that how to verify the correctness of the dynamic reconfiguration. Finally, the implement of our approach is discussed.","PeriodicalId":159235,"journal":{"name":"2009 Congress on Services - I","volume":"103 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":"117340625","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}
引用次数: 7
Accelerating Parameter Sweep Workflows by Utilizing Ad-hoc Network Computing Resources: An Ecological Example 利用自组织网络计算资源加速参数扫描工作流:一个生态实例
2009 Congress on Services - I Pub Date : 2009-07-06 DOI: 10.1109/SERVICES-I.2009.9
Jianwu Wang, I. Altintas, P. Hosseini, D. Barseghian, Daniel Crawl, Chad Berkley, Matthew B. Jones
{"title":"Accelerating Parameter Sweep Workflows by Utilizing Ad-hoc Network Computing Resources: An Ecological Example","authors":"Jianwu Wang, I. Altintas, P. Hosseini, D. Barseghian, Daniel Crawl, Chad Berkley, Matthew B. Jones","doi":"10.1109/SERVICES-I.2009.9","DOIUrl":"https://doi.org/10.1109/SERVICES-I.2009.9","url":null,"abstract":"Making use of distributed execution within scientific workflows is a growing and promising methodology to achieve better execution performance. We have implemented a distributed execution framework in the Kepler scientific workflow environment, called Master-Slave Distribution, to distribute sub-workflows to a common distributed environment, namely ad-hoc network computing resources. For a typical parameter sweep workflow, this architecture can realize concurrent independent sub-workflow executions with minimal user configuration, allowing large gains in productivity with little of the typical overhead associated with learning distributed computing systems. We explain details of the Master-Slave architecture and demonstrate its usability and time efficiency by a use case in the theoretical ecology domain. We also discuss the capabilities of this architecture under different computational domains in Kepler.","PeriodicalId":159235,"journal":{"name":"2009 Congress on Services - I","volume":"96 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":"125992134","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
User Experiences on a Community-Based Music Voting Service 基于社区的音乐投票服务的用户体验
2009 Congress on Services - I Pub Date : 2009-07-06 DOI: 10.1109/SERVICES-I.2009.33
T. Koskela, J. Julkunen, Ville Keranen, N. Kostamo, M. Ylianttila
{"title":"User Experiences on a Community-Based Music Voting Service","authors":"T. Koskela, J. Julkunen, Ville Keranen, N. Kostamo, M. Ylianttila","doi":"10.1109/SERVICES-I.2009.33","DOIUrl":"https://doi.org/10.1109/SERVICES-I.2009.33","url":null,"abstract":"In this paper, we introduce and evaluate a community-based music voting service that relies on a DHT- based peer-to-peer network. Each community is created as a separate DHT overlay that is connected to a specific entertainment premise such as a cafeteria. A small-scale user testing was conducted in a laboratory environment to examine the attitudinal, social and perceived behavioral control factors associated with the community-based music voting service. Data was collected using questionnaires and short group interviews. The results indicate that the community-based services are seen attractive, and the service as such a very interesting and applicable idea, but the functionality would need to be enhanced.","PeriodicalId":159235,"journal":{"name":"2009 Congress on Services - I","volume":"19 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":"126162854","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}
引用次数: 7
A Constraint-Based Approach for Developing Consistent Contracts in Composite Services 在组合服务中开发一致契约的基于约束的方法
2009 Congress on Services - I Pub Date : 2009-07-06 DOI: 10.1109/SERVICES-I.2009.15
Basem Suleiman, F. Ishikawa
{"title":"A Constraint-Based Approach for Developing Consistent Contracts in Composite Services","authors":"Basem Suleiman, F. Ishikawa","doi":"10.1109/SERVICES-I.2009.15","DOIUrl":"https://doi.org/10.1109/SERVICES-I.2009.15","url":null,"abstract":"A key problem that challenges the designers of service-oriented systems is ensuring the consistency of composite Web service contracts based on their parameters. This paper utilizes constraint satisfaction approach to examine the problem at design time and by focusing on quality of service (QoS) contract parameters. It proposes a generic framework to formalize service contract composition as a constraint satisfaction problem (CSP). It also introduces an initial tool design for automating composite contract consistency checking and adaptation based on QoS parameters. The tool aims at supporting Web service orchestrators to specify appropriate contract parameter values and adapt them so that consistency of composite contracts is increased to some extent. Further, it enables them to analyze and reason about violation percentages during contract negotiation phase. The benefits of the proposed CSP framework and the tool design have been illustrated through a Stock Manager Web service composition scenario.","PeriodicalId":159235,"journal":{"name":"2009 Congress on Services - I","volume":"7 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":"124837808","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
SOAR: An Extended Model-Based Reasoning for Diagnosing Faults in Service-Oriented Architecture 面向服务体系结构中用于诊断故障的扩展的基于模型的推理
2009 Congress on Services - I Pub Date : 2009-07-06 DOI: 10.1109/SERVICES-I.2009.57
Soo Dong Kim, Soo-Ho Chang
{"title":"SOAR: An Extended Model-Based Reasoning for Diagnosing Faults in Service-Oriented Architecture","authors":"Soo Dong Kim, Soo-Ho Chang","doi":"10.1109/SERVICES-I.2009.57","DOIUrl":"https://doi.org/10.1109/SERVICES-I.2009.57","url":null,"abstract":"Service-Oriented Architecture (SOA) is a cost effective approach to building enterprise applications. SOA reveals non-conventional characteristics of heterogeneity, grid-like distribution, evolvability, and limited visibility. Hence, services management presents non-conventional challenges. Especially, fault diagnosis at runtime is challenging due to the SOA features. Model-Based Reasoning (MBR) is a formal approach to diagnosing faults, which is based on predicate calculus and term resolution. In this paper, we present SOAR (Service-Oriented Abduvtive Reasoning) which extends the basic MBR to diagnose faults in various SOA components. SOAR provides an enhanced inference capability with state-based and QoS-based reasoning in addition to the basic setting/observation-based reasoning. We propose concrete schemes to formally represent system description, normal behavior, fault model and observations, and reasoning methods to diagnose faults and to determine their causes. In addition, we present a case study of applying SOAR to show how it is applied in practice and how the diagnosis can be conducted in autonomous way.","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":"130858858","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}
引用次数: 6
Constraint-Based Authorization Management for Mobile Collaboration Services 基于约束的移动协作服务授权管理
2009 Congress on Services - I Pub Date : 2009-07-06 DOI: 10.1109/SERVICES-I.2009.79
Yuqing Sun, Matthias Farwick, Dickson K. W. Chiu
{"title":"Constraint-Based Authorization Management for Mobile Collaboration Services","authors":"Yuqing Sun, Matthias Farwick, Dickson K. W. Chiu","doi":"10.1109/SERVICES-I.2009.79","DOIUrl":"https://doi.org/10.1109/SERVICES-I.2009.79","url":null,"abstract":"With the fast development of high speed wireless technologies and the growing population of mobile portable devices, location information is potentially available for access control systems.Such applications are especially meaningful in emergency situations, where quick responses are urgently required for persons to be physically present in a certain place to perform sensitive tasks without conflicting with security policies. In this paper, we investigate this challenging problem and propose a novel Constraint-based Authorization Management Model, which takes the mobile execution of tasks with handheld devices into account. The authorizations are activated by means of Location Based Execution Binding to handle uncertain conditions such as flexible business processes and emergency situations, considering both the user's location and attributes. With the introduced algorithms the model is capable of execution planning to detect and avoid inconsistencies in the security constraints of activities at design and runtime. Finally we propose a system architecture based on Web service technologies and a XACML based syntax for defining the security constraints.","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":"129278087","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
Ontology-Based Semantic Blog Model for Recommending Blog Resource to Interest Communities 基于本体的语义博客模型向兴趣社区推荐博客资源
2009 Congress on Services - I Pub Date : 2009-07-06 DOI: 10.1109/SERVICES-I.2009.75
Kyung-Ah Yang, Ronghau Xu, Jaedong Yang, Wan Choi
{"title":"Ontology-Based Semantic Blog Model for Recommending Blog Resource to Interest Communities","authors":"Kyung-Ah Yang, Ronghau Xu, Jaedong Yang, Wan Choi","doi":"10.1109/SERVICES-I.2009.75","DOIUrl":"https://doi.org/10.1109/SERVICES-I.2009.75","url":null,"abstract":"This paper suggests an intelligent semantic blog model to systematically analyze and manage blogosphere with ontology. In the proposed model, system managers enable bloggers to easily find appropriate blog resources such as posts or other related bloggers. The resources are found by tracking and analyzing various relationships specified in the ontology. Relevant sets of bloggers usually termed interest communities may be recommended to each other, since the ontology is capable of interrelating them by dynamically monitoring interaction activities in the blogosphere. To develop our model, we first express the conceptual structure of the resources based on the ontology and then design a set of operators to interrelate them. System queries formulated by system managers are implemented by the combination of the operators. Finally, we introduce a rule embedding the system queries, which is dedicated to recommending appropriate blog resources to interest communities.","PeriodicalId":159235,"journal":{"name":"2009 Congress on Services - I","volume":"68 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":"125544455","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
Web-FIM: Automated Framework for the Inference of Business Software Models Web-FIM:商业软件模型推理的自动化框架
2009 Congress on Services - I Pub Date : 2009-07-06 DOI: 10.1109/SERVICES-I.2009.106
H. Hallal, A. Dury, A. Petrenko
{"title":"Web-FIM: Automated Framework for the Inference of Business Software Models","authors":"H. Hallal, A. Dury, A. Petrenko","doi":"10.1109/SERVICES-I.2009.106","DOIUrl":"https://doi.org/10.1109/SERVICES-I.2009.106","url":null,"abstract":"We present an automated framework for the inference of behavioral models from the execution traces of a web-based business application (WBA). The model inference framework consists of a formal approach to infer automata models from traces of WBA`s and an advanced prototype tool set implemented around the data mining engine Weka, the model checker SPIN, the formal language manipulation framework ANTLR and the graph visualization software GraphViz. The traces of a WBA are collected by monitoring the communications in client-server architectures, where a client can be an Internet browser or a service accessing the server side of the application. The inferred models depict both the control and data flow (showing data variations) of the WBA and can be used for its visualization and verification. Finally, we discuss Web-FIM an online deployment of the model inference framework and illustrate the use of the tools with an example.","PeriodicalId":159235,"journal":{"name":"2009 Congress on Services - I","volume":"74 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":"122203858","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
Verifying WS-CDL-Based Web Services Collaboration by Model Checking 通过模型检查验证基于ws - cdl的Web服务协作
2009 Congress on Services - I Pub Date : 2009-07-06 DOI: 10.1109/SERVICES-I.2009.64
Zuling Kang, Hongbing Wang
{"title":"Verifying WS-CDL-Based Web Services Collaboration by Model Checking","authors":"Zuling Kang, Hongbing Wang","doi":"10.1109/SERVICES-I.2009.64","DOIUrl":"https://doi.org/10.1109/SERVICES-I.2009.64","url":null,"abstract":"WS-CDL is a W3C-proposed formal language for Web service collaboration, featuring the peer description of composite Web services amongst multiple participants. After describing the Web Service Collaboration in WS-CDL, it is important to ensure its satisfaction of certain attributes by formal verification. This paper proposes an new language, namely TLA4CDL to express the temporal and action attributes in WS-CDL, which is actually based on the idea of the temporal logic of actions, and an algorithm to model check the WS-CDL choreography in TLA4CDL. We will first extend WS-CDL with the new language, TLA4CDL for expressing the temporal and action attributes, and analyzing its technology benefits as well as its expressiveness. Then, an algorithm to model check WS-CDL in TLA4CDL will be introduced, the optimizing method called partial order reduction will be presented, and the complexity of this algorithm will be discussed, all of which lead the way to the implementation of a WS-CDL model checker. At last, experiment cases are designed to show the validation of the WS-CDL model checker on TLA4CDL.","PeriodicalId":159235,"journal":{"name":"2009 Congress on Services - I","volume":"27 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":"122338839","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
GEO-SEED: A Metadata Repository for Geosciences Web Service Discovery GEO-SEED:用于地球科学Web服务发现的元数据存储库
2009 Congress on Services - I Pub Date : 2009-07-06 DOI: 10.1109/SERVICES-I.2009.43
P. Brazier, Artem Chebotko, A. Gates, L. Salayandia
{"title":"GEO-SEED: A Metadata Repository for Geosciences Web Service Discovery","authors":"P. Brazier, Artem Chebotko, A. Gates, L. Salayandia","doi":"10.1109/SERVICES-I.2009.43","DOIUrl":"https://doi.org/10.1109/SERVICES-I.2009.43","url":null,"abstract":"We propose a framework, which blends Web 2.0 and Semantic Web technologies, to collect semantic descriptions of Web services and other software that enables their automatic discovery, invocation, composition, and interoperation. The pilot project, called GEO-SEED, aims to support Web services annotation and discovery for the geosciences. GEO-SEED provides both human and machine friendly interfaces represented by a structured wiki and a knowledge management system, respectively. While the former serves as the collaborative services annotation environment for geoscientists, the latter delivers acquired knowledge via RDF, OWL, OWL-S, SPARQL, and geosciences-based ontologies to powerful automated agents, such as scientific workflow management systems.","PeriodicalId":159235,"journal":{"name":"2009 Congress on Services - I","volume":"10 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":"125187905","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
首页 上一页 下一页 尾页
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学术官方微信