Pub Date : 2000-12-05DOI: 10.1109/APSEC.2000.896697
J. Bowles, K. Lau, Mario Ornaghi, K. Taguchi, Hirokazu Yatsu, A. Wills
Frameworks are increasingly being recognised as very useful components in the emerging paradigm of component-based software development (CBD). They are widely accepted as better units of reuse than objects. The CBD methodology Catalysis, for instance, uses frameworks. However, at present, Catalysis frameworks are described only informally, which means we cannot reason formally about frameworks, in particular their composition, and thereby their reuse. For this, we would need to specify frameworks (and their composition) formally. In this paper, we describe our approach for doing so.
{"title":"Formal specification of Catalysis frameworks","authors":"J. Bowles, K. Lau, Mario Ornaghi, K. Taguchi, Hirokazu Yatsu, A. Wills","doi":"10.1109/APSEC.2000.896697","DOIUrl":"https://doi.org/10.1109/APSEC.2000.896697","url":null,"abstract":"Frameworks are increasingly being recognised as very useful components in the emerging paradigm of component-based software development (CBD). They are widely accepted as better units of reuse than objects. The CBD methodology Catalysis, for instance, uses frameworks. However, at present, Catalysis frameworks are described only informally, which means we cannot reason formally about frameworks, in particular their composition, and thereby their reuse. For this, we would need to specify frameworks (and their composition) formally. In this paper, we describe our approach for doing so.","PeriodicalId":404621,"journal":{"name":"Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-12-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130947439","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}
Pub Date : 2000-12-05DOI: 10.1109/APSEC.2000.896713
M. Purvis, Maryam A. Purvis, Selena Lemalu
Workflow management systems are increasingly used to assist the automation of business processes that involve the exchange of documents, information, or task execution results. Recent developments in distributed information system technology now make it possible to extend the workflow management system idea to much wider spheres of activity in the industrial and commercial world. This paper describes a framework under development that employs such technology so that software tools and processes may interoperate in a distributed and dynamic environment. Key technical elements of the framework include the use of coloured Petri nets and distributed object technology (CORBA).
{"title":"An adaptive distributed workflow system framework","authors":"M. Purvis, Maryam A. Purvis, Selena Lemalu","doi":"10.1109/APSEC.2000.896713","DOIUrl":"https://doi.org/10.1109/APSEC.2000.896713","url":null,"abstract":"Workflow management systems are increasingly used to assist the automation of business processes that involve the exchange of documents, information, or task execution results. Recent developments in distributed information system technology now make it possible to extend the workflow management system idea to much wider spheres of activity in the industrial and commercial world. This paper describes a framework under development that employs such technology so that software tools and processes may interoperate in a distributed and dynamic environment. Key technical elements of the framework include the use of coloured Petri nets and distributed object technology (CORBA).","PeriodicalId":404621,"journal":{"name":"Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000","volume":"52 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-12-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122625440","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}
Pub Date : 2000-12-05DOI: 10.1109/APSEC.2000.896704
C. Matthews, P. Swatman
It has been recognised that formal methods are useful as a modelling tool in requirements engineering. Specification languages such as Z permit the precise and unambiguous modelling of system properties and behaviour. However, some system problems, particularly those drawn from the information systems (IS) problem domain, may be difficult to model in crisp or precise terms. It may also be desirable that formal modelling should commence as early as possible, even when our understanding of parts of the problem domain is only approximate. This paper identifies the problem types of interest and argues that they are characterised by uncertainty and imprecision. It suggests fuzzy set theory as a useful formalism for modelling aspects of this imprecision. The paper illustrates how a fuzzy logic toolkit for Z can be applied to such problem domains. Several examples are presented illustrating the representation of imprecise concepts as fuzzy sets and relations, and soft pre-conditions and system requirements as a series of linguistically quantified propositions.
{"title":"Fuzzy concepts and formal methods: some illustrative examples","authors":"C. Matthews, P. Swatman","doi":"10.1109/APSEC.2000.896704","DOIUrl":"https://doi.org/10.1109/APSEC.2000.896704","url":null,"abstract":"It has been recognised that formal methods are useful as a modelling tool in requirements engineering. Specification languages such as Z permit the precise and unambiguous modelling of system properties and behaviour. However, some system problems, particularly those drawn from the information systems (IS) problem domain, may be difficult to model in crisp or precise terms. It may also be desirable that formal modelling should commence as early as possible, even when our understanding of parts of the problem domain is only approximate. This paper identifies the problem types of interest and argues that they are characterised by uncertainty and imprecision. It suggests fuzzy set theory as a useful formalism for modelling aspects of this imprecision. The paper illustrates how a fuzzy logic toolkit for Z can be applied to such problem domains. Several examples are presented illustrating the representation of imprecise concepts as fuzzy sets and relations, and soft pre-conditions and system requirements as a series of linguistically quantified propositions.","PeriodicalId":404621,"journal":{"name":"Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000","volume":"32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-12-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124781754","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}
Pub Date : 2000-12-05DOI: 10.1109/APSEC.2000.896734
H. Sahraoui, M. Boukadoum, H. Lounis, Frédéric Ethève
Managing the evolution of an OO system constitutes a complex and resource-consuming task. This is particularly true for reusable class libraries since the user interface must be preserved for version compatibility. Thus, the symptomatic detection of potential instabilities during the design phase of such libraries may help avoid later problems. This paper introduces a fuzzy logic-based approach for evaluating the stability of a reusable class library interface, using structural metrics as stability indicators. To evaluate this new approach, we conducted a preliminary study on a set of commercial C++ class libraries. The obtained results are very promising when compared to those of two classical machine learning approaches, top down induction of decision trees and Bayesian classifiers.
{"title":"Predicting class libraries interface evolution: an investigation into machine learning approaches","authors":"H. Sahraoui, M. Boukadoum, H. Lounis, Frédéric Ethève","doi":"10.1109/APSEC.2000.896734","DOIUrl":"https://doi.org/10.1109/APSEC.2000.896734","url":null,"abstract":"Managing the evolution of an OO system constitutes a complex and resource-consuming task. This is particularly true for reusable class libraries since the user interface must be preserved for version compatibility. Thus, the symptomatic detection of potential instabilities during the design phase of such libraries may help avoid later problems. This paper introduces a fuzzy logic-based approach for evaluating the stability of a reusable class library interface, using structural metrics as stability indicators. To evaluate this new approach, we conducted a preliminary study on a set of commercial C++ class libraries. The obtained results are very promising when compared to those of two classical machine learning approaches, top down induction of decision trees and Bayesian classifiers.","PeriodicalId":404621,"journal":{"name":"Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000","volume":"94 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-12-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129503615","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}
Pub Date : 2000-12-05DOI: 10.1109/APSEC.2000.896722
Xia Cai, Michael R. Lyu, Kam-Fai Wong, Roy Ko
Component-based software development approach is based on the idea to develop software systems by selecting appropriate off-the-shelf components and then to assemble them with a well-defined software architecture. Because the new software development paradigm is very different from the traditional approach, quality assurance (QA) for component-based software development is a new topic in the software engineering community. In this paper, we survey current component-based software technologies, describe their advantages and disadvantages, and discuss the features they inherit. We also address QA issues for component-based software. As a major contribution, we propose a QA model for component-based software which covers component requirement analysis, component development, component certification, component customization, and system architecture design, integration, testing and maintenance.
{"title":"Component-based software engineering: technologies, development frameworks, and quality assurance schemes","authors":"Xia Cai, Michael R. Lyu, Kam-Fai Wong, Roy Ko","doi":"10.1109/APSEC.2000.896722","DOIUrl":"https://doi.org/10.1109/APSEC.2000.896722","url":null,"abstract":"Component-based software development approach is based on the idea to develop software systems by selecting appropriate off-the-shelf components and then to assemble them with a well-defined software architecture. Because the new software development paradigm is very different from the traditional approach, quality assurance (QA) for component-based software development is a new topic in the software engineering community. In this paper, we survey current component-based software technologies, describe their advantages and disadvantages, and discuss the features they inherit. We also address QA issues for component-based software. As a major contribution, we propose a QA model for component-based software which covers component requirement analysis, component development, component certification, component customization, and system architecture design, integration, testing and maintenance.","PeriodicalId":404621,"journal":{"name":"Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-12-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125728698","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}
Pub Date : 2000-12-05DOI: 10.1109/APSEC.2000.896701
T. Tsumaki, Yoshitomi Morisawa
Requirements tracing supports software development work by tracing the changes made to the models. There are two functions in requirements tracing: change tracking and influence analysis. Change tracking is the function of searching the models and model elements in the production sequence. Furthermore, one correction of an element in a model often leads to new corrections to other elements. Influence analysis is the function of finding those elements that need to be additionally corrected. The requirements tracing models are drawn with UML diagrams. UML (Unified Modeling Language) is an industrial-standard visual modeling language established by the OMG (Object Management Group).
{"title":"A framework of requirements tracing using UML","authors":"T. Tsumaki, Yoshitomi Morisawa","doi":"10.1109/APSEC.2000.896701","DOIUrl":"https://doi.org/10.1109/APSEC.2000.896701","url":null,"abstract":"Requirements tracing supports software development work by tracing the changes made to the models. There are two functions in requirements tracing: change tracking and influence analysis. Change tracking is the function of searching the models and model elements in the production sequence. Furthermore, one correction of an element in a model often leads to new corrections to other elements. Influence analysis is the function of finding those elements that need to be additionally corrected. The requirements tracing models are drawn with UML diagrams. UML (Unified Modeling Language) is an industrial-standard visual modeling language established by the OMG (Object Management Group).","PeriodicalId":404621,"journal":{"name":"Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-12-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125231980","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}
Pub Date : 2000-12-05DOI: 10.1109/APSEC.2000.896718
Yan Xia, A. Ho, YuCheng Zhang
The Component Object Model (COM) represents a binary interface standard that allows developers to build specialized software components that interface in a common way with other software components. After being compiled, these components are integrated into an application and can interoperate with each other in a reliable, controlled manner. Can the components be integrated into an application and interoperate without recompiled? This article describes the Component Integration Model (CIMO), a software platform that allows the components written by different software programmers to be integrated into an application and to inter-operate without re-compiling. Firstly, the paper concentrates on a general overview of CIMO and describes the constitution and functions of the CIMO architecture. Secondly, the paper presents the definition of the CIMO component concept and addresses how CIMO facilitates users to establish scalable component-based applications and how CIMO supports the synchronous and asynchronous communication between components. Thirdly, the paper explains how CIMO sets up the deployment of components and processes after users have developed components based on CIMO specifications.
{"title":"CIMO - Component Integration MOdel","authors":"Yan Xia, A. Ho, YuCheng Zhang","doi":"10.1109/APSEC.2000.896718","DOIUrl":"https://doi.org/10.1109/APSEC.2000.896718","url":null,"abstract":"The Component Object Model (COM) represents a binary interface standard that allows developers to build specialized software components that interface in a common way with other software components. After being compiled, these components are integrated into an application and can interoperate with each other in a reliable, controlled manner. Can the components be integrated into an application and interoperate without recompiled? This article describes the Component Integration Model (CIMO), a software platform that allows the components written by different software programmers to be integrated into an application and to inter-operate without re-compiling. Firstly, the paper concentrates on a general overview of CIMO and describes the constitution and functions of the CIMO architecture. Secondly, the paper presents the definition of the CIMO component concept and addresses how CIMO facilitates users to establish scalable component-based applications and how CIMO supports the synchronous and asynchronous communication between components. Thirdly, the paper explains how CIMO sets up the deployment of components and processes after users have developed components based on CIMO specifications.","PeriodicalId":404621,"journal":{"name":"Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-12-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128118692","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}
Pub Date : 2000-12-05DOI: 10.1109/APSEC.2000.896695
P. Krishnan
In this article, we present an approach to defining UML diagrams in terms of state predicates and using the theorem prover PVS (Prototype Verification System) to verify consistency between various diagrams. We focus on the dynamic aspects of the various diagrams. Our approach can easily handle partially specified systems as the behaviour is described in terms of the history of the computation.
{"title":"Consistency checks for UML","authors":"P. Krishnan","doi":"10.1109/APSEC.2000.896695","DOIUrl":"https://doi.org/10.1109/APSEC.2000.896695","url":null,"abstract":"In this article, we present an approach to defining UML diagrams in terms of state predicates and using the theorem prover PVS (Prototype Verification System) to verify consistency between various diagrams. We focus on the dynamic aspects of the various diagrams. Our approach can easily handle partially specified systems as the behaviour is described in terms of the history of the computation.","PeriodicalId":404621,"journal":{"name":"Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-12-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131656235","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}
Pub Date : 2000-12-05DOI: 10.1109/APSEC.2000.896694
Xuandong Li, J. Lilius
For real-time systems, UML sequence diagrams describe interactions among objects, which show scenarios of the system behaviour. A simple UML sequence diagram describes exactly one scenario. For describing multiple scenarios and specifying real-time systems, we need to consider the compositions of UML sequence diagrams. In this paper, we introduce high-level graphs to describe compositions of UML sequence diagrams, and develop an algorithm for checking them for timing inconsistencies.
{"title":"Checking compositions of UML sequence diagrams for timing inconsistency","authors":"Xuandong Li, J. Lilius","doi":"10.1109/APSEC.2000.896694","DOIUrl":"https://doi.org/10.1109/APSEC.2000.896694","url":null,"abstract":"For real-time systems, UML sequence diagrams describe interactions among objects, which show scenarios of the system behaviour. A simple UML sequence diagram describes exactly one scenario. For describing multiple scenarios and specifying real-time systems, we need to consider the compositions of UML sequence diagrams. In this paper, we introduce high-level graphs to describe compositions of UML sequence diagrams, and develop an algorithm for checking them for timing inconsistencies.","PeriodicalId":404621,"journal":{"name":"Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-12-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130948721","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}
Pub Date : 2000-12-05DOI: 10.1109/APSEC.2000.896726
J. Paynter, J. Ong, Lorelle Frazer
Various factors are leading organisations to deliver flexible learning via the Internet. These pressures include the need to be seen to be using the latest technology, the demand from users away from traditional courses to ones that can deliver anytime, anywhere and lastly to escape from the need to provide expensive classrooms and laboratories. There are different proprietary and off-the-shelf solutions capable of delivering teaching material to the Internet and assessing students. Yet there has been little research on the effectiveness of these vehicles from the view points of course content, authors, instructors and students. The research evaluates two contrasting flexible learning sites drawing upon the experiences of authors and instructors and through surveying the students via the WAMMI questionnaire.
{"title":"A preliminary comparison of computer mediated training tools","authors":"J. Paynter, J. Ong, Lorelle Frazer","doi":"10.1109/APSEC.2000.896726","DOIUrl":"https://doi.org/10.1109/APSEC.2000.896726","url":null,"abstract":"Various factors are leading organisations to deliver flexible learning via the Internet. These pressures include the need to be seen to be using the latest technology, the demand from users away from traditional courses to ones that can deliver anytime, anywhere and lastly to escape from the need to provide expensive classrooms and laboratories. There are different proprietary and off-the-shelf solutions capable of delivering teaching material to the Internet and assessing students. Yet there has been little research on the effectiveness of these vehicles from the view points of course content, authors, instructors and students. The research evaluates two contrasting flexible learning sites drawing upon the experiences of authors and instructors and through surveying the students via the WAMMI questionnaire.","PeriodicalId":404621,"journal":{"name":"Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-12-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116000155","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
扫码关注我们
求助内容：
应助结果提醒方式：