Any program that measures quantities from its physical environment must compute using correct and consistent units of measurement. Such a program is described as well-measuring. In many systems, particularly embedded control software, paying inadequate attention to units of measurement can result in catastrophe. Unfortunately, current programming languages and tools provide little aid to the programmer attempting to establish or verify the well-measuring property. We present a program analysis technique for inferring and checking the units used within a program. The technique combines traditional Hindley-Milner-style type inference with the use of static single assignment (SSA) form to enable analysis of imperative programs.
{"title":"Well-measuring programs","authors":"Phil Cook, C. Fidge","doi":"10.1109/ASWEC.2006.56","DOIUrl":"https://doi.org/10.1109/ASWEC.2006.56","url":null,"abstract":"Any program that measures quantities from its physical environment must compute using correct and consistent units of measurement. Such a program is described as well-measuring. In many systems, particularly embedded control software, paying inadequate attention to units of measurement can result in catastrophe. Unfortunately, current programming languages and tools provide little aid to the programmer attempting to establish or verify the well-measuring property. We present a program analysis technique for inferring and checking the units used within a program. The technique combines traditional Hindley-Milner-style type inference with the use of static single assignment (SSA) form to enable analysis of imperative programs.","PeriodicalId":285684,"journal":{"name":"Australian Software Engineering Conference (ASWEC'06)","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-04-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130890986","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}
Architectural design is a vital phase in the development of e-business applications. A suitable compromise must be determined taking into account business requirements, quality criteria and existing constraints (e.g. presence of legacy systems). This paper adopts the view that for a particular problem context, the architectural design process can be considered as a series of choices regarding the application of a number of architectural design strategies. The problem context described in the paper is common to a category of e-business applications that arise from the e-finance domain. Given a formal representation of this context, we identify and formalise a number of applicable design strategies and show the resulting architectures. We also represent the overall design process as a decision tree and show how quality models can be used to select the most appropriate architecture. The recommendations made by the models are checked against real data from existing projects.
{"title":"A framework for evaluating alternative architectures and its application to financial business processes","authors":"Feras T. Dabous, F. Rabhi","doi":"10.1109/ASWEC.2006.3","DOIUrl":"https://doi.org/10.1109/ASWEC.2006.3","url":null,"abstract":"Architectural design is a vital phase in the development of e-business applications. A suitable compromise must be determined taking into account business requirements, quality criteria and existing constraints (e.g. presence of legacy systems). This paper adopts the view that for a particular problem context, the architectural design process can be considered as a series of choices regarding the application of a number of architectural design strategies. The problem context described in the paper is common to a category of e-business applications that arise from the e-finance domain. Given a formal representation of this context, we identify and formalise a number of applicable design strategies and show the resulting architectures. We also represent the overall design process as a decision tree and show how quality models can be used to select the most appropriate architecture. The recommendations made by the models are checked against real data from existing projects.","PeriodicalId":285684,"journal":{"name":"Australian Software Engineering Conference (ASWEC'06)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-04-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116917834","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}
Combining third party software components to customer-individual application systems requires first, standardized specification techniques for describing the technical as well as the business-related aspects of the services provided and required by the corresponding software components and second, automated compatibility tests in order to identify components fulfilling demands specified by component requestors. Adequate techniques for the specification of component services are consolidated in a multilayered specification framework, where formal notations are preferred in order to enable the execution of automated compatibility tests. These tests are a prerequisite for the existence of component markets where third party software components are traded and components that fulfil the specified demands are identified. This paper presents an algorithm for the layer of the specification framework where coordination aspects of a software component are described. On this layer an extension of the object constraint language (OCL) by temporal operators is used to specify the succession relationships between the services of related software components. Thereby the connections to other layers are tagged and existing tests are integrated.
{"title":"Compatibility test for coordination aspects of software components","authors":"Johannes Maria Zaha, A. Albani","doi":"10.1109/ASWEC.2006.22","DOIUrl":"https://doi.org/10.1109/ASWEC.2006.22","url":null,"abstract":"Combining third party software components to customer-individual application systems requires first, standardized specification techniques for describing the technical as well as the business-related aspects of the services provided and required by the corresponding software components and second, automated compatibility tests in order to identify components fulfilling demands specified by component requestors. Adequate techniques for the specification of component services are consolidated in a multilayered specification framework, where formal notations are preferred in order to enable the execution of automated compatibility tests. These tests are a prerequisite for the existence of component markets where third party software components are traded and components that fulfil the specified demands are identified. This paper presents an algorithm for the layer of the specification framework where coordination aspects of a software component are described. On this layer an extension of the object constraint language (OCL) by temporal operators is used to specify the succession relationships between the services of related software components. Thereby the connections to other layers are tagged and existing tests are integrated.","PeriodicalId":285684,"journal":{"name":"Australian Software Engineering Conference (ASWEC'06)","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-04-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114298809","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}
SwinDeW, an innovative decentralised workflow management system, has established an underlying framework for peer-to-peer (P2P) based business process coordination environments. SwinDeW-S extends SwinDeW to support adaptive composite service orchestration in the era of service-oriented computing. This paper comprehensively presents features of SwinDeW-S, including the P2P network establishment, the messaging mechanism, the service deployment and enactment, the service discovery and advertisement, and the service flow execution. The prototypical extension of SwinDeW to SwinDeW-S and the advantages of SwinDeW-S are also examined and analysed. With the innovative integration of service and P2P-based enterprise application techniques, SwinDeW-S can support composite service orchestration, deployment and execution.
{"title":"SwinDeW-S: extending P2P workflow systems for adaptive composite Web services","authors":"Jun Shen, Jun Yan, Yun Yang","doi":"10.1109/ASWEC.2006.48","DOIUrl":"https://doi.org/10.1109/ASWEC.2006.48","url":null,"abstract":"SwinDeW, an innovative decentralised workflow management system, has established an underlying framework for peer-to-peer (P2P) based business process coordination environments. SwinDeW-S extends SwinDeW to support adaptive composite service orchestration in the era of service-oriented computing. This paper comprehensively presents features of SwinDeW-S, including the P2P network establishment, the messaging mechanism, the service deployment and enactment, the service discovery and advertisement, and the service flow execution. The prototypical extension of SwinDeW to SwinDeW-S and the advantages of SwinDeW-S are also examined and analysed. With the innovative integration of service and P2P-based enterprise application techniques, SwinDeW-S can support composite service orchestration, deployment and execution.","PeriodicalId":285684,"journal":{"name":"Australian Software Engineering Conference (ASWEC'06)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-04-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121750870","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}
Component selection and composition are the main issues in component-based development (CBD). Existing approaches suffer from the problem that the components retrieved usually do not exactly fit with other components in the system being developed. While formal methods can be used to describe and check semantic characteristics to better match components, there are practical limitations which restrict their adoption. In this paper, we propose a framework to support a semantic description and selection of components. Towards this we first introduce a Simple Component Interface Language (SCIL). SCIL files can be translated to a variety of models including those that have a formal basis. We report our experience with two specific tools, viz., Reactive Modules and Alloy with a view to using tools based on formal methods but without exposing the details of the tools
{"title":"A framework for checking behavioral compatibility for component selection","authors":"Lei Wang, P. Krishnan","doi":"10.1109/ASWEC.2006.2","DOIUrl":"https://doi.org/10.1109/ASWEC.2006.2","url":null,"abstract":"Component selection and composition are the main issues in component-based development (CBD). Existing approaches suffer from the problem that the components retrieved usually do not exactly fit with other components in the system being developed. While formal methods can be used to describe and check semantic characteristics to better match components, there are practical limitations which restrict their adoption. In this paper, we propose a framework to support a semantic description and selection of components. Towards this we first introduce a Simple Component Interface Language (SCIL). SCIL files can be translated to a variety of models including those that have a formal basis. We report our experience with two specific tools, viz., Reactive Modules and Alloy with a view to using tools based on formal methods but without exposing the details of the tools","PeriodicalId":285684,"journal":{"name":"Australian Software Engineering Conference (ASWEC'06)","volume":"477 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-04-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116689089","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}
The concept of pagerank has proved successful in allowing search engines to identify important pages in the World Wide Web. In this paper, we describe the application of the pagerank concept to the domain of software in order to derive a new family of metrics, CodeRank, which captures aspects of software not readily obtainable from other metrics. We have implemented a tool, CODERANKER, to compute values of CodeRank metrics using a full semantic model which we have developed. We present some results and discuss the use of CodeRank metrics in their interpretation
{"title":"CodeRank: a new family of software metrics","authors":"Blair Neate, Warwick Irwin, N. Churcher","doi":"10.1109/ASWEC.2006.21","DOIUrl":"https://doi.org/10.1109/ASWEC.2006.21","url":null,"abstract":"The concept of pagerank has proved successful in allowing search engines to identify important pages in the World Wide Web. In this paper, we describe the application of the pagerank concept to the domain of software in order to derive a new family of metrics, CodeRank, which captures aspects of software not readily obtainable from other metrics. We have implemented a tool, CODERANKER, to compute values of CodeRank metrics using a full semantic model which we have developed. We present some results and discuss the use of CodeRank metrics in their interpretation","PeriodicalId":285684,"journal":{"name":"Australian Software Engineering Conference (ASWEC'06)","volume":"44 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-04-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126153776","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}
Web services are designed for composition and use by third parties through dynamic discovery. As such, the issue of interoperability between services is of great importance to ensure that the services can work together towards the overall application goals. In particular, the interaction protocols of a service need to be implemented and used properly so that the service composition can conduct itself in an orderly fashion. In our previous work, we have proposed a lightweight, pattern/constraint-based approach to specifying service interaction protocols. It has been incorporated into OWL-S for service developers to describe service interaction constraints. In this paper, we present a framework for monitoring the run-time interaction behaviour of Web services and validating the behaviour against their pre-defined interaction constraints. The framework involves interception of service interactions/messages, representation of interaction constraints using finite state automata, and conformance checking of service interactions against interaction constraints. As such, the framework provides a useful tool for validating the implementation and use of services regarding their interaction behaviour
{"title":"A runtime monitoring and validation framework for Web service interactions","authors":"Zheng Li, Yan Jin, Jun Han","doi":"10.1109/ASWEC.2006.6","DOIUrl":"https://doi.org/10.1109/ASWEC.2006.6","url":null,"abstract":"Web services are designed for composition and use by third parties through dynamic discovery. As such, the issue of interoperability between services is of great importance to ensure that the services can work together towards the overall application goals. In particular, the interaction protocols of a service need to be implemented and used properly so that the service composition can conduct itself in an orderly fashion. In our previous work, we have proposed a lightweight, pattern/constraint-based approach to specifying service interaction protocols. It has been incorporated into OWL-S for service developers to describe service interaction constraints. In this paper, we present a framework for monitoring the run-time interaction behaviour of Web services and validating the behaviour against their pre-defined interaction constraints. The framework involves interception of service interactions/messages, representation of interaction constraints using finite state automata, and conformance checking of service interactions against interaction constraints. As such, the framework provides a useful tool for validating the implementation and use of services regarding their interaction behaviour","PeriodicalId":285684,"journal":{"name":"Australian Software Engineering Conference (ASWEC'06)","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-04-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125187167","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}
XP is a software development methodology that aims to address software project risks. However, risks for any project are dependent upon many factors and need to be assessed on a project-by-project basis. Indeed, under some circumstances, the practices that make up the XP discipline actually introduce risk into the process. Such risks must be understood in order that appropriate mitigation strategies and contingency plans might be put in place. In this paper, we introduce a process modelling framework, KiTe, and show how to use the framework as the basis for a systematic approach to identifying risk conditions inherent in XP projects.
{"title":"Identifying risks in XP projects through process modelling","authors":"Diana Kirk, E. Tempero","doi":"10.1109/ASWEC.2006.31","DOIUrl":"https://doi.org/10.1109/ASWEC.2006.31","url":null,"abstract":"XP is a software development methodology that aims to address software project risks. However, risks for any project are dependent upon many factors and need to be assessed on a project-by-project basis. Indeed, under some circumstances, the practices that make up the XP discipline actually introduce risk into the process. Such risks must be understood in order that appropriate mitigation strategies and contingency plans might be put in place. In this paper, we introduce a process modelling framework, KiTe, and show how to use the framework as the basis for a systematic approach to identifying risk conditions inherent in XP projects.","PeriodicalId":285684,"journal":{"name":"Australian Software Engineering Conference (ASWEC'06)","volume":"93 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-04-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132602296","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}
Summary form only given. Universities are under increasing pressure globally to both diversify revenue streams, and develop a role beyond simply teaching and research and, particularly in the technological disciplines such as our own, to act as agents for economic development and change. This diversification of roles naturally creates tensions between investigator led curiosity driven research and applied research that has the potential for more immediate economic impact. The introduction of research quality measurement frameworks such as those in New Zealand and Australia exacerbate this tension. In this article, the author gives a personal perspective on how these tensions can be mitigated, in the process generating a win-win partnership with industry. This requires compromises on both sides of the industry academic divide but can be immensely rewarding in both an academic and a financial sense. The author use case studies from his own group's work to illustrate, focusing on a software engineering research project that has resulted in a very successful product development with strong economic and academic outcomes, and an internship which resulted in creation of a new spinoff company. He, in addition, discuss some of the current initiatives we have underway at Auckland to further develop industry partnerships.
{"title":"The software engineering academy's role in industrial innovation","authors":"J. Hosking","doi":"10.1109/ASWEC.2006.50","DOIUrl":"https://doi.org/10.1109/ASWEC.2006.50","url":null,"abstract":"Summary form only given. Universities are under increasing pressure globally to both diversify revenue streams, and develop a role beyond simply teaching and research and, particularly in the technological disciplines such as our own, to act as agents for economic development and change. This diversification of roles naturally creates tensions between investigator led curiosity driven research and applied research that has the potential for more immediate economic impact. The introduction of research quality measurement frameworks such as those in New Zealand and Australia exacerbate this tension. In this article, the author gives a personal perspective on how these tensions can be mitigated, in the process generating a win-win partnership with industry. This requires compromises on both sides of the industry academic divide but can be immensely rewarding in both an academic and a financial sense. The author use case studies from his own group's work to illustrate, focusing on a software engineering research project that has resulted in a very successful product development with strong economic and academic outcomes, and an internship which resulted in creation of a new spinoff company. He, in addition, discuss some of the current initiatives we have underway at Auckland to further develop industry partnerships.","PeriodicalId":285684,"journal":{"name":"Australian Software Engineering Conference (ASWEC'06)","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-04-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133680070","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}
He Zhang, Mingkui Huo, B. Kitchenham, D. R. Jeffery
Software process simulation models hold out the promise of improving project planning and control. However, quantitative models require a very detailed understanding of the software process. In particular, process knowledge needs to be represented quantitatively which requires extensive, reliable software project data. When such data is lacking, quantitative models must impose severe constraints, restricting the value of the models. In contrast qualitative models are able to cope with imprecise knowledge by reasoning at a more abstract level. This paper illustrates the value and flexibility of qualitative models by developing a model of the software staffing process and comparing it with other quantitative staffing models. We show that the qualitative model provides more insights into the staffing process than the quantitative models because it requires fewer constraints and can thus simulate more behaviors. In particular, the qualitative model produces three possible outcomes: adding staff can increases project duration (i.e. Brooks' Law), adding staff may not affect duration, or adding staff may decrease duration. The qualitative model allows us to determine the conditions under which the different outcomes can occur
{"title":"Qualitative simulation model for software engineering process","authors":"He Zhang, Mingkui Huo, B. Kitchenham, D. R. Jeffery","doi":"10.1109/ASWEC.2006.42","DOIUrl":"https://doi.org/10.1109/ASWEC.2006.42","url":null,"abstract":"Software process simulation models hold out the promise of improving project planning and control. However, quantitative models require a very detailed understanding of the software process. In particular, process knowledge needs to be represented quantitatively which requires extensive, reliable software project data. When such data is lacking, quantitative models must impose severe constraints, restricting the value of the models. In contrast qualitative models are able to cope with imprecise knowledge by reasoning at a more abstract level. This paper illustrates the value and flexibility of qualitative models by developing a model of the software staffing process and comparing it with other quantitative staffing models. We show that the qualitative model provides more insights into the staffing process than the quantitative models because it requires fewer constraints and can thus simulate more behaviors. In particular, the qualitative model produces three possible outcomes: adding staff can increases project duration (i.e. Brooks' Law), adding staff may not affect duration, or adding staff may decrease duration. The qualitative model allows us to determine the conditions under which the different outcomes can occur","PeriodicalId":285684,"journal":{"name":"Australian Software Engineering Conference (ASWEC'06)","volume":"59 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-04-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131384603","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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：