Pub Date : 1997-03-24DOI: 10.1109/ECBS.1997.581884
O. Heitbreder, B. Kleinjohann, L. Kleinjohann, J. Tacken
This paper demonstrates how design assistance for engineering processes of computer based systems is realized with the SEA-Environment. SEA allows to specify engineering processes in an unambiguous way using extended Predicate/Transition Nets (Pr/T Nets) as the underlying formal model. Since Pr/T Nets are executable, tool support for a design process is realized easily via simulation of the process specification. By linking a user defined abstract graphical representation to the Pr/T Net, the interface of a design assistant can be tailored to the needs and preferences of engineers. Furthermore, artificial neural networks are integrated into the SEA-Environment. Neural networks provide learning facilities, that allow decision making during a design process, for instance the selection of an appropriate tool and its parameters among a set of alternatives, automatically. An advantage of this approach is that the huge amount of knowledge needed for various decisions does not have to be acquired a priori but can be gathered during the use of an engineering environment.
{"title":"Intelligent design assistance with SEA","authors":"O. Heitbreder, B. Kleinjohann, L. Kleinjohann, J. Tacken","doi":"10.1109/ECBS.1997.581884","DOIUrl":"https://doi.org/10.1109/ECBS.1997.581884","url":null,"abstract":"This paper demonstrates how design assistance for engineering processes of computer based systems is realized with the SEA-Environment. SEA allows to specify engineering processes in an unambiguous way using extended Predicate/Transition Nets (Pr/T Nets) as the underlying formal model. Since Pr/T Nets are executable, tool support for a design process is realized easily via simulation of the process specification. By linking a user defined abstract graphical representation to the Pr/T Net, the interface of a design assistant can be tailored to the needs and preferences of engineers. Furthermore, artificial neural networks are integrated into the SEA-Environment. Neural networks provide learning facilities, that allow decision making during a design process, for instance the selection of an appropriate tool and its parameters among a set of alternatives, automatically. An advantage of this approach is that the huge amount of knowledge needed for various decisions does not have to be acquired a priori but can be gathered during the use of an engineering environment.","PeriodicalId":240356,"journal":{"name":"Proceedings International Conference and Workshop on Engineering of Computer-Based Systems","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-03-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122010593","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 : 1997-03-24DOI: 10.1109/ECBS.1997.581833
V. Srivastava, W. Farr, Walter Ellis
A scheme for implementing measures for a software reliability measurement program based on IEEE standard 982.1 is described for two software procurement programs. The success of the measurement program has been demonstrated based on the fitting of the selected reliability growth models to the sub-set of the site acceptance testing data collected on one of the programs.
{"title":"Experience with the use of standard IEEE 982.1 on software programs","authors":"V. Srivastava, W. Farr, Walter Ellis","doi":"10.1109/ECBS.1997.581833","DOIUrl":"https://doi.org/10.1109/ECBS.1997.581833","url":null,"abstract":"A scheme for implementing measures for a software reliability measurement program based on IEEE standard 982.1 is described for two software procurement programs. The success of the measurement program has been demonstrated based on the fitting of the selected reliability growth models to the sub-set of the site acceptance testing data collected on one of the programs.","PeriodicalId":240356,"journal":{"name":"Proceedings International Conference and Workshop on Engineering of Computer-Based Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-03-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130081922","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 : 1997-03-24DOI: 10.1109/ECBS.1997.581904
W. Jacak, Andreas Wintersteiger, J. Rozenblit
In this paper we present a method and a tool for modelling a teletraining session in heterogenous, distributed open environments. We propose a mathematical notion for the training process. Therefore we divide a whole training session into presentation units, define some relations on these units and develop a controller for running the session. Units consist of multimedia objects, such as text, graphics, video and audio, which have to be displayed with time and space synchronisation and coordination. In a related project at the Department of Software Engineering at the Upper Austria Polytechnic University a tool for modelling and running such teletraining sessions was developed. It is based on the herein defined formalism and compiles well defined unit models into JAVAT/sup TM/ code, which can be executed by usual WEB-Browsers.
{"title":"System engineering based design and control of teletraining sessions in an open environment","authors":"W. Jacak, Andreas Wintersteiger, J. Rozenblit","doi":"10.1109/ECBS.1997.581904","DOIUrl":"https://doi.org/10.1109/ECBS.1997.581904","url":null,"abstract":"In this paper we present a method and a tool for modelling a teletraining session in heterogenous, distributed open environments. We propose a mathematical notion for the training process. Therefore we divide a whole training session into presentation units, define some relations on these units and develop a controller for running the session. Units consist of multimedia objects, such as text, graphics, video and audio, which have to be displayed with time and space synchronisation and coordination. In a related project at the Department of Software Engineering at the Upper Austria Polytechnic University a tool for modelling and running such teletraining sessions was developed. It is based on the herein defined formalism and compiles well defined unit models into JAVAT/sup TM/ code, which can be executed by usual WEB-Browsers.","PeriodicalId":240356,"journal":{"name":"Proceedings International Conference and Workshop on Engineering of Computer-Based Systems","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-03-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127450393","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 : 1997-03-24DOI: 10.1109/ECBS.1997.581914
M. Mrva, M. Heuchling, W. Ecker
Analysis of various development models has shown that there are aspects of the development of IT systems that are viewed in undiffferentiated form. Differentiation of the development process into the problem perception process and the problem mapping, plus the distinction between specification, prototype and test information forms the subject matter of the first part of this publication. In the second part, we will be addressing the relationships between the expressions as already delineated, and elucidating them by means of a new model-the Shall Prototype Test Development Model. The important aspect here is the introduction of the new expression Shall (elementary unit within a specification) plus a representation of the shall-centered approach to the development of prototypes, test procedures, and the reuse of solutions already devised. Use of the development model described here allows us to anticipate stringent development of hardware or software systems.
{"title":"The Shall-Prototype-Test Development model","authors":"M. Mrva, M. Heuchling, W. Ecker","doi":"10.1109/ECBS.1997.581914","DOIUrl":"https://doi.org/10.1109/ECBS.1997.581914","url":null,"abstract":"Analysis of various development models has shown that there are aspects of the development of IT systems that are viewed in undiffferentiated form. Differentiation of the development process into the problem perception process and the problem mapping, plus the distinction between specification, prototype and test information forms the subject matter of the first part of this publication. In the second part, we will be addressing the relationships between the expressions as already delineated, and elucidating them by means of a new model-the Shall Prototype Test Development Model. The important aspect here is the introduction of the new expression Shall (elementary unit within a specification) plus a representation of the shall-centered approach to the development of prototypes, test procedures, and the reuse of solutions already devised. Use of the development model described here allows us to anticipate stringent development of hardware or software systems.","PeriodicalId":240356,"journal":{"name":"Proceedings International Conference and Workshop on Engineering of Computer-Based Systems","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-03-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115601678","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 : 1997-03-24DOI: 10.1109/ECBS.1997.581870
T. Shih, C. Chung, Chun-Chia Wang, W. Pai
Software metrics are widely used to measure software complexity and assure software quality. However, research in the field of software complexity measurement of a class hierarchy has not yet been carefully studied. The authors introduce a novel factor called unit repeated inheritance (URI) and an important method called the inheritance level technique (ILT) to realize and measure the object-oriented software complexity of a class hierarchy. The approach is based on the graph-theoretical model for measuring the hierarchical complexity in inheritance relations. The proposed metrics extraction shows that inheritance is closely related to the object-oriented software measurement and reveals that overuse of the repeated (multiple) inheritance will increase software complexity and be prone to implicit software errors.
{"title":"Decomposition of inheritance hierarchy DAGs for object-oriented software metrics","authors":"T. Shih, C. Chung, Chun-Chia Wang, W. Pai","doi":"10.1109/ECBS.1997.581870","DOIUrl":"https://doi.org/10.1109/ECBS.1997.581870","url":null,"abstract":"Software metrics are widely used to measure software complexity and assure software quality. However, research in the field of software complexity measurement of a class hierarchy has not yet been carefully studied. The authors introduce a novel factor called unit repeated inheritance (URI) and an important method called the inheritance level technique (ILT) to realize and measure the object-oriented software complexity of a class hierarchy. The approach is based on the graph-theoretical model for measuring the hierarchical complexity in inheritance relations. The proposed metrics extraction shows that inheritance is closely related to the object-oriented software measurement and reveals that overuse of the repeated (multiple) inheritance will increase software complexity and be prone to implicit software errors.","PeriodicalId":240356,"journal":{"name":"Proceedings International Conference and Workshop on Engineering of Computer-Based Systems","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-03-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131677350","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 : 1997-03-24DOI: 10.1109/ECBS.1997.581901
M. Svéda, O. Babka, Jana Freeburn
The paper deals with the design and development of a dedicated LAN-based industrial measurement application as a Computer-Based System (CBS). The conception of this system promotes a knowledge preserving, graceful conversion of the original enterprise practice into a co-operative work support arrangement. The principal paradigm employed for this conversion is case-based reasoning.
{"title":"Knowledge preserving development: a case study","authors":"M. Svéda, O. Babka, Jana Freeburn","doi":"10.1109/ECBS.1997.581901","DOIUrl":"https://doi.org/10.1109/ECBS.1997.581901","url":null,"abstract":"The paper deals with the design and development of a dedicated LAN-based industrial measurement application as a Computer-Based System (CBS). The conception of this system promotes a knowledge preserving, graceful conversion of the original enterprise practice into a co-operative work support arrangement. The principal paradigm employed for this conversion is case-based reasoning.","PeriodicalId":240356,"journal":{"name":"Proceedings International Conference and Workshop on Engineering of Computer-Based Systems","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-03-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127530447","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 : 1997-03-24DOI: 10.1109/ECBS.1997.581943
M. Kidd
The goal is to provide a high level of confidence that critical software driven event sequences are maintained in the face of hardware failures and harsh or unstable operating environments. The technical approach includes in-situ (embedded in the software) dynamic (run-time) fault management for ensuring critical event sequences in high consequence software. Our method is based on deriving a mathematical description of the critical software controlled event sequence, embedding checkpoints and update points around the critical events into the target code, and adding a module that implements the functionality of the underlying mathematical model. This methodology is inspired by previous work in path expressions. This paper discusses the perceived problems, a brief overview of path expressions, the proposed methods, and a discussion of the differences between the proposed methods and traditional path expression usage and implementation.
{"title":"Ensuring critical event sequences in high consequence computer based systems as inspired by path expressions","authors":"M. Kidd","doi":"10.1109/ECBS.1997.581943","DOIUrl":"https://doi.org/10.1109/ECBS.1997.581943","url":null,"abstract":"The goal is to provide a high level of confidence that critical software driven event sequences are maintained in the face of hardware failures and harsh or unstable operating environments. The technical approach includes in-situ (embedded in the software) dynamic (run-time) fault management for ensuring critical event sequences in high consequence software. Our method is based on deriving a mathematical description of the critical software controlled event sequence, embedding checkpoints and update points around the critical events into the target code, and adding a module that implements the functionality of the underlying mathematical model. This methodology is inspired by previous work in path expressions. This paper discusses the perceived problems, a brief overview of path expressions, the proposed methods, and a discussion of the differences between the proposed methods and traditional path expression usage and implementation.","PeriodicalId":240356,"journal":{"name":"Proceedings International Conference and Workshop on Engineering of Computer-Based Systems","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-03-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116984926","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 : 1997-03-24DOI: 10.1109/ECBS.1997.581903
David Rowe, J. Leaney
System evolvability is a system's ability to withstand changes in its requirements, environment and implementation technologies. The need for greater systems evolvability is becoming recognised, especially in the engineering of computer based systems, where the development, commissioning and replacement of large systems is highly resource intensive. Despite this need, there are no formal means for evaluating the evolvability of a system and thus no means of proving that one system is more evolvable than another. Recognising this, we review the nature of change and evolution with respect to computer based systems. We contend that a systems architecture is the best level of abstraction at which to evaluate its evolvability. An ontological basis which allows for the formal definition of a system and its change at the architectural level is presented and applied to the domain of computer based systems engineering. Utilising this definition of change we draw on the deeper ontological theories in order to establish a model of systems architecture evolution. This model is then applied to a small CBS for concept validation.
{"title":"Evaluating evolvability of computer based systems architectures-an ontological approach","authors":"David Rowe, J. Leaney","doi":"10.1109/ECBS.1997.581903","DOIUrl":"https://doi.org/10.1109/ECBS.1997.581903","url":null,"abstract":"System evolvability is a system's ability to withstand changes in its requirements, environment and implementation technologies. The need for greater systems evolvability is becoming recognised, especially in the engineering of computer based systems, where the development, commissioning and replacement of large systems is highly resource intensive. Despite this need, there are no formal means for evaluating the evolvability of a system and thus no means of proving that one system is more evolvable than another. Recognising this, we review the nature of change and evolution with respect to computer based systems. We contend that a systems architecture is the best level of abstraction at which to evaluate its evolvability. An ontological basis which allows for the formal definition of a system and its change at the architectural level is presented and applied to the domain of computer based systems engineering. Utilising this definition of change we draw on the deeper ontological theories in order to establish a model of systems architecture evolution. This model is then applied to a small CBS for concept validation.","PeriodicalId":240356,"journal":{"name":"Proceedings International Conference and Workshop on Engineering of Computer-Based Systems","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-03-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128757012","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 : 1997-03-24DOI: 10.1109/ECBS.1997.581823
F. Kurfess, Mrinalini Lankala, Ashok Vantipalli, L. Welch
This paper describes a set of tools for the reengineering of computer-based systems, in particular software. The toolset is based on an abstract intermediate representation (IR) which incorporates the system software architecture at five level of granularity: program level, task level, package/object instance level, subprogram level and statement level. The toolset provides a graphical user interface that allows various views of a software architecture, including call graph, rendezvous graph, call-rendezvous graph, call-data-rendezvous graph, control flow graph and dependence graphs. The information captured by the toolset is useful in software structure, flow and interaction analysis, tasks commonly performed manually during maintenance and reengineering. This information is also helpful for understanding the software design to guide software transformation, and for porting software to distributed platforms.
{"title":"A toolset for the reengineering of complex computer systems","authors":"F. Kurfess, Mrinalini Lankala, Ashok Vantipalli, L. Welch","doi":"10.1109/ECBS.1997.581823","DOIUrl":"https://doi.org/10.1109/ECBS.1997.581823","url":null,"abstract":"This paper describes a set of tools for the reengineering of computer-based systems, in particular software. The toolset is based on an abstract intermediate representation (IR) which incorporates the system software architecture at five level of granularity: program level, task level, package/object instance level, subprogram level and statement level. The toolset provides a graphical user interface that allows various views of a software architecture, including call graph, rendezvous graph, call-rendezvous graph, call-data-rendezvous graph, control flow graph and dependence graphs. The information captured by the toolset is useful in software structure, flow and interaction analysis, tasks commonly performed manually during maintenance and reengineering. This information is also helpful for understanding the software design to guide software transformation, and for porting software to distributed platforms.","PeriodicalId":240356,"journal":{"name":"Proceedings International Conference and Workshop on Engineering of Computer-Based Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-03-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130024520","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 : 1997-03-24DOI: 10.1109/ECBS.1997.581817
Yufeng F. Chen, W. G. Howe, N. Warsi
Software reuse is a complex subject that is highly knowledge-intensive. The study of software reuse must focus not only on the problems related to developing reusable components, but also the problems that incorporate previously defined reusable components. To address these overall complexity problems, this paper first identifies four complexity issues for the engineering of large-scale software reuse: acquisition, classification, representation, and retrieval. A multimodeling framework is proposed where each component is defined via four different generic models. Incorporating all of these models into a single reuse framework allows the users to focus on their particular viewpoint and, therefore, provide a single system that directly addresses the complexity issues associated with reuse. The development of this proposed framework has been implemented in a proof-of-concept reuse system prototype.
{"title":"A multimodeling framework for complex software reuse","authors":"Yufeng F. Chen, W. G. Howe, N. Warsi","doi":"10.1109/ECBS.1997.581817","DOIUrl":"https://doi.org/10.1109/ECBS.1997.581817","url":null,"abstract":"Software reuse is a complex subject that is highly knowledge-intensive. The study of software reuse must focus not only on the problems related to developing reusable components, but also the problems that incorporate previously defined reusable components. To address these overall complexity problems, this paper first identifies four complexity issues for the engineering of large-scale software reuse: acquisition, classification, representation, and retrieval. A multimodeling framework is proposed where each component is defined via four different generic models. Incorporating all of these models into a single reuse framework allows the users to focus on their particular viewpoint and, therefore, provide a single system that directly addresses the complexity issues associated with reuse. The development of this proposed framework has been implemented in a proof-of-concept reuse system prototype.","PeriodicalId":240356,"journal":{"name":"Proceedings International Conference and Workshop on Engineering of Computer-Based Systems","volume":"56 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-03-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116732196","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
扫码关注我们
求助内容：
应助结果提醒方式：