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

14th Asia-Pacific Software Engineering Conference (APSEC'07)最新文献

筛选
英文 中文
DFTL: a Description Language for Transformation of Data Formats DFTL:数据格式转换的描述语言
14th Asia-Pacific Software Engineering Conference (APSEC'07) Pub Date : 2007-12-04 DOI: 10.1109/APSEC.2007.42
M. Wang, Ping Chen, Xiyang Liu, Shengming Hu, Miao Zhang
{"title":"DFTL: a Description Language for Transformation of Data Formats","authors":"M. Wang, Ping Chen, Xiyang Liu, Shengming Hu, Miao Zhang","doi":"10.1109/APSEC.2007.42","DOIUrl":"https://doi.org/10.1109/APSEC.2007.42","url":null,"abstract":"While conceptually simple, format transformation is not always easy, especially for end users of software systems. This paper presents a description language referred to as DFTL. DFTL is short for data format transformation language, which is a context-free grammar based language to take transformation between heterogeneous data. Employing XML as metalanguage, DFTL endeavors to describe a data format transformation model, which consists of logical structure of data and transformation rules associated with structural branches, in an actionable manner. When using DFTL, the transformation model of data in a data file is described by means of DFTL Schema, which is an XML Schema containing only a subset of the constructs available in full XML Schema description language, and augmented with special DFTL annotations. The DFTL Schema description sits in a logical separate file from the data itself.","PeriodicalId":273688,"journal":{"name":"14th Asia-Pacific Software Engineering Conference (APSEC'07)","volume":"2012 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-12-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114670326","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
Simultaneous Modification Support based on Code Clone Analysis 基于代码克隆分析的同步修改支持
14th Asia-Pacific Software Engineering Conference (APSEC'07) Pub Date : 2007-12-04 DOI: 10.1109/APSEC.2007.83
Yoshiki Higo, Yasushi Ueda, S. Kusumoto, Katsuro Inoue
{"title":"Simultaneous Modification Support based on Code Clone Analysis","authors":"Yoshiki Higo, Yasushi Ueda, S. Kusumoto, Katsuro Inoue","doi":"10.1109/APSEC.2007.83","DOIUrl":"https://doi.org/10.1109/APSEC.2007.83","url":null,"abstract":"Maintaining software systems becomes more difficult as their size and complexity increase. One factor that makes software maintenance more difficult is the presence of code clones. A code clone is defined as a code fragment occurring more than once in identical or similar form into a software system. For example, the presence of code clones is a big factor of overlooking some places that should be modified simultaneously. One technique that helps the number of code clones is refactoring. There are several research efforts that provide support to refactor code clones, but unfortunately some code clones cannot or should not be refactored (ex. stereotyped process, absence of abstraction functionality, performance enhancement). In order to support maintaining the consistency among code clones, we propose a simultaneous modification support method. Given a software system, firstly, a maintainer identifies a code fragment that must be modified. Then, only the code clones between the identified code fragment and the source files of the software system are detected. We developed a simultaneous modification support tool, Libra, and applied it to open source software systems. The results showed that Libra was a good searching tool as much as grep, which is a useful tool of UNIX.","PeriodicalId":273688,"journal":{"name":"14th Asia-Pacific Software Engineering Conference (APSEC'07)","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-12-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114956429","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}
引用次数: 37
Early Validation and Verification of a Distributed Role-Based Access Control Model 分布式基于角色的访问控制模型的早期验证
14th Asia-Pacific Software Engineering Conference (APSEC'07) Pub Date : 2007-12-04 DOI: 10.1109/APSEC.2007.46
Saad Zafar, R. Colvin, Kirsten Winter, Nisansala Yatapanage, R. Dromey
{"title":"Early Validation and Verification of a Distributed Role-Based Access Control Model","authors":"Saad Zafar, R. Colvin, Kirsten Winter, Nisansala Yatapanage, R. Dromey","doi":"10.1109/APSEC.2007.46","DOIUrl":"https://doi.org/10.1109/APSEC.2007.46","url":null,"abstract":"To ensure correct implementation of complex access control requirements, it is important that the validated and verified requirements are effectively integrated with the rest of the system. It is also important that the system can be validated and verified early in the development process. In this paper we present an integrated, role-based access control model. The model is based on the graphical behavior tree notation, and can be validated by simulation, as well as verified using a model checker. Using this model, access control requirements can be integrated with the rest of the system from the outset, because: a single notation is used to express both access control and functional requirements; a systematic and incremental approach to constructing a formal behavior tree specification can be adopted; and the specification can be simulated and model checked. The effectiveness of the model is evaluated using a case study with distributed access control requirements.","PeriodicalId":273688,"journal":{"name":"14th Asia-Pacific Software Engineering Conference (APSEC'07)","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-12-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115214616","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
Requirements Engineering for Reactive Systems: Coloured Petri Nets for an Elevator Controller 反应系统的需求工程:电梯控制器的彩色Petri网
14th Asia-Pacific Software Engineering Conference (APSEC'07) Pub Date : 2007-12-04 DOI: 10.1109/APSEC.2007.81
J. Fernandes, Jens Bæk Jørgensen, S. Tjell
{"title":"Requirements Engineering for Reactive Systems: Coloured Petri Nets for an Elevator Controller","authors":"J. Fernandes, Jens Bæk Jørgensen, S. Tjell","doi":"10.1109/APSEC.2007.81","DOIUrl":"https://doi.org/10.1109/APSEC.2007.81","url":null,"abstract":"This paper presents a model-based approach to requirements engineering for reactive systems; we use an elevator controller as case study. We identify and justify two key properties that a model which we construct must have, namely: (1) controller-and-environment-partitioned, which means constituting a description of both the controller and the environment, and distinguishing between these two domains and between desired and assumed behaviour; (2) use case-based, which means constructed on the basis of a given use case diagram and reproducing the behaviour described in accompanying scenario descriptions. For the case study, we build an executable model in the formal modelling language coloured Petri nets. We demonstrate how this model is useful for requirements engineering, since it provides a solid basis for addressing behavioural issues early in the development process, for example regarding concurrent execution of use cases and handling of failures.","PeriodicalId":273688,"journal":{"name":"14th Asia-Pacific Software Engineering Conference (APSEC'07)","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-12-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128890383","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
Methodology Support for the Model Driven Architecture 模型驱动架构的方法论支持
14th Asia-Pacific Software Engineering Conference (APSEC'07) Pub Date : 2007-12-04 DOI: 10.1109/APSEC.2007.69
Fatemeh Chitforoush, Maryam Yazdandoost, Raman Ramsin
{"title":"Methodology Support for the Model Driven Architecture","authors":"Fatemeh Chitforoush, Maryam Yazdandoost, Raman Ramsin","doi":"10.1109/APSEC.2007.69","DOIUrl":"https://doi.org/10.1109/APSEC.2007.69","url":null,"abstract":"Model-driven approaches to software engineering have expanded their influence in recent years, with Object Management Group's model-driven architecture (MDA) being the major force behind this boost. However, despite its merits, MDA remains insufficient for software system development, in the sense that it does not provide a concrete and comprehensive process for governing software development activities. There is therefore a strongly felt need for new model-driven software development methodologies. In this paper we review a number of existing model-driven methodologies, and propose a general framework for model-driven development (MDD) based on MDA. The framework can be used for assessing and comparing methodologies, engineering new methodologies, and adapting existing ones so that they meet the special requirements of the model-driven approach. We have used the framework herein to show how agile methodologies fare in this model-driven development context.","PeriodicalId":273688,"journal":{"name":"14th Asia-Pacific Software Engineering Conference (APSEC'07)","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-12-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117080862","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
Coordination-Policy Based Composed System Behavior Derivation 基于协调策略的组合系统行为派生
14th Asia-Pacific Software Engineering Conference (APSEC'07) Pub Date : 2007-12-04 DOI: 10.1109/APSEC.2007.37
Y. Lau, Wenyun Zhao, Xin Peng, Zhixiong Jiang, Liwei Shen
{"title":"Coordination-Policy Based Composed System Behavior Derivation","authors":"Y. Lau, Wenyun Zhao, Xin Peng, Zhixiong Jiang, Liwei Shen","doi":"10.1109/APSEC.2007.37","DOIUrl":"https://doi.org/10.1109/APSEC.2007.37","url":null,"abstract":"The coordination-policy that components interactions satisfied often determines the properties of nowadays component-based information systems, e.g. safety, liveness and fairness etc. Therefore, how to derive coordination-policy satisfying behavior all out of such system to achieve better system properties is of a significant problem that needs to be solved. Aim to this problem, we propose an optimistic policy- satisfying behavior derivation approach in this paper. The main idea of the approach is to automatically construct a Coordination Environment (CE) for such composed system that system components can work together in a deadlock-free and policy-satisfying manner, and so as to obtain desired system properties. In this approach, component-based information system is modeled by interface automaton network (IAN), and component coordination-policies are specified by LTL. To explain the correctness and validity of this approach, we give a corresponding example certification.","PeriodicalId":273688,"journal":{"name":"14th Asia-Pacific Software Engineering Conference (APSEC'07)","volume":"55 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-12-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116202760","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
Validating Software Reliability by Binary Translation 用二进制翻译验证软件可靠性
14th Asia-Pacific Software Engineering Conference (APSEC'07) Pub Date : 2007-12-04 DOI: 10.1109/APSEC.2007.74
Xiyang Liu, Tao Liu, Zhiwen Bai, Yan Wang, Haoying Mu, Chunxiang Li
{"title":"Validating Software Reliability by Binary Translation","authors":"Xiyang Liu, Tao Liu, Zhiwen Bai, Yan Wang, Haoying Mu, Chunxiang Li","doi":"10.1109/APSEC.2007.74","DOIUrl":"https://doi.org/10.1109/APSEC.2007.74","url":null,"abstract":"context of the program to make preparation for the reverse execution. PORD consists of two parts: a virtual machine and a remote control interface. We implement the virtual machine on the basis of QEmu's user mode emulator on Linux/x86 platform. The virtual CPU of the virtual machine behaves as a translator to perform dynamic binary translation that refers to the process of converting the source binary program to the target binary program that will be executed on the native CPU directly. During the translation process, the code to record the execution context will also be inserted into the translated code. All translated code is cached for being reused again. The remote control interface is implemented on the basis of GNU Debugger by introducing some reverse execution commands. The two parts communicate by the gdb remote debugging protocol.","PeriodicalId":273688,"journal":{"name":"14th Asia-Pacific Software Engineering Conference (APSEC'07)","volume":"117 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-12-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133485991","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
A Methodological Framework for SysML: a Problem Frames-based Approach SysML的方法论框架:基于问题框架的方法
14th Asia-Pacific Software Engineering Conference (APSEC'07) Pub Date : 2007-12-04 DOI: 10.1109/APSEC.2007.9
Pietro Colombo, V. D. Bianco, L. Lavazza, A. Coen-Porisini
{"title":"A Methodological Framework for SysML: a Problem Frames-based Approach","authors":"Pietro Colombo, V. D. Bianco, L. Lavazza, A. Coen-Porisini","doi":"10.1109/APSEC.2007.9","DOIUrl":"https://doi.org/10.1109/APSEC.2007.9","url":null,"abstract":"Recently, SysML has been adopted by the object management group as a modelling language for systems engineering. SysML is a UML profile that represents a subset of UML 2 with extensions. A wide adoption of the language could be hindered by the lack of a methodology that drives the modelling activities. Problem frames (PFs) are a rigorous approach to requirements modelling that has the potential to improve the software development process. Unfortunately, PFs are not supported by an intuitive notation and easy to use tools. As a consequence, their adoption in industry is limited. This paper explores the possibility of exploiting the PFs ideas in the context of SysML models. The goal is to provide model-based development processes using SysML with a set of concepts and guidelines that are sound and have already been used and validated.","PeriodicalId":273688,"journal":{"name":"14th Asia-Pacific Software Engineering Conference (APSEC'07)","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-12-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132538913","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
Definition of an Executable SPEM 2.0 可执行SPEM 2.0的定义
14th Asia-Pacific Software Engineering Conference (APSEC'07) Pub Date : 2007-12-04 DOI: 10.1109/APSEC.2007.38
Reda Bendraou, B. Combemale, X. Crégut, M. Gervais
{"title":"Definition of an Executable SPEM 2.0","authors":"Reda Bendraou, B. Combemale, X. Crégut, M. Gervais","doi":"10.1109/APSEC.2007.38","DOIUrl":"https://doi.org/10.1109/APSEC.2007.38","url":null,"abstract":"One major advantage of executable models is that once constructed, they can be run, checked, validated and improved in short incremental and iterative cycles. In the field of software process modeling, process models have not yet reached the level of precision that would allow their execution. Recently the OMG issued a new revision of its standard for software process modeling, namely SPEM2.0. However, even if executability was defined as a mandatory requirement in the RFP (request for proposal), the adopted specification does not fulfill it. This paper presents a critical analysis on the newly defined standard and addresses its lacks in terms of executability. An approach is proposed in order to extend the standard with a set of concepts and behavioural semantics that would allow SPEM2.0 process models to be checked through a mapping to Petri nets and monitored through a transformation into BPEL.","PeriodicalId":273688,"journal":{"name":"14th Asia-Pacific Software Engineering Conference (APSEC'07)","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-12-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130793080","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}
引用次数: 112
Identifying Key Requirements for a New Product Line 确定新产品线的关键需求
14th Asia-Pacific Software Engineering Conference (APSEC'07) Pub Date : 2007-12-04 DOI: 10.1109/APSEC.2007.61
J. Savolainen, Marjo Kauppinen, T. Männistö
{"title":"Identifying Key Requirements for a New Product Line","authors":"J. Savolainen, Marjo Kauppinen, T. Männistö","doi":"10.1109/APSEC.2007.61","DOIUrl":"https://doi.org/10.1109/APSEC.2007.61","url":null,"abstract":"Product lines should be based on the business reality in the selected market segments. Since the success of the product line is determined by the success of the resulting products, it is essential to guarantee that the key requirements of each identified market segment are satisfied. A critical issue for any company pursuing product line development is the competitiveness of their products against products from other manufacturers. The competitiveness can be realized by carefully managing the differentiating requirements during the initial analysis of the product line requirements. For industrial scale product lines, the number of initial requirements can be large, seriously hindering the analysis. In this paper, we first discuss the economic foundation of differentiating requirements. Then we show how to identify the key requirements for a product line and in which way we can reduce the set of requirements that needs to be discussed during the analysis. Finally, we demonstrate our approach with a worked example where we analyze the key requirements in terms of differentiation among the products.","PeriodicalId":273688,"journal":{"name":"14th Asia-Pacific Software Engineering Conference (APSEC'07)","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-12-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132413360","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
首页 上一页 下一页 尾页
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学术文献互助群
群 号：481959085
Book学术官方微信