Software development is a dynamic process where engineers constantly modify and refine their systems. As a consequence, everything evolves including designs, system's architectural structure, and implementation source code. Software evolution can easily make architectural traceability relationships between software architectural entities and corresponding source code become out of date. This paper suggests the use of object-oriented software configuration (SCM) and version management technology to manage versions of architectural structure/entities, source code, and the traceability relationships among them. The resulting architectural SCM system, MolhadoArch, always keeps architectural entities version-consistent with source code. Consistent configurations are maintained not only among source code but also with the high-level software architecture. MolhadoArch supports the management of both planned and unplanned evolution of software architecture.
{"title":"Object-oriented configuration management technology can improve software architectural traceability","authors":"T. Nguyen, E. Munson, C. Thao","doi":"10.1109/SERA.2005.54","DOIUrl":"https://doi.org/10.1109/SERA.2005.54","url":null,"abstract":"Software development is a dynamic process where engineers constantly modify and refine their systems. As a consequence, everything evolves including designs, system's architectural structure, and implementation source code. Software evolution can easily make architectural traceability relationships between software architectural entities and corresponding source code become out of date. This paper suggests the use of object-oriented software configuration (SCM) and version management technology to manage versions of architectural structure/entities, source code, and the traceability relationships among them. The resulting architectural SCM system, MolhadoArch, always keeps architectural entities version-consistent with source code. Consistent configurations are maintained not only among source code but also with the high-level software architecture. MolhadoArch supports the management of both planned and unplanned evolution of software architecture.","PeriodicalId":424175,"journal":{"name":"Third ACIS Int'l Conference on Software Engineering Research, Management and Applications (SERA'05)","volume":"124 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-08-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114913893","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}
Traditional structured analysis and design methods have been criticized because the methods lack formality to provide a design for rigorous development. Several approaches have been developed for verifying a design by integrating traditional structured analysis and design methods with formal specification languages. However, the integration of traditional structured analysis and design methods with formal specification languages may confuse the problem definition and understanding with the attempt to define system structures and algorithms in the design phase. In addition, formal specification languages may add complexity to the design due to the complexity of the language syntax and semantics. In this paper, we are presenting an approach to verification of a structured design in HOS without using formal specification languages. Rules for the partial and total correctness of the design are also discussed.
{"title":"Formal verification of structured analysis and design in HOS","authors":"C. Chiang, R. Lee","doi":"10.1109/SERA.2005.41","DOIUrl":"https://doi.org/10.1109/SERA.2005.41","url":null,"abstract":"Traditional structured analysis and design methods have been criticized because the methods lack formality to provide a design for rigorous development. Several approaches have been developed for verifying a design by integrating traditional structured analysis and design methods with formal specification languages. However, the integration of traditional structured analysis and design methods with formal specification languages may confuse the problem definition and understanding with the attempt to define system structures and algorithms in the design phase. In addition, formal specification languages may add complexity to the design due to the complexity of the language syntax and semantics. In this paper, we are presenting an approach to verification of a structured design in HOS without using formal specification languages. Rules for the partial and total correctness of the design are also discussed.","PeriodicalId":424175,"journal":{"name":"Third ACIS Int'l Conference on Software Engineering Research, Management and Applications (SERA'05)","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-08-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124322300","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 information transformation problem of model driven software development (MDSD) processes is gaining increasing attentions. In this paper, we present an indepth analysis of the major causes leading to the ambiguities of existing transformation. A metamodel based approach is then proposed to address these causes. A mechanism to generate transformation rules is devised based on a classification of the UML metamodel elements to be used in subsequent transformation processes. Some other critical issues relating to the generated transformation system are also discussed.
{"title":"A metamodel based model transformation approach","authors":"Yucong Duan, S. Cheung, Xiaolan Fu, Yuqing Gu","doi":"10.1109/SERA.2005.10","DOIUrl":"https://doi.org/10.1109/SERA.2005.10","url":null,"abstract":"The information transformation problem of model driven software development (MDSD) processes is gaining increasing attentions. In this paper, we present an indepth analysis of the major causes leading to the ambiguities of existing transformation. A metamodel based approach is then proposed to address these causes. A mechanism to generate transformation rules is devised based on a classification of the UML metamodel elements to be used in subsequent transformation processes. Some other critical issues relating to the generated transformation system are also discussed.","PeriodicalId":424175,"journal":{"name":"Third ACIS Int'l Conference on Software Engineering Research, Management and Applications (SERA'05)","volume":"65 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-08-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121104092","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}
This paper presents the design and implementation of the MAFTS (a multi-agent based fault-tolerance system), which is running on distributed multimedia object oriented environment. DOORAE (distributed object oriented collaboration environment) is a good example of the foundation technology for a computer-based multimedia collaborative work that allows development of required application by combining many agents composed of units of functional module when user wishes to develop a new application field. MAFTS has been designed and implemented in DOORAE environment. It is a multi-agent system that is implemented with object oriented concept. The main idea is to detect an error by using polling method. This system detects an error by polling periodically processes with relation to sessions. And, it is to classify the type of errors automatically by using learning rules. The characteristic of this system is to use the same method to get back again it as it creates a session.
{"title":"A multi-agent based fault tolerance system for distributed multimedia object oriented environment: MAFTS","authors":"Eungnam Ko","doi":"10.1109/SERA.2005.13","DOIUrl":"https://doi.org/10.1109/SERA.2005.13","url":null,"abstract":"This paper presents the design and implementation of the MAFTS (a multi-agent based fault-tolerance system), which is running on distributed multimedia object oriented environment. DOORAE (distributed object oriented collaboration environment) is a good example of the foundation technology for a computer-based multimedia collaborative work that allows development of required application by combining many agents composed of units of functional module when user wishes to develop a new application field. MAFTS has been designed and implemented in DOORAE environment. It is a multi-agent system that is implemented with object oriented concept. The main idea is to detect an error by using polling method. This system detects an error by polling periodically processes with relation to sessions. And, it is to classify the type of errors automatically by using learning rules. The characteristic of this system is to use the same method to get back again it as it creates a session.","PeriodicalId":424175,"journal":{"name":"Third ACIS Int'l Conference on Software Engineering Research, Management and Applications (SERA'05)","volume":"66 3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-08-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131343420","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}
Jin-Woo Kim, Young-Gab Kim, JuHum Kwon, Sung-Ho Hong, Chee-Yang Song, D. Baik
Recent developments in information systems (ISs) have resulted in a critical need for integration and retention of heterogeneous ISs in various domains, using their commonalities. Stovepipe systems have been developed because of inconsistencies in planning architecture among stakeholders. Several countries are currently adopting enterprise architecture (EA) systems, such as Zachman AF (ZF), C4ISR AF, SBA, and FEAF, in order to solve various IS problems in the field of information technology, but enterprise architecture framework (EAF) legacy systems can be inadequate to solve problems arising from stovepipe systems. An EAF is required to satisfy aspects of both EA and system architecture (SA) inside a common information technology (IT) domain. This paper proposes a new enterprise architecture framework that will resolve the problems inherent in previous frameworks and their features.
信息系统(ISs)的最新发展导致了对利用其共性在不同领域集成和保留异构ISs的迫切需求。由于利益相关者之间的规划架构不一致,开发了烟囱系统。一些国家目前正在采用企业架构(EA)系统,例如Zachman AF (ZF)、C4ISR AF、SBA和FEAF,以解决信息技术领域中的各种IS问题,但是企业架构框架(EAF)遗留系统可能不足以解决由烟囱系统引起的问题。EAF需要满足公共信息技术(IT)域中EA和系统架构(SA)的各个方面。本文提出了一种新的企业架构框架,该框架将解决原有框架及其特性所固有的问题。
{"title":"An enterprise architecture framework based on a common information technology domain (EAFIT) for improving interoperability among heterogeneous information systems","authors":"Jin-Woo Kim, Young-Gab Kim, JuHum Kwon, Sung-Ho Hong, Chee-Yang Song, D. Baik","doi":"10.1109/SERA.2005.21","DOIUrl":"https://doi.org/10.1109/SERA.2005.21","url":null,"abstract":"Recent developments in information systems (ISs) have resulted in a critical need for integration and retention of heterogeneous ISs in various domains, using their commonalities. Stovepipe systems have been developed because of inconsistencies in planning architecture among stakeholders. Several countries are currently adopting enterprise architecture (EA) systems, such as Zachman AF (ZF), C4ISR AF, SBA, and FEAF, in order to solve various IS problems in the field of information technology, but enterprise architecture framework (EAF) legacy systems can be inadequate to solve problems arising from stovepipe systems. An EAF is required to satisfy aspects of both EA and system architecture (SA) inside a common information technology (IT) domain. This paper proposes a new enterprise architecture framework that will resolve the problems inherent in previous frameworks and their features.","PeriodicalId":424175,"journal":{"name":"Third ACIS Int'l Conference on Software Engineering Research, Management and Applications (SERA'05)","volume":"28 10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-08-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123245205","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 importance of software measurement is increasing leading to development of new measurement techniques. Reusing existing software components is a key feature in increasing software productivity. It is one of the key elements in object-oriented programming, which reduces the cost and increases the quality of the software. An important feature of C++ called templates support generic programming, which allows the programmer to develop reusable software modules such as functions, classes, etc. The need for software reusability metrics is particularly acute for an organization in order to measure the degree of generic programming included in the form of templates in code. This research addresses this need and introduces a new set of metrics for object-oriented software. Two metrics are proposed for measuring amount of genericty included in the code and then analytically evaluated against Weyuker's set of nine axioms. This set of metrics is then applied to standard projects and accordingly ways in which project managers can use these metrics are suggested.
{"title":"Software reuse metrics for object-oriented systems","authors":"K. Aggarwal, Y. Singh, Arvinder Kaur, R. Malhotra","doi":"10.1109/SERA.2005.60","DOIUrl":"https://doi.org/10.1109/SERA.2005.60","url":null,"abstract":"The importance of software measurement is increasing leading to development of new measurement techniques. Reusing existing software components is a key feature in increasing software productivity. It is one of the key elements in object-oriented programming, which reduces the cost and increases the quality of the software. An important feature of C++ called templates support generic programming, which allows the programmer to develop reusable software modules such as functions, classes, etc. The need for software reusability metrics is particularly acute for an organization in order to measure the degree of generic programming included in the form of templates in code. This research addresses this need and introduces a new set of metrics for object-oriented software. Two metrics are proposed for measuring amount of genericty included in the code and then analytically evaluated against Weyuker's set of nine axioms. This set of metrics is then applied to standard projects and accordingly ways in which project managers can use these metrics are suggested.","PeriodicalId":424175,"journal":{"name":"Third ACIS Int'l Conference on Software Engineering Research, Management and Applications (SERA'05)","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-08-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116243347","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}
This paper shows the feasibility of SQL/MDR development. Previous approach has several problems such as complicated exchanging mechanism, dependent description to local MDR systems, high cost for adding new systems, etc. Until now, the advantages of SQL/MDR have been qualitatively shown in several papers. In this paper, its merits are illustrated in quantitative views. Especially, we focus on the query modeling cost to do this; we define several factors and evaluation model. Through the quantitative evaluation, the reason why SQL/MDR is required for exchanging metadata can be explicitly identified.
{"title":"A comparative evaluation of query modeling cost of SQL/MDR","authors":"Dongwon Jeong, H. In, Lee-Sub Lee","doi":"10.1109/SERA.2005.3","DOIUrl":"https://doi.org/10.1109/SERA.2005.3","url":null,"abstract":"This paper shows the feasibility of SQL/MDR development. Previous approach has several problems such as complicated exchanging mechanism, dependent description to local MDR systems, high cost for adding new systems, etc. Until now, the advantages of SQL/MDR have been qualitatively shown in several papers. In this paper, its merits are illustrated in quantitative views. Especially, we focus on the query modeling cost to do this; we define several factors and evaluation model. Through the quantitative evaluation, the reason why SQL/MDR is required for exchanging metadata can be explicitly identified.","PeriodicalId":424175,"journal":{"name":"Third ACIS Int'l Conference on Software Engineering Research, Management and Applications (SERA'05)","volume":"45 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-08-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127138578","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}
Online course management system (OCMS) mainly aids various events in online instructing, including testing, course discussion, assignment submission, and assignment grading. This paper is mainly designed basing on the study of completed OCMS of the past. Online assignment submission is prone to easy plagiarism, infecting the learning process of the students and interfering with their studies. In the past, using human power to inspect for plagiarism is very time-consuming. This research then is focused on allowing programming courses to employ procedures such as code standardization, textual analysis, structural analysis, and variable analysis, to evaluate and compare programming codes. We provide an intelligent agent as a daemon to analyze the program code for OCMS. Textually, we use document fingerprinting algorithm as a basis for text comparison; structurally, we utilize formal algebraic expression and dynamic control structure tree (DCS tree) to rebuild and evaluate the program structure; variable-wise, we not only record relevant information for each variable, but also analyze the programming structure where the variables are positioned. By applying a similarity measuring method, we output a similarity value for each program in the three aspects mentioned above. This research implements a convenient user interface that can be applied independently for assignment analyzation. Moreover, we have designed a set of application programming interface (API) that could be embedded into online course management systems.
{"title":"Intelligent code analyzer for online course management system","authors":"J. Kuo, Louisa Chu","doi":"10.1109/SERA.2005.47","DOIUrl":"https://doi.org/10.1109/SERA.2005.47","url":null,"abstract":"Online course management system (OCMS) mainly aids various events in online instructing, including testing, course discussion, assignment submission, and assignment grading. This paper is mainly designed basing on the study of completed OCMS of the past. Online assignment submission is prone to easy plagiarism, infecting the learning process of the students and interfering with their studies. In the past, using human power to inspect for plagiarism is very time-consuming. This research then is focused on allowing programming courses to employ procedures such as code standardization, textual analysis, structural analysis, and variable analysis, to evaluate and compare programming codes. We provide an intelligent agent as a daemon to analyze the program code for OCMS. Textually, we use document fingerprinting algorithm as a basis for text comparison; structurally, we utilize formal algebraic expression and dynamic control structure tree (DCS tree) to rebuild and evaluate the program structure; variable-wise, we not only record relevant information for each variable, but also analyze the programming structure where the variables are positioned. By applying a similarity measuring method, we output a similarity value for each program in the three aspects mentioned above. This research implements a convenient user interface that can be applied independently for assignment analyzation. Moreover, we have designed a set of application programming interface (API) that could be embedded into online course management systems.","PeriodicalId":424175,"journal":{"name":"Third ACIS Int'l Conference on Software Engineering Research, Management and Applications (SERA'05)","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-08-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115053228","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}
This paper proposes a new quantitative definition for software quality. The definition is based on the Taguchi philosophy for assessing and improving the quality of manufacturing processes. The Taguchi approach, originally developed for manufacturing processes, define quality in terms of "loss imparted to society " by a product after delivery of the product to the end user. To facilitate the use of the Taguchi definition, several "loss functions" have been developed. These loss functions allow quality to be quantitatively measured in monetary values (e.g. US dollars). To illustrate the application of the Taguchi definition to a software product, examples that utilize some of the loss functions are presented. The proposed definition of software quality shows good correlation to other popular qualitative and quantitative definitions for software quality.
{"title":"A quantitative supplement to the definition of software quality","authors":"K. Akingbehin","doi":"10.1109/SERA.2005.15","DOIUrl":"https://doi.org/10.1109/SERA.2005.15","url":null,"abstract":"This paper proposes a new quantitative definition for software quality. The definition is based on the Taguchi philosophy for assessing and improving the quality of manufacturing processes. The Taguchi approach, originally developed for manufacturing processes, define quality in terms of \"loss imparted to society \" by a product after delivery of the product to the end user. To facilitate the use of the Taguchi definition, several \"loss functions\" have been developed. These loss functions allow quality to be quantitatively measured in monetary values (e.g. US dollars). To illustrate the application of the Taguchi definition to a software product, examples that utilize some of the loss functions are presented. The proposed definition of software quality shows good correlation to other popular qualitative and quantitative definitions for software quality.","PeriodicalId":424175,"journal":{"name":"Third ACIS Int'l Conference on Software Engineering Research, Management and Applications (SERA'05)","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-08-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133356098","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}
We present a framework for the unifying high-level synthesis of tree-structured and iterative combinational networks. Based on the theory of list homomorphisms, we develop a standard implementation for tree-structured modules processing the input digits in parallel. The design is systematically specialized to iterative networks processing the input sequentially from the least resp. from the highest significant positions. Throughout the paper, we explicate functional methods for the transformational design of combinational circuits. We illustrate the approach with a parity generator module, a comparator module, and a priority resolution module.
{"title":"Designing combinational circuits with list homomorphisms","authors":"W. Dosch","doi":"10.3233/jcm-2005-5s103","DOIUrl":"https://doi.org/10.3233/jcm-2005-5s103","url":null,"abstract":"We present a framework for the unifying high-level synthesis of tree-structured and iterative combinational networks. Based on the theory of list homomorphisms, we develop a standard implementation for tree-structured modules processing the input digits in parallel. The design is systematically specialized to iterative networks processing the input sequentially from the least resp. from the highest significant positions. Throughout the paper, we explicate functional methods for the transformational design of combinational circuits. We illustrate the approach with a parity generator module, a comparator module, and a priority resolution module.","PeriodicalId":424175,"journal":{"name":"Third ACIS Int'l Conference on Software Engineering Research, Management and Applications (SERA'05)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-08-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131105161","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}