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

筛选
英文 中文
Dynamic verification of temporal constraints on-the-fly for workflow systems 工作流系统时间约束的动态验证
11th Asia-Pacific Software Engineering Conference Pub Date : 2004-11-30 DOI: 10.1109/APSEC.2004.47
Jinjun Chen, Yun Yang, T. Chen
{"title":"Dynamic verification of temporal constraints on-the-fly for workflow systems","authors":"Jinjun Chen, Yun Yang, T. Chen","doi":"10.1109/APSEC.2004.47","DOIUrl":"https://doi.org/10.1109/APSEC.2004.47","url":null,"abstract":"Temporal verification is an important method to check the temporal correctness of workflow management systems (WfMSs). However, the current temporal verification is relatively independent of the workflow system environments. It does not pay sufficient attention to the interrelationship between the temporal verification at different stages, the mutual dependency between some temporal constraints, and the run-time checkpoint selection strategy, which hence hinders the incorporation and consistency between the temporal verification and the workflow system environments. In this paper, we effectively integrate the temporal verification at different stages and explore the dependency between some temporal constraints. In addition, we present a new effective runtime checkpoint selection strategy which dynamically selects appropriate checkpoints based on the activity completion duration. Furthermore, based on these analyses, we develop some new methods for more efficient temporal verification. These analyses and new methods help to eliminate the gap between the temporal verification and the workflow system environments.","PeriodicalId":213849,"journal":{"name":"11th Asia-Pacific Software Engineering Conference","volume":"41 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":"121664538","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}
引用次数: 38
An exploratory study of groupware support for distributed software architecture evaluation process 分布式软件体系结构评估过程中群件支持的探索性研究
11th Asia-Pacific Software Engineering Conference Pub Date : 1900-01-01 DOI: 10.1109/apsec.2004.27
M. Babar, B. Kitchenham, Liming Zhu, D. R. Jeffery
{"title":"An exploratory study of groupware support for distributed software architecture evaluation process","authors":"M. Babar, B. Kitchenham, Liming Zhu, D. R. Jeffery","doi":"10.1109/apsec.2004.27","DOIUrl":"https://doi.org/10.1109/apsec.2004.27","url":null,"abstract":"Software architecture evaluation is an effective means of addressing quality related issues quite early in the software development lifecycle. Scenario-based approaches to evaluate architecture usually involve a large number of stakeholders, who need to be collocated for evaluation sessions. Collocating a large number of stakeholders is an expensive and time-consuming exercise, which may prove to be a hurdle in the wide-spread adoption of architectural evaluation practices. Drawing upon the successful introduction of groupware applications to support geographically distributed teams in software inspection, and requirements engineering disciplines, we propose the concept of distributed architectural evaluation using Internet-based collaborative technologies. This paper illustrates the methodology of a pilot study to assess the viability of a larger experiment intended to investigate the feasibility of groupware support for distributed software architecture evaluation. In addition, the results of the pilot study provide some interesting findings on the viability of groupware-supported software architectural evaluation process.","PeriodicalId":213849,"journal":{"name":"11th Asia-Pacific Software Engineering Conference","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125495633","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}
引用次数: 3
A PLSE Environment in 80s - International Workshop on Adopting Product Line Software Engineering 80年代的PLSE环境——采用产品线软件工程国际研讨会
11th Asia-Pacific Software Engineering Conference Pub Date : 1900-01-01 DOI: 10.1109/APSEC.2004.7
Sako Hiroshi
{"title":"A PLSE Environment in 80s - International Workshop on Adopting Product Line Software Engineering","authors":"Sako Hiroshi","doi":"10.1109/APSEC.2004.7","DOIUrl":"https://doi.org/10.1109/APSEC.2004.7","url":null,"abstract":"A PLSE environment in 80s Back in early days in 1980s, we had developed an integrated business application development environment called Zodiac (its project name). Although we didn’t think the system as a PLSE environment at that time, the environment had several interesting features that we might hope to include coming PLSE environments. For example, the system kept various application patterns inside written in a special pattern description language named Meta-skeleton. Designers and analysts were asked to input various parameters that Meta-skeletons needed to fulfill the end-user’s requirements. Using those parameters stored in a database, the system generated full set of source codes, JCLs and documents. The heart of the system as PLSE environment was Meta-skeletons since you could collect and settle domain knowledge as assets in the form of descriptions using the language. It took almost one year to collect and analyze the requirements from users. We had to analyze not only existing applications and documents, but also business/development process of the target packages either. Although the system had been used from early 80s to mid 90s extensively, it was discarded eventually since it didn’t catch up the modern PC architectures and operating environments like Windows.","PeriodicalId":213849,"journal":{"name":"11th Asia-Pacific Software Engineering Conference","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125584715","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
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学术官方微信