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

11th Asia-Pacific Software Engineering Conference最新文献

筛选
英文 中文
Agent-based Web services evolution for pervasive computing 面向普适计算的基于代理的Web服务演进
11th Asia-Pacific Software Engineering Conference Pub Date : 2004-11-30 DOI: 10.1109/APSEC.2004.18
Ruimin Liu, Feng Chen, Hongji Yang, W. Chu, Yu-Bin Lai
{"title":"Agent-based Web services evolution for pervasive computing","authors":"Ruimin Liu, Feng Chen, Hongji Yang, W. Chu, Yu-Bin Lai","doi":"10.1109/APSEC.2004.18","DOIUrl":"https://doi.org/10.1109/APSEC.2004.18","url":null,"abstract":"Pervasive computing will be a fertile source of challenging research problems in computer systems for many years to come. The ability to obtain services and information from an environment anywhere at anytime is part of pervasive computing. The problem is that most of existing services and applications are designed for stationary PCs. How to evolve these so called legacy system towards those mobile users in a controlled manner is vital for that pervasive computing can become more widespread. In this paper, we report our efforts on the PerEvo project. After discussing the basic features and challenges of pervasive computing, we present an agent-based Web services evolution approach, which is well suited to building software solutions for pervasive computing, and illustrate our solutions through a booking scenario.","PeriodicalId":213849,"journal":{"name":"11th Asia-Pacific Software Engineering Conference","volume":"64 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-11-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115221494","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
A taxonomy of call ordering problems 调用排序问题的分类
11th Asia-Pacific Software Engineering Conference Pub Date : 2004-11-30 DOI: 10.1109/APSEC.2004.14
N. Tran, D. Abramson, C. Mingins
{"title":"A taxonomy of call ordering problems","authors":"N. Tran, D. Abramson, C. Mingins","doi":"10.1109/APSEC.2004.14","DOIUrl":"https://doi.org/10.1109/APSEC.2004.14","url":null,"abstract":"The order of method calls in a program can present subtle problems in ensuring the program's correctness. Some of the problems have been known under different names in the open literature. These include protocols, synchronisation, re-entrance, mandatory calls, and the indirect invariant effect. However, all these problems relate to the temporal ordering of method calls. In essence, the orderings constrain invocations of methods that share program state or otherwise need to cooperate. This paper proposes taxonomy of call ordering problems and their proposed solutions. The taxonomy classifies the problems by showing their common root and a few distinguishing properties. The paper also sketches the key features of a practical unifying solution to these call ordering problems.","PeriodicalId":213849,"journal":{"name":"11th Asia-Pacific Software Engineering Conference","volume":"32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-11-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127988958","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
What should software practitioners know for adopting product line software engineering? 为了采用产品线软件工程，软件从业者应该知道什么?
11th Asia-Pacific Software Engineering Conference Pub Date : 2004-11-30 DOI: 10.1109/APSEC.2004.110
Osamu Kobayashi
{"title":"What should software practitioners know for adopting product line software engineering?","authors":"Osamu Kobayashi","doi":"10.1109/APSEC.2004.110","DOIUrl":"https://doi.org/10.1109/APSEC.2004.110","url":null,"abstract":"Software productline engineering is becoming recognized as an important concept for efficient and timely software development. But to be actually useful, practitioners of software development (designers, programmers, testers, etc.) must have solid understanding and well organized knowledge about productline engineering. So in this workshop, I want to discuss about; what kind of knowledge and skills do we need? How can we gain such knowledge and skills? Software architecture, programming techniques, and development tools are important ones.","PeriodicalId":213849,"journal":{"name":"11th Asia-Pacific Software Engineering Conference","volume":"71 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-11-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114000604","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
An approach to detecting domain errors using formal specification-based testing 一种使用基于规范的正式测试来检测领域错误的方法
11th Asia-Pacific Software Engineering Conference Pub Date : 2004-11-30 DOI: 10.1109/APSEC.2004.20
Yuting Chen, Shaoying Liu
{"title":"An approach to detecting domain errors using formal specification-based testing","authors":"Yuting Chen, Shaoying Liu","doi":"10.1109/APSEC.2004.20","DOIUrl":"https://doi.org/10.1109/APSEC.2004.20","url":null,"abstract":"Domain testing, a technique for testing software or portions of software dominated by numerical processing, is intended to detect domain errors that usually arise from incorrect implementations of desired domains. This paper describes our recent work aiming to provide support for revealing domain errors using formal specifications. In our approach, formal specifications serve as a means for domain modeling. We describe a strong domain testing strategy that guide testers to select a set of test points so that the potential domain errors can be effectively detected, and apply our approach in two case studies for test cases generation.","PeriodicalId":213849,"journal":{"name":"11th Asia-Pacific Software Engineering Conference","volume":"58 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-11-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132536976","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}
引用次数: 4
Use case refactoring: a tool and a case study 用例重构:一个工具和一个案例研究
11th Asia-Pacific Software Engineering Conference Pub Date : 2004-11-30 DOI: 10.1109/APSEC.2004.106
Jian Xu, Wei Yu, Kexing Rui, Greg Butler
{"title":"Use case refactoring: a tool and a case study","authors":"Jian Xu, Wei Yu, Kexing Rui, Greg Butler","doi":"10.1109/APSEC.2004.106","DOIUrl":"https://doi.org/10.1109/APSEC.2004.106","url":null,"abstract":"Use case models are widely used for requirements engineering to capture functional and nonfunctional requirements, guide scenario-based design and validation, and to manage projects. Our tool for use case development and evolution supports reorganization (refactoring) of use case models as well as the extension of use case models to include new functional and nonfunctional requirements. The tool is based on a three-level metamodel covering the environment or context of a use case model, the structure of use cases, and the event or message-passing details of a scenario. In this paper we describe the tool that we have developed, and demonstrate its application to a case study for bank teller machines (ATMs). We show that the concept of refactoring can be applied to use case models as an aid to their development and evolution. We are now working on a firm semantic foundation for use cases in order to verify the behaviour-preserving property of individual refactorings.","PeriodicalId":213849,"journal":{"name":"11th Asia-Pacific Software Engineering Conference","volume":"93 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-11-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132808379","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}
引用次数: 27
Requirements engineering for e-business systems: integrating Jackson problem diagrams with goal modeling and BPM 电子商务系统的需求工程:将Jackson问题图与目标建模和BPM集成
11th Asia-Pacific Software Engineering Conference Pub Date : 2004-11-30 DOI: 10.1109/APSEC.2004.84
S. Bleistein, Karl Cox, J. Verner
{"title":"Requirements engineering for e-business systems: integrating Jackson problem diagrams with goal modeling and BPM","authors":"S. Bleistein, Karl Cox, J. Verner","doi":"10.1109/APSEC.2004.84","DOIUrl":"https://doi.org/10.1109/APSEC.2004.84","url":null,"abstract":"Jackson problem diagrams, goal modeling, and business process modeling (BPM) are employed in a requirements engineering approach that captures both business strategy and process requirements for e-business systems. As a means of linking abstract, high-level business requirements to low-level system requirements, we leverage the paradigm of projection in both problem diagrams and goal models simultaneously. We use Jackson context diagram to describe the business model domain context while goal modeling is used to represent both requirements and to describe the objectives of business strategy. Role activity diagrams are used to describe business processes in detail where needed. The feasibility of our approach is shown by a proof-of-concept case study.","PeriodicalId":213849,"journal":{"name":"11th Asia-Pacific Software Engineering Conference","volume":"828 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-11-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133314505","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}
引用次数: 29
Context-sensitive content representation for static document 静态文档的上下文敏感内容表示
11th Asia-Pacific Software Engineering Conference Pub Date : 2004-11-30 DOI: 10.1109/APSEC.2004.43
W. Chu, Yiwen Chen, Juei-Nan Chen
{"title":"Context-sensitive content representation for static document","authors":"W. Chu, Yiwen Chen, Juei-Nan Chen","doi":"10.1109/APSEC.2004.43","DOIUrl":"https://doi.org/10.1109/APSEC.2004.43","url":null,"abstract":"Due to the convenience of pervasive information environment, many people use various computing devices to perform plenty kinds of tasks. In the field of education, there are various applications to facilitate learner, especially for e-learning. However, some computing devices suffer from the limited resources and cannot accept rich information content. Therefore, the information content has to be tailored into different kinds of presentation depending on the types of computing devices. Context sensitivity is an application software system's ability to sense and analyze context from various sources. In this paper, we aim to customize static documents using context-sensitive middleware (CSM) to sense the computing device, and then using the agent-based parser to provide suitable content representation dynamically.","PeriodicalId":213849,"journal":{"name":"11th Asia-Pacific Software Engineering Conference","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-11-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122404126","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
Scenario mechanism in agent-oriented programming 面向代理编程中的场景机制
11th Asia-Pacific Software Engineering Conference Pub Date : 2004-11-30 DOI: 10.1109/APSEC.2004.90
R. Shen, Ji Wang, Hong Zhu
{"title":"Scenario mechanism in agent-oriented programming","authors":"R. Shen, Ji Wang, Hong Zhu","doi":"10.1109/APSEC.2004.90","DOIUrl":"https://doi.org/10.1109/APSEC.2004.90","url":null,"abstract":"Scenario has been used to describe agent behaviors in the context of environment situations in the specification languages for agent-based systems, such as SLABS. It becomes an important language facility in the declaration of an agent for specifying its behaviors in its environment. Therefore, towards agent-oriented programming, it is necessary to introduce and implement scenario mechanism in programming languages. This paper reports our attempts to support the language facility from the view of programming languages, and presents an approach to facilitating the scenario mechanism in agent-oriented programming. The basic idea is to extend object-oriented programming language to support agent-oriented programming, where Java is chosen as the base language. Firstly, the language framework of agent-oriented programming, SLABSp is presented, mostly conforming to SLABS, whose syntax is extended based on Java. Scenario mechanism is introduced as the new feature in the programming language. Secondly, the underlying object models are defined to serve as the semantics of the language, where agents are modeled by a couple of objects. A compiler has been built to compile the agent-oriented programs into Java. A running platform has been constructed as the multiagent runtime environment of SLABSp.","PeriodicalId":213849,"journal":{"name":"11th Asia-Pacific Software Engineering Conference","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-11-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125735120","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
Software product line and open source software 软件产品线和开源软件
11th Asia-Pacific Software Engineering Conference Pub Date : 2004-11-30 DOI: 10.1109/APSEC.2004.93
M. Ishikawa
{"title":"Software product line and open source software","authors":"M. Ishikawa","doi":"10.1109/APSEC.2004.93","DOIUrl":"https://doi.org/10.1109/APSEC.2004.93","url":null,"abstract":"A similar set of open source software is selected on many systems even if these systems in which the software is applied are in different domains. It must be primary type of core asset on product line software engineering. And next, I want to discuss about success of many network appliances run on open source OS.","PeriodicalId":213849,"journal":{"name":"11th Asia-Pacific Software Engineering Conference","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-11-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129205925","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
JCMP: linking architecture with component building JCMP:将体系结构与组件构建联系起来
11th Asia-Pacific Software Engineering Conference Pub Date : 2004-11-30 DOI: 10.1109/APSEC.2004.64
G. Xu, Zongyuang Yang, Haitao Huang
{"title":"JCMP: linking architecture with component building","authors":"G. Xu, Zongyuang Yang, Haitao Huang","doi":"10.1109/APSEC.2004.64","DOIUrl":"https://doi.org/10.1109/APSEC.2004.64","url":null,"abstract":"Approaches to enforcing communication integrity in the implementation, exemplified by ArchJava, consider only architectural constraints, without taking into account the late integration of prebuilt components into the architecture. This may hinder the practice of architecture in the common component building. In this paper, we present an approach to supporting the integration of prebuilt components in the context of the architectural constraints. This approach is described in terms of a novel design pattern, an architectural description language (ADL) JCMPL and a toolset JCMP. The language and toolset are designed based on the pattern to dynamically link the architectural constraints with the component building. To achieve this goal, an important step is to automatically translate the connector specification defined in the architecture into the connector implementation, which can serve as glue codes to connect two prebuilt components together by transferring the methods invocation between two components.","PeriodicalId":213849,"journal":{"name":"11th Asia-Pacific Software Engineering Conference","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-11-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121490943","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
首页 上一页 下一页 尾页
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学术官方微信