Pub Date : 2000-12-05DOI: 10.1109/APSEC.2000.896724
A. Hazeyama, K. Osada, Y. Miyadera, S. Yokoyama
The authors have been developing an education system that supports university-level group exercises related to the design and implementation of information systems. The system is composed of three sub-systems: group organization, electronic textbook creation and software development process support. These are flexibly integrated via databases. The authors applied this system to an actual class at their university, and evaluated the system based on quantitative data from exercise outputs and student questionnaires. The questionnaire results indicated that the system was especially effective for document creation and for monitoring progress among group members. Groups that used the system created more documents than those that did not. Personal progress reports were the most frequently created documents.
{"title":"An education support system of information system design and implementation and lessons learned from its application","authors":"A. Hazeyama, K. Osada, Y. Miyadera, S. Yokoyama","doi":"10.1109/APSEC.2000.896724","DOIUrl":"https://doi.org/10.1109/APSEC.2000.896724","url":null,"abstract":"The authors have been developing an education system that supports university-level group exercises related to the design and implementation of information systems. The system is composed of three sub-systems: group organization, electronic textbook creation and software development process support. These are flexibly integrated via databases. The authors applied this system to an actual class at their university, and evaluated the system based on quantitative data from exercise outputs and student questionnaires. The questionnaire results indicated that the system was especially effective for document creation and for monitoring progress among group members. Groups that used the system created more documents than those that did not. Personal progress reports were the most frequently created documents.","PeriodicalId":404621,"journal":{"name":"Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000","volume":"38 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":"123497315","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.896689
S. Kundu
This is the first part of a three-part series in which we present a new approach to software functional design, starting from the dataflow diagram D of an algorithm. We introduce the notion of a path-closed set for characterizing the subsets of D that can be considered as function blocks for the software. We also define an equivalence relation and a partial order on the data-items in D, which together with the path-closed subsets, give rise to three design rules for creating a functional design. We illustrate our method using an algorithm with complex dataflows and data-structures.
{"title":"The concept of path-closed subsets and its use in software functional design","authors":"S. Kundu","doi":"10.1109/APSEC.2000.896689","DOIUrl":"https://doi.org/10.1109/APSEC.2000.896689","url":null,"abstract":"This is the first part of a three-part series in which we present a new approach to software functional design, starting from the dataflow diagram D of an algorithm. We introduce the notion of a path-closed set for characterizing the subsets of D that can be considered as function blocks for the software. We also define an equivalence relation and a partial order on the data-items in D, which together with the path-closed subsets, give rise to three design rules for creating a functional design. We illustrate our method using an algorithm with complex dataflows and data-structures.","PeriodicalId":404621,"journal":{"name":"Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000","volume":"14 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":"116285406","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}
Pub Date : 2000-12-05DOI: 10.1109/APSEC.2000.896717
R. Agarwal, G. Bruno, Marco Torchiano
Current object-oriented formalisms, such as UML, focus on describing class models and use instance models only for depicting scenarios. Little attention is being devoted to defining how complex systems can be structured in order to conform with those class models and, further, which constraints class models must adhere to so that such conformity is affordable. This paper focuses on instance models, which are models of actual systems (and, as such, they are made up of instances), and discusses the relationships between instance models and class models. A large number of applications, ranging from generic data modeling to enterprise modeling, require instance models. The importance of hierarchical composition is emphasized: its meaning and implications are discussed in both contexts. A novel approach for building templates out of aggregates of instances is also presented. A case study concerning enterprise modeling shows the application of the approach.
{"title":"Enterprise modeling using class and instance models","authors":"R. Agarwal, G. Bruno, Marco Torchiano","doi":"10.1109/APSEC.2000.896717","DOIUrl":"https://doi.org/10.1109/APSEC.2000.896717","url":null,"abstract":"Current object-oriented formalisms, such as UML, focus on describing class models and use instance models only for depicting scenarios. Little attention is being devoted to defining how complex systems can be structured in order to conform with those class models and, further, which constraints class models must adhere to so that such conformity is affordable. This paper focuses on instance models, which are models of actual systems (and, as such, they are made up of instances), and discusses the relationships between instance models and class models. A large number of applications, ranging from generic data modeling to enterprise modeling, require instance models. The importance of hierarchical composition is emphasized: its meaning and implications are discussed in both contexts. A novel approach for building templates out of aggregates of instances is also presented. A case study concerning enterprise modeling shows the application of the approach.","PeriodicalId":404621,"journal":{"name":"Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000","volume":"203 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":"126077706","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.896679
Jaewon Oh, H. Bahn, C. Wu, K. Koh
We develop a new method to map (i.e. allocate and schedule) real-time applications into certain multiprocessor systems. Its objectives are: the minimization of the number of processors used; and the minimization of the deadline missing time. Given a parallel program with real time constraints and a multiprocessor system, our method finds schedules of the program in the system which satisfy all the real time constraints with minimum number of processors. The minimization is carried out through a Pareto-based genetic algorithm which independently considers the both goals, because they are non-commensurable criteria. Experimental results show that our scheduling algorithm achieved better performance than previous ones. The advantage of our method is that the algorithm produces not a single solution but a family of solutions known as the Pareto-optimal set, out of which designers can select optimal solutions appropriate for their environmental conditions.
{"title":"Pareto-based soft real-time task scheduling in multiprocessor systems","authors":"Jaewon Oh, H. Bahn, C. Wu, K. Koh","doi":"10.1109/APSEC.2000.896679","DOIUrl":"https://doi.org/10.1109/APSEC.2000.896679","url":null,"abstract":"We develop a new method to map (i.e. allocate and schedule) real-time applications into certain multiprocessor systems. Its objectives are: the minimization of the number of processors used; and the minimization of the deadline missing time. Given a parallel program with real time constraints and a multiprocessor system, our method finds schedules of the program in the system which satisfy all the real time constraints with minimum number of processors. The minimization is carried out through a Pareto-based genetic algorithm which independently considers the both goals, because they are non-commensurable criteria. Experimental results show that our scheduling algorithm achieved better performance than previous ones. The advantage of our method is that the algorithm produces not a single solution but a family of solutions known as the Pareto-optimal set, out of which designers can select optimal solutions appropriate for their environmental conditions.","PeriodicalId":404621,"journal":{"name":"Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000","volume":"73 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":"116789805","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.896723
G. Costain
Object-oriented (OO) concepts can be challenging for the novice. Student analysts typically have no background in information technology (IT) and lack the experience on which to build their system models. OO analysis and design (OOA&D) is also difficult where no OO programming experience exists. The Unified Modelling Language (UML) supplies a standard notation for modelling OO systems but does not specify a methodology for integrating those models to assist in system development. This paper describes the selection of an OO process for novice analysts that integrates the UML notation and provides a foundation for future specialised OO papers. It was selected to reinforce the concept of objects collaborating to solve problems.
{"title":"Selecting an object-oriented process for student analysts","authors":"G. Costain","doi":"10.1109/APSEC.2000.896723","DOIUrl":"https://doi.org/10.1109/APSEC.2000.896723","url":null,"abstract":"Object-oriented (OO) concepts can be challenging for the novice. Student analysts typically have no background in information technology (IT) and lack the experience on which to build their system models. OO analysis and design (OOA&D) is also difficult where no OO programming experience exists. The Unified Modelling Language (UML) supplies a standard notation for modelling OO systems but does not specify a methodology for integrating those models to assist in system development. This paper describes the selection of an OO process for novice analysts that integrates the UML notation and provides a foundation for future specialised OO papers. It was selected to reinforce the concept of objects collaborating to solve problems.","PeriodicalId":404621,"journal":{"name":"Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000","volume":"22 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":"116665393","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.896728
Shuguang Li, Qing Jiang, C. George
We adopt an extension of case-base reasoning (CBR) to also include generalised design information in the form of models. We have a repository of models as well as one of cases. We consider the design of the two repositories, the relations within them, and the relations between them. We add a rule language that can be used to check cases and also for retrieval and selection. We use formal specification to capture these data structures, and the meaning of rules, precisely and unambiguously. Formal specification is also a useful abstraction mechanism: we are abstract about the design domain (whose properties are a parameter of the specification), and about the implementation details.
{"title":"Combining case-based and model-based reasoning: a formal specification","authors":"Shuguang Li, Qing Jiang, C. George","doi":"10.1109/APSEC.2000.896728","DOIUrl":"https://doi.org/10.1109/APSEC.2000.896728","url":null,"abstract":"We adopt an extension of case-base reasoning (CBR) to also include generalised design information in the form of models. We have a repository of models as well as one of cases. We consider the design of the two repositories, the relations within them, and the relations between them. We add a rule language that can be used to check cases and also for retrieval and selection. We use formal specification to capture these data structures, and the meaning of rules, precisely and unambiguously. Formal specification is also a useful abstraction mechanism: we are abstract about the design domain (whose properties are a parameter of the specification), and about the implementation details.","PeriodicalId":404621,"journal":{"name":"Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000","volume":"63 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":"126311166","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.896738
Jessica Chen
In this paper, we present our study on statically analyzing design artifacts in multithreaded systems to check the correctness with respect to the nondeterministic behavior of the systems. The description of an abstract behavior of a multithreaded system on design stage can be naturally decomposed into the descriptions of the behavior of each thread and the description of the interactions among these threads. We assume that the behavior of each thread is described in terms of synchronizing finite state machine, a special finite state machine whose transitions may contain information about thread synchronization. Such information is expressed by way of some well-known synchronization mechanism from implementation languages. For the moment, we consider synchronization among multiple threads via shared objects, governed by Java monitors. The operational semantics for a network of such synchronizing finite state machines is provided in terms of labeled transition systems. The defined formal model is the basis for formally reasoning about the correctness of the design against certain properties that, due to the nondeterminism involved, may be hard to detect by testing final code.
{"title":"A study on static analysis in network of synchronizing FSMs","authors":"Jessica Chen","doi":"10.1109/APSEC.2000.896738","DOIUrl":"https://doi.org/10.1109/APSEC.2000.896738","url":null,"abstract":"In this paper, we present our study on statically analyzing design artifacts in multithreaded systems to check the correctness with respect to the nondeterministic behavior of the systems. The description of an abstract behavior of a multithreaded system on design stage can be naturally decomposed into the descriptions of the behavior of each thread and the description of the interactions among these threads. We assume that the behavior of each thread is described in terms of synchronizing finite state machine, a special finite state machine whose transitions may contain information about thread synchronization. Such information is expressed by way of some well-known synchronization mechanism from implementation languages. For the moment, we consider synchronization among multiple threads via shared objects, governed by Java monitors. The operational semantics for a network of such synchronizing finite state machines is provided in terms of labeled transition systems. The defined formal model is the basis for formally reasoning about the correctness of the design against certain properties that, due to the nondeterminism involved, may be hard to detect by testing final code.","PeriodicalId":404621,"journal":{"name":"Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000","volume":"26 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":"123624795","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.896721
D. Ram, M. Sreekanth
Patterns are a means for capturing experience in solving general problems. They give general solutions to common and recurring problems. They exist at various phases of the software development life-cycle (SDLC), namely the analysis phase, the design phase, the coding phase and the testing phase. Patterns in each phase are identified independently. It is possible for the patterns of one phase to be related to patterns in other phases. This paper proposes pattern mapping to inter-relate the patterns of various phases in SDLC to address this issue. It is advantageous to capture the related patterns of different phases as a single unit for software development. Reusable integrated components (ICs) of patterns are proposed to capture the related patterns. A software IC is a group of inter-related patterns, that gives solutions for a recurring problem at various phases of SDLC. A representation mechanism for ICs is presented using the URA (Unified Representation of an Artifact) model, which captures the software development process. Also, this paper proposes a software development process that is based on reusable ICs of patterns. The representation of a software project developed using ICs is also discussed.
{"title":"Reusable integrated components of inter-related patterns for software development","authors":"D. Ram, M. Sreekanth","doi":"10.1109/APSEC.2000.896721","DOIUrl":"https://doi.org/10.1109/APSEC.2000.896721","url":null,"abstract":"Patterns are a means for capturing experience in solving general problems. They give general solutions to common and recurring problems. They exist at various phases of the software development life-cycle (SDLC), namely the analysis phase, the design phase, the coding phase and the testing phase. Patterns in each phase are identified independently. It is possible for the patterns of one phase to be related to patterns in other phases. This paper proposes pattern mapping to inter-relate the patterns of various phases in SDLC to address this issue. It is advantageous to capture the related patterns of different phases as a single unit for software development. Reusable integrated components (ICs) of patterns are proposed to capture the related patterns. A software IC is a group of inter-related patterns, that gives solutions for a recurring problem at various phases of SDLC. A representation mechanism for ICs is presented using the URA (Unified Representation of an Artifact) model, which captures the software development process. Also, this paper proposes a software development process that is based on reusable ICs of patterns. The representation of a software project developed using ICs is also discussed.","PeriodicalId":404621,"journal":{"name":"Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000","volume":"26 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":"123110716","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.896714
Kenha Park, Jintae Kim, S. Park
This paper presents a goal based modeling method for an agent-oriented software system. In modeling research for agent-oriented software, problems often emerged in that the properties of an agent system were not efficiently reflected in the development phase (analysis, design, etc.), because the techniques based on the other software paradigm are adopted to develop agent-oriented software. The result of analysis differs depending on which paradigm is used. An agent is goal-oriented, which necessitates a shift in paradigm. Therefore, the modeling method for an agent system should start from the concept of goal.
{"title":"Goal based agent-oriented software modeling","authors":"Kenha Park, Jintae Kim, S. Park","doi":"10.1109/APSEC.2000.896714","DOIUrl":"https://doi.org/10.1109/APSEC.2000.896714","url":null,"abstract":"This paper presents a goal based modeling method for an agent-oriented software system. In modeling research for agent-oriented software, problems often emerged in that the properties of an agent system were not efficiently reflected in the development phase (analysis, design, etc.), because the techniques based on the other software paradigm are adopted to develop agent-oriented software. The result of analysis differs depending on which paradigm is used. An agent is goal-oriented, which necessitates a shift in paradigm. Therefore, the modeling method for an agent system should start from the concept of goal.","PeriodicalId":404621,"journal":{"name":"Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000","volume":"47 7","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-12-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120893358","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
扫码关注我们
求助内容：
应助结果提醒方式：