{"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}
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}
{"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}