2013 International Symposium on Theoretical Aspects of Software Engineering最新文献_第2页

Towards Conformance Testing of Choreography Based on Scenario 基于场景的编排一致性测试研究

2013 International Symposium on Theoretical Aspects of Software Engineering Pub Date : 2013-07-01 DOI: 10.1109/TASE.2013.23

Hongli Yang, Kai Ma, Chen Deng, Husheng Liao, Jun Yan, Jian Zhang

{"title":"Towards Conformance Testing of Choreography Based on Scenario","authors":"Hongli Yang, Kai Ma, Chen Deng, Husheng Liao, Jun Yan, Jian Zhang","doi":"10.1109/TASE.2013.23","DOIUrl":"https://doi.org/10.1109/TASE.2013.23","url":null,"abstract":"Web service choreography specifies the interaction among multiple participant, aiming to achieve common business goals. An issue is to check for the conformance of the implementation with reference to the choreography specification. To achieve that, we seek to develop software tools and a methodology to enable conformance testing of choreography. In this paper, we present our first step in that direction. Particularly, we reduce choreography scenario in order to obtain effective testing scenarios, which will greatly decrease the cost of testing. Concretely, based on XML Schema type definition of a choreography scenario, we partition XML Schema type into subtypes, which will be transformed into the input model of combinatorial tool Cascade for generating a set of combinations of variable values. The output of Cascade will be transformed to generate reduced scenarios for testing. Moreover, a purchase order choreography example is presented to demonstrate the reduction process of choreography scenarios, and a tool has been developed for supporting automatic implementation of the testing scenarios reduction.","PeriodicalId":346899,"journal":{"name":"2013 International Symposium on Theoretical Aspects of Software Engineering","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121667295","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}

引用次数: 9

Algebraic Framework for Synchronous Language Semantics 同步语言语义的代数框架

2013 International Symposium on Theoretical Aspects of Software Engineering Pub Date : 2013-07-01 DOI: 10.1109/TASE.2013.15

D. Gaffé, Annie Ressouche

引用次数: 7

Aspect Orientation Based Test Case Selection Strategy for Service Composition 基于面向方面的服务组合测试用例选择策略

2013 International Symposium on Theoretical Aspects of Software Engineering Pub Date : 2013-07-01 DOI: 10.1109/TASE.2013.21

Guisheng Fan, Huiqun Yu, Liqiong Chen, Dongmei Liu

{"title":"Aspect Orientation Based Test Case Selection Strategy for Service Composition","authors":"Guisheng Fan, Huiqun Yu, Liqiong Chen, Dongmei Liu","doi":"10.1109/TASE.2013.21","DOIUrl":"https://doi.org/10.1109/TASE.2013.21","url":null,"abstract":"Software testing is an important part of software maintenance, but it can also be very expensive. To reduce this expense, software testers may select part of their test cases so that those that are more important are run earlier in the testing process. However, the methods that can be used to select test cases for service composition and its analysis are still lacking at present. This paper proposes an aspect orientation based test case selection strategy for service composition. Aspect-orientation is used to weave testing crosscutting concerns of service composition, which includes component testing concern and testing concern of service composition, the weaving mechanism dynamically integrates these schemas into a testing enforcement model. Based on this, the test cases selection strategy for service composition is given, and abstract it as a crosscutting concern to weave into testing model, the corresponding enforcement algorithm is also given, the operation semantics and related theories of Petri nets help prove its effectiveness and feasibility. A case study explains the testing process of service composition, and a series of experiments are done to explain that the use of aspects for testing Web service is more efficient than conventional techniques, which can improve the testing quality and efficiency.","PeriodicalId":346899,"journal":{"name":"2013 International Symposium on Theoretical Aspects of Software Engineering","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128888250","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

On Denotational Semantics of Spatial-Temporal Consistency Language -- STeC 论时空一致性语言的指称语义

2013 International Symposium on Theoretical Aspects of Software Engineering Pub Date : 2013-07-01 DOI: 10.1109/TASE.2013.16

Hengyang Wu, Yixiang Chen, Min Zhang

引用次数: 15

An Operational Approach to Happens-Before Memory Model “先发生”内存模型的操作方法

2013 International Symposium on Theoretical Aspects of Software Engineering Pub Date : 2013-07-01 DOI: 10.1109/TASE.2013.24

Y. Zhang, Xinyu Feng

{"title":"An Operational Approach to Happens-Before Memory Model","authors":"Y. Zhang, Xinyu Feng","doi":"10.1109/TASE.2013.24","DOIUrl":"https://doi.org/10.1109/TASE.2013.24","url":null,"abstract":"Happens-before memory model (HMM) is used as the basis of Java memory model (JMM). Although HMM itself is simple, some complex axioms have to be introduced in JMM to prevent the causality loop, which causes absurd out-of-thin-air reads that may break the type safety and security guarantee of Java. The resulting JMM is complex and difficult to understand. It also has many anti-intuitive behaviors, as demonstrated by the \"ugly examples\" by Aspinall and ?Sev?c'ik [3]. Furthermore, HMM (and JMM) specify only what execution traces are acceptable, but say nothing about how these traces are generated. This gap makes it difficult for static reasoning about programs. In this paper we present OHMM, an operational variation of HMM. The model is specified by giving an operational semantics to a language running on an abstract machine designed to simulate HMM. Thanks to its generative nature, the model naturally prevents out-of-thin-air reads. On the other hand, it uses a novel replay mechanism to allow instructions to be executed multiple times, which can be used to model many useful speculations and optimizations. The model is weaker than JMM for lockless programs, thus can accommodate more optimizations, such as the reordering of independent memory accesses that is not valid in JMM. Program behaviors are more natural in this model than in JMM, and many of the anti-intuitive examples in JMM are no longer valid here. We hope OHMM can serve as the basis for new memory models for Java-like languages.","PeriodicalId":346899,"journal":{"name":"2013 International Symposium on Theoretical Aspects of Software Engineering","volume":"117 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131431495","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

Computing Repairs from Active Integrity Constraints 从活动完整性约束计算修复

2013 International Symposium on Theoretical Aspects of Software Engineering Pub Date : 2013-07-01 DOI: 10.1109/TASE.2013.32

L. Cruz-Filipe, G. Gaspar, P. Engrácia, I. Nunes

引用次数: 18

Congruent Bisimulation Equivalence of Ambient Calculus Based on Contextual Transition System 基于上下文转换系统的环境微积分的同余双模拟等价

2013 International Symposium on Theoretical Aspects of Software Engineering Pub Date : 2013-07-01 DOI: 10.1109/TASE.2013.28

M. Murakami

引用次数: 4

A Programming Language Approach to Fault Tolerance for Fork-Join Parallelism 叉连接并行容错的编程语言方法

2013 International Symposium on Theoretical Aspects of Software Engineering Pub Date : 2013-07-01 DOI: 10.1109/TASE.2013.22

M. Zengin, Viktor Vafeiadis

引用次数: 6

When Even the Interface Evolves... 当连界面都在进化……

2013 International Symposium on Theoretical Aspects of Software Engineering Pub Date : 2013-07-01 DOI: 10.1109/TASE.2013.19

A. Madeira, Renato Neves, M. Martins, L. Barbosa

引用次数: 6

Modeling and Analyzing Self-Adaptive Systems with Context Petri Nets 基于上下文Petri网的自适应系统建模与分析

2013 International Symposium on Theoretical Aspects of Software Engineering Pub Date : 2013-07-01 DOI: 10.1109/TASE.2013.33

Nicolás Cardozo, Sebastián González, K. Mens, Ragnhild Van Der Straeten, T. D'Hondt

{"title":"Modeling and Analyzing Self-Adaptive Systems with Context Petri Nets","authors":"Nicolás Cardozo, Sebastián González, K. Mens, Ragnhild Van Der Straeten, T. D'Hondt","doi":"10.1109/TASE.2013.33","DOIUrl":"https://doi.org/10.1109/TASE.2013.33","url":null,"abstract":"The development of self-adaptive systems requires the definition of the parts of the system that will be adapted, when such adaptations will take place, and how these adaptations will interact with each other. However, foreseeing all possible adaptations and their interactions is a difficult task, opening the possibility to inconsistencies or erroneous system behavior. To avoid inconsistencies, self adaptive systems require a sound programming model that allows to reason about the correctness of the system in spite of its dynamic reconfigurations. This paper presents context Petri nets, a Petri net-based programming model for self-adaptive systems. This model provides a formal definition of adaptations and their interaction, as well as a consistent process for their inclusion in the system. Besides serving as an underlying run-time model to ensure that adaptations and their constraints remain consistent, context Petri nets allow to analyze properties such as reachability, and liveness in the configuration of self-adaptive systems. Context Petri nets thus are a convenient tool to model and analyze the dynamics of self-adaptive systems, both formally and computationally.","PeriodicalId":346899,"journal":{"name":"2013 International Symposium on Theoretical Aspects of Software Engineering","volume":"52 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114125325","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}

引用次数: 24