Tenth Asia-Pacific Software Engineering Conference, 2003.最新文献

Utilizing specification testing in review task trees for rigorous review of formal specifications 利用审查任务树中的规范测试来严格审查正式的规范

Tenth Asia-Pacific Software Engineering Conference, 2003. Pub Date : 2003-12-10 DOI: 10.1109/APSEC.2003.1254406

Shaoying Liu

引用次数: 12

A ontology-based process modelling for XP 基于本体的XP过程建模

Tenth Asia-Pacific Software Engineering Conference, 2003. Pub Date : 2003-12-10 DOI: 10.1109/APSEC.2003.1254376

P. Ceravolo, E. Damiani, M. Marchesi, S. Pinna, Francesco Zavatarelli

引用次数: 20

Understanding how the requirements are implemented in source code 了解如何在源代码中实现需求

Tenth Asia-Pacific Software Engineering Conference, 2003. Pub Date : 2003-12-10 DOI: 10.1109/APSEC.2003.1254359

Wei Zhao, Lu Zhang, Yin Liu, Jing Luo, Jiasu Sun

{"title":"Understanding how the requirements are implemented in source code","authors":"Wei Zhao, Lu Zhang, Yin Liu, Jing Luo, Jiasu Sun","doi":"10.1109/APSEC.2003.1254359","DOIUrl":"https://doi.org/10.1109/APSEC.2003.1254359","url":null,"abstract":"For software maintenance and evolution, a common problem is to understand how each requirement is implemented in the source code. The basic solution of this problem is to find the fragment of source code that is corresponding to the implementation of each requirement. This can be viewed as a requirement-slicing problem - slicing the source code according to each individual requirement. We present an approach to find the set of functions that is corresponding to each requirement. The main idea of our method is to combine the information retrieval technology with the static analysis of source code structures. First, we retrieve the initial function sets through some information retrieval model using functional requirements as the queries and identifier information (such as function names, parameter names, variable names etc.) of functions in the source code as target documents. Then we complement each retrieved initial function set by analyzing the call graph extracted from the source code. A premise of our approach is that programmers should use meaningful names as identifiers. Furthermore, we perform an experimental study based on a GNU system. We use two basic metrics: precision and recall (which are the common practice in the information retrieval field), to evaluate our approach. We also compare the results directly acquired from information retrieval with those that are complemented through static source code structure analysis.","PeriodicalId":122752,"journal":{"name":"Tenth Asia-Pacific Software Engineering Conference, 2003.","volume":"07 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-12-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115909185","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}

引用次数: 25

PAORE: package oriented requirements elicitation PAORE:面向包的需求引出

Tenth Asia-Pacific Software Engineering Conference, 2003. Pub Date : 2003-12-10 DOI: 10.1109/APSEC.2003.1254354

Junzou Kato, Morio Nagata, Shuichiro Yamamoto, M. Saeki, H. Kaiya, H. Horai, A. Ohnishi, S. Komiya, Kenji Watahiki

引用次数: 23

Implementing angelic nondeterminism 实现天使的不确定性

Tenth Asia-Pacific Software Engineering Conference, 2003. Pub Date : 2003-12-10 DOI: 10.1109/APSEC.2003.1254370

O. Celiku, Joakim von Wright

引用次数: 10

Implementing exception handling policies for workflow management system 实现工作流管理系统的异常处理策略

Tenth Asia-Pacific Software Engineering Conference, 2003. Pub Date : 2003-12-10 DOI: 10.1109/APSEC.2003.1254411

Jinmiao Li, Y. Mai, Greg Butler

{"title":"Implementing exception handling policies for workflow management system","authors":"Jinmiao Li, Y. Mai, Greg Butler","doi":"10.1109/APSEC.2003.1254411","DOIUrl":"https://doi.org/10.1109/APSEC.2003.1254411","url":null,"abstract":"Exceptions are deviations from the normal execution of the program. They occur frequently in programs. In modern programming languages exceptions are separated from the normal execution using try-catch blocks and whenever an exception is raised then the catch blocks either recover from the exception in some way. or log the exception and abort. A workflow can be characterized as a long-running process. Exceptions occur in workflows but it is more expensive to abort the workflow as much work may be lost. Many proposals for describing workflows have been made. Some address exception handling, but few of these cleanly separate the description of the normal workflow from exceptions, and none present clear implementation details. Our approach to modeling and handling exceptions relies on continuations, listeners as exception handlers, and on policies, or strategies, for continuation. This model leads to a very flexible design and implementation of workflow. We present the details behind the implementation. Our work has been validated in a small prototype written in Java, though our approach and design are independent of the programming language.","PeriodicalId":122752,"journal":{"name":"Tenth Asia-Pacific Software Engineering Conference, 2003.","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-12-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129789336","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

Rigorous EBNF-based definition for a graphic modeling language 严格的基于ebnf的图形建模语言定义

Tenth Asia-Pacific Software Engineering Conference, 2003. Pub Date : 2003-12-10 DOI: 10.1109/APSEC.2003.1254371

Yong Xia, M. Glinz

{"title":"Rigorous EBNF-based definition for a graphic modeling language","authors":"Yong Xia, M. Glinz","doi":"10.1109/APSEC.2003.1254371","DOIUrl":"https://doi.org/10.1109/APSEC.2003.1254371","url":null,"abstract":"Today, the syntax of visual specification languages such as UML is typically defined using meta-modelling techniques. However, this kind of syntax definition has drawbacks. In particular, graphic meta-models are not powerful enough, so they must be augmented by a textual constraint language. As an alternative, we present a text-based technique for the syntax definition of a graphic specification language. We exploit the fact that in a graphic specification language, most syntactic features are independent of the layout of the graph. So we map the graphic elements to textual ones and define the context-free syntax of this textual language in EBNF. Using our mapping, this grammar also defines the syntax of the graphic language. Simple spatial and context-sensitive constraints are then added by attributing the context-free grammar. Finally, for handling complex structural and dynamic information in the syntax, we give a set of operational rules that work on the attributed EBNF. We explain our syntax definition technique by applying it to the modelling language ADORA, which is being developed in our research group. We also briefly discuss the application of our technique to the syntax definition of UML. We mention the advantages of our method over the metamodeling techniques.","PeriodicalId":122752,"journal":{"name":"Tenth Asia-Pacific Software Engineering Conference, 2003.","volume":"65 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-12-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129843548","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}

引用次数: 15

Ensuring compatible interactions within component-based software systems 确保基于组件的软件系统中的兼容交互

Tenth Asia-Pacific Software Engineering Conference, 2003. Pub Date : 2003-12-10 DOI: 10.1109/APSEC.2003.1254399

Jun Han, Ksze Kae Ker

引用次数: 18

Matching software practitioner needs to researcher activities 将软件从业者的需求与研究者的活动相匹配

Tenth Asia-Pacific Software Engineering Conference, 2003. Pub Date : 2003-12-10 DOI: 10.1109/APSEC.2003.1254353

M. Feather, T. Menzies, J. R. Connelly

引用次数: 16

Modeling complex systems by a set of interacting finite-state models 用一组相互作用的有限状态模型对复杂系统进行建模

Tenth Asia-Pacific Software Engineering Conference, 2003. Pub Date : 2003-12-10 DOI: 10.1109/APSEC.2003.1254392

S. Kundu

引用次数: 4