{"title":"Supporting product line development through traceability","authors":"Waraporn Jirapanthong, A. Zisman","doi":"10.1109/APSEC.2005.101","DOIUrl":"https://doi.org/10.1109/APSEC.2005.101","url":null,"abstract":"The large number and heterogeneity of documents generated during the development of product line systems may cause difficulties to identify common and variable aspects among applications, and reuse of core assets available under the product line architecture. In this paper, we advocate the use of traceability relations to support product line engineering. We present a rule-based approach to allow for automatic generation of traceability relations between feature-based object-oriented documents. The rules are represented in an extension of XQuery and the documents are translated into XML. We present a traceability reference model with the different types of traceability relations and documents identified in our work, and describe our approach for automatic generation of traceability relations. A prototype tool has been developed to demonstrate and evaluate the approach.","PeriodicalId":359862,"journal":{"name":"12th Asia-Pacific Software Engineering Conference (APSEC'05)","volume":"160 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-12-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114528149","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}
{"title":"Dimensions and forms of knowledge collaboration in software development","authors":"Y. Ye","doi":"10.1109/APSEC.2005.62","DOIUrl":"https://doi.org/10.1109/APSEC.2005.62","url":null,"abstract":"Nowadays few software systems can be produced by a single software developer. Most software systems require collaborative development due to the required brawn power brought by multiple hands. At the same time, because software systems are knowledge artifacts that involve knowledge from multiple domains that a single software developer often does not possess, collaboration also becomes a necessity due to the required brainy power brought by multiple minds. Merging the above two lines of requirements, we view knowledge collaboration as an essential elements in future software development technology and support environments. This paper discusses different forms of knowledge collaboration that exist in software development and suitable conditions for successful knowledge collaboration.","PeriodicalId":359862,"journal":{"name":"12th Asia-Pacific Software Engineering Conference (APSEC'05)","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-12-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123496716","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}
Mu-Hee Song, Soo-Yeon Lim, Dong-Jin Kang, Sang-Jo Lee
{"title":"Automatic classification of Web pages based on the concept of domain ontology","authors":"Mu-Hee Song, Soo-Yeon Lim, Dong-Jin Kang, Sang-Jo Lee","doi":"10.1109/APSEC.2005.46","DOIUrl":"https://doi.org/10.1109/APSEC.2005.46","url":null,"abstract":"The use of ontology in order to provide a mechanism to enable machine reasoning has continuously increased during the last few years. This paper suggests an automated method for document classification using an ontology, which expresses terminology information and vocabulary contained in Web documents by way of a hierarchical structure. Ontology-based document classification involves determining document features that represent the Web documents most accurately, and classifying them into the most appropriate categories after analyzing their contents by using at least two predefined categories per given document features. In this paper, Web pages are classified in real time not with experimental data or a learning process, but by similar calculations between the terminology information extracted from Web pages and ontology categories. This results in a more accurate document classification since the meanings and relationships unique to each document are determined.","PeriodicalId":359862,"journal":{"name":"12th Asia-Pacific Software Engineering Conference (APSEC'05)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-12-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125985428","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}
{"title":"Supporting predictive change impact analysis: a control call graph based technique","authors":"L. Badri, M. Badri, Daniel St-Yves","doi":"10.1109/APSEC.2005.100","DOIUrl":"https://doi.org/10.1109/APSEC.2005.100","url":null,"abstract":"Change impact analysis plays an important role in software maintenance. It allows developers assessing the possible effects of a change. We present, in this paper, a new static technique supporting software change impact analysis. The technique uses a new model based on control call graphs. It captures the control related to components calls and generates the different control flow paths in a program. The generated paths, in a compacted form, are used to identify the potential set of components that may be affected by a given change. Furthermore, the tool developed can be used to perform predictive impact analysis. It can also be used to support regression testing. We performed an experimental study on several Java programs. The reported results show that the proposed technique can predict impact sets that are more accurate than those obtained using traditional approaches based on call graphs.","PeriodicalId":359862,"journal":{"name":"12th Asia-Pacific Software Engineering Conference (APSEC'05)","volume":"60 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-12-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124710336","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}
{"title":"A repository framework for self-growing robot software","authors":"Hyung-Min Koo, In-Young Ko","doi":"10.1109/APSEC.2005.15","DOIUrl":"https://doi.org/10.1109/APSEC.2005.15","url":null,"abstract":"Self-growing software is a software system that grows its functionalities and configurations by itself based on dynamically monitored situations. Self-growing software is especially necessary for intelligent service robots, which monitor their surrounding environments and provide appropriate behaviors for human users. Intelligent service robots often face problems that cannot be resolved with the conventional software technology. To support self-growing software for intelligent service robots, the SemBots project at ICU is developing a repository framework that allows robot software to dynamically acquire software components that are necessary to resolve a dynamic situation. In this paper, we describe the requirements and architecture of the repository system for self-growing software. We also present a prototype implementation of the repository system.","PeriodicalId":359862,"journal":{"name":"12th Asia-Pacific Software Engineering Conference (APSEC'05)","volume":"39 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-12-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122350408","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}
Hyoung-iel Park, Sungwon Kang, Yoonsuk Choi, Danhyung Lee
{"title":"Developing object oriented designs from component and connector architectures","authors":"Hyoung-iel Park, Sungwon Kang, Yoonsuk Choi, Danhyung Lee","doi":"10.1109/APSEC.2005.60","DOIUrl":"https://doi.org/10.1109/APSEC.2005.60","url":null,"abstract":"In this paper, a systematic approach of developing detail OO designs from component and connector architectures (CCAs) is proposed. In this approach, an intermediate model between the architecture model and the detail design model specified with class diagrams or sequence diagrams is introduced to narrow the wide gap between the two abstraction levels. Once a CCA is designed, candidate classes and their relationships are identified per each architectural element. In order to show the efficacy of this approach, we apply it to an industry software development project and verify that quality attributes supported by the CCA are equally maintained by the detail design.","PeriodicalId":359862,"journal":{"name":"12th Asia-Pacific Software Engineering Conference (APSEC'05)","volume":"51 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-12-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122368518","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}
{"title":"An alternative approach to handling nondeterminism in model-oriented data-refinement","authors":"Moshe Deutsch, Martin C. Henson","doi":"10.1109/APSEC.2005.29","DOIUrl":"https://doi.org/10.1109/APSEC.2005.29","url":null,"abstract":"This paper investigates data-refinement by forward and backward simulations for model-oriented specifications whose semantics is given by partial relations. The most well-known example of such a semantics is that for Z. The standard model-theoretic characterisation of refinement is a relational approach based on totalisation and lifting. We contrast this, and relate it to, a new approach inspired by various concepts in algebraic paradigms and type theory (adapted into a framework based on classical logic) for handling nondeterminism and under specification in data-refinement. We provide a new characterisation of refinement based on extracting a set of (deterministic) \"implementations\", each of which models the specification in question. We examine a means by which data simulations interact with this notion and demonstrate that each of the ensuing simulation-based theories is equivalent to the corresponding standard relational characterisation of refinement.","PeriodicalId":359862,"journal":{"name":"12th Asia-Pacific Software Engineering Conference (APSEC'05)","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-12-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130592607","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}
{"title":"Client profiling for QoS-based Web service recommendation","authors":"N. Thio, S. Karunasekera","doi":"10.1109/APSEC.2005.50","DOIUrl":"https://doi.org/10.1109/APSEC.2005.50","url":null,"abstract":"Quality of service (QoS) is one of the important factors when choosing a Web service (WS) provided by a particular WS provider. In this paper we focus on performance, which is one of the important QoS attributes. Performance can be evaluated from the client-side as well as the server-side. As clients are connected through heterogeneous network environments, different clients can experience different performance although they are connected to the same WS provider. Through client grouping and profiling, performance experienced by prospective clients can be estimated based on other clients' historical performance. In this paper we present the common factors for client grouping and profiling, and present the results of the experiments we carried out to understand the effect of these factors on the performance experienced by WS clients. The experimental results show the importance of client grouping and profiling for WS recommendation and composition.","PeriodicalId":359862,"journal":{"name":"12th Asia-Pacific Software Engineering Conference (APSEC'05)","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-12-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129037934","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}
{"title":"Model checking class specifications for Web applications","authors":"Eun-Hye Choi, Hiroshi Watanabe","doi":"10.1109/APSEC.2005.79","DOIUrl":"https://doi.org/10.1109/APSEC.2005.79","url":null,"abstract":"This paper proposes an approach for verifying class specifications of Web applications using model checking. We first present a method to model a dynamic behavior of a Web application from a class specification. We next propose two methods to verify consistencies of the class specification and other design specifications: (1) a page flow diagram which is one of the most essential specifications for Web applications and (2) a behavior diagram such as a UML activity diagram. We applied the proposed methods to real specifications of a Web application designed by a certain company and found several faults of the specifications that had not been detected in actual reviews.","PeriodicalId":359862,"journal":{"name":"12th Asia-Pacific Software Engineering Conference (APSEC'05)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-12-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129267232","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}
{"title":"User intention satisfaction for agent-based semantic Web services systems","authors":"Chiung-Hon Leon Lee, Alan Liu","doi":"10.1109/APSEC.2005.109","DOIUrl":"https://doi.org/10.1109/APSEC.2005.109","url":null,"abstract":"A method to integrate the Web services, agent skills, and human information for the user's intentions satisfaction is proposed and discussed. The user's intention is extracted and represented by goal models. This makes the imprecise intentions be evaluated. Based on the hierarchical task network (HTN) planning approach, a plan could be automatically generated for satisfying the user's intention extracted from the entered service request string. A bookstore scenario is used to illustrate the proposed approach and a service requestor agent is introduced for implementation.","PeriodicalId":359862,"journal":{"name":"12th Asia-Pacific Software Engineering Conference (APSEC'05)","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-12-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125391488","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}