Pub Date : 1992-09-21DOI: 10.1109/CMPSAC.1992.217559
S. Yau, Doo-Hwan Bae, G. Pour
A partitioning approach for object-oriented software development in parallel processing systems is presented. The objective of the partitioning approach is to improve the overall performance of a software system by minimizing communication cost among objects. The software system is modeled by a graph, and a bottom-up clustering technique is presented to partition the objects into a set of clusters to achieve this objective.<>
{"title":"A partitioning approach for object-oriented software development for parallel processing systems","authors":"S. Yau, Doo-Hwan Bae, G. Pour","doi":"10.1109/CMPSAC.1992.217559","DOIUrl":"https://doi.org/10.1109/CMPSAC.1992.217559","url":null,"abstract":"A partitioning approach for object-oriented software development in parallel processing systems is presented. The objective of the partitioning approach is to improve the overall performance of a software system by minimizing communication cost among objects. The software system is modeled by a graph, and a bottom-up clustering technique is presented to partition the objects into a set of clusters to achieve this objective.<<ETX>>","PeriodicalId":286518,"journal":{"name":"[1992] Proceedings. The Sixteenth Annual International Computer Software and Applications Conference","volume":"296 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126628534","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 : 1992-09-21DOI: 10.1109/CMPSAC.1992.217564
S. Danforth
A precondition for integrating object-oriented and relational technologies is an integration of their respective models. A general approach to unifying the models is outlined. The essential features of the resulting model are that abstract data types (ADTs) provide the sole mechanism for encapsulating data and operations, an inheritance ordering on ADTs reflects common abstract interfaces and supports static typechecking, and there is a distinction between value and object ADT instances. Primitive data types provided by the model include atomic data and data structures. Instances of primitive data types are always values. An ADT is implemented using a primitive data type to store its state. What is normally in object-oriented terminology called a class, is called an ADT in the model discussed. Object-oriented databases (OODBs) often make use of class extents, which provide a useful indexing technique for objects. In the model discussed, extents appear as instances of ADTs whose state includes a set of objects plus a set of sub-extents.<>
{"title":"Integrating object and relational technologies","authors":"S. Danforth","doi":"10.1109/CMPSAC.1992.217564","DOIUrl":"https://doi.org/10.1109/CMPSAC.1992.217564","url":null,"abstract":"A precondition for integrating object-oriented and relational technologies is an integration of their respective models. A general approach to unifying the models is outlined. The essential features of the resulting model are that abstract data types (ADTs) provide the sole mechanism for encapsulating data and operations, an inheritance ordering on ADTs reflects common abstract interfaces and supports static typechecking, and there is a distinction between value and object ADT instances. Primitive data types provided by the model include atomic data and data structures. Instances of primitive data types are always values. An ADT is implemented using a primitive data type to store its state. What is normally in object-oriented terminology called a class, is called an ADT in the model discussed. Object-oriented databases (OODBs) often make use of class extents, which provide a useful indexing technique for objects. In the model discussed, extents appear as instances of ADTs whose state includes a set of objects plus a set of sub-extents.<<ETX>>","PeriodicalId":286518,"journal":{"name":"[1992] Proceedings. The Sixteenth Annual International Computer Software and Applications Conference","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127859784","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 : 1992-09-21DOI: 10.1109/CMPSAC.1992.217555
Akira Suganuma, Masato Kataoka, K. Araki
The authors describe the application of an artificial neural network (ANN) to represent the sense of taste. A taste sensor has been developed recently. Though the taste sensor responds to various taste substances, it was very difficult to map the responses to a concentration of each substance. The attempt to recognize the sensor response and map them to the concentration of the substances is described. When an analytical approach was applied to this problem, it did not bring about the desired effect. A method to estimate the strength of each taste substance with an ANN was successful. The results of the experiment are presented.<>
{"title":"Application of a neural network to human tasting","authors":"Akira Suganuma, Masato Kataoka, K. Araki","doi":"10.1109/CMPSAC.1992.217555","DOIUrl":"https://doi.org/10.1109/CMPSAC.1992.217555","url":null,"abstract":"The authors describe the application of an artificial neural network (ANN) to represent the sense of taste. A taste sensor has been developed recently. Though the taste sensor responds to various taste substances, it was very difficult to map the responses to a concentration of each substance. The attempt to recognize the sensor response and map them to the concentration of the substances is described. When an analytical approach was applied to this problem, it did not bring about the desired effect. A method to estimate the strength of each taste substance with an ANN was successful. The results of the experiment are presented.<<ETX>>","PeriodicalId":286518,"journal":{"name":"[1992] Proceedings. The Sixteenth Annual International Computer Software and Applications Conference","volume":"47 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127922880","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 : 1992-09-21DOI: 10.1109/CMPSAC.1992.217596
J. B. Thompson, H. Edwards
The authors outline the problems associated with software production and details how the STePS method can alleviate them. They provide an overview of STePS as a method for developing systems beyond the logical design stage into detailed program design and implementation. This method operates on the products of a systems design method to identify the programs in a system. It then uses well-established design techniques to develop the specification for the software components that will comprise these programs. The need for comprehensive program specifications to facilitate the design/implementation interface is explained and the contents of the different forms of STePS specifications are outlined. The beneficial effects which the use of STePS can have in the areas of quality assurance, control, project management, and configuration management are presented.<>
{"title":"How the use of the STePS method can improve software quality and aid project management","authors":"J. B. Thompson, H. Edwards","doi":"10.1109/CMPSAC.1992.217596","DOIUrl":"https://doi.org/10.1109/CMPSAC.1992.217596","url":null,"abstract":"The authors outline the problems associated with software production and details how the STePS method can alleviate them. They provide an overview of STePS as a method for developing systems beyond the logical design stage into detailed program design and implementation. This method operates on the products of a systems design method to identify the programs in a system. It then uses well-established design techniques to develop the specification for the software components that will comprise these programs. The need for comprehensive program specifications to facilitate the design/implementation interface is explained and the contents of the different forms of STePS specifications are outlined. The beneficial effects which the use of STePS can have in the areas of quality assurance, control, project management, and configuration management are presented.<<ETX>>","PeriodicalId":286518,"journal":{"name":"[1992] Proceedings. The Sixteenth Annual International Computer Software and Applications Conference","volume":"40 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121987153","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 : 1992-09-21DOI: 10.1109/CMPSAC.1992.217567
M.-Y. Zhu, C.-W. Wang
The authors present a proof development system called PowerEpsilon, based on a constructive type theory which can be used as a formal program development system for deriving a program from a specification. PowerEpsilon is a polymorphic language based on Martin-Lof's type theory and the calculus of constructions. In PowerEpsilon, the concept of limit of type universe hierarchies and a scheme for inductive define types are introduced. The system can be used as both a programming language with a very rich set of data structures and a metalanguage for formalizing constructive mathematics. The system has been implemented. A programming exercise is given to show how the system works.<>
{"title":"Program derivation in PowerEpsilon","authors":"M.-Y. Zhu, C.-W. Wang","doi":"10.1109/CMPSAC.1992.217567","DOIUrl":"https://doi.org/10.1109/CMPSAC.1992.217567","url":null,"abstract":"The authors present a proof development system called PowerEpsilon, based on a constructive type theory which can be used as a formal program development system for deriving a program from a specification. PowerEpsilon is a polymorphic language based on Martin-Lof's type theory and the calculus of constructions. In PowerEpsilon, the concept of limit of type universe hierarchies and a scheme for inductive define types are introduced. The system can be used as both a programming language with a very rich set of data structures and a metalanguage for formalizing constructive mathematics. The system has been implemented. A programming exercise is given to show how the system works.<<ETX>>","PeriodicalId":286518,"journal":{"name":"[1992] Proceedings. The Sixteenth Annual International Computer Software and Applications Conference","volume":"61 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124752152","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 : 1992-09-21DOI: 10.1109/CMPSAC.1992.217551
J. Tsai, Ray-Yuan Sheu, Bing Li
The authors present a framework for a transformation system which can transform a nonmonotonic logic-based specification language, FRORL, into various kinds of procedural language programs. They discuss how to handle nonmonotonic inheritance in FRORL. A matrix-based data flow and dependency analysis mechanism is established to find all the possible data transformation paths in a logic-based specification. An algorithm is proposed to adjust the execution sequence of a logic-based specification so that the functions included in the logic-based specification can be represented by a procedural language program.<>
{"title":"A framework of a logic-based transformation system","authors":"J. Tsai, Ray-Yuan Sheu, Bing Li","doi":"10.1109/CMPSAC.1992.217551","DOIUrl":"https://doi.org/10.1109/CMPSAC.1992.217551","url":null,"abstract":"The authors present a framework for a transformation system which can transform a nonmonotonic logic-based specification language, FRORL, into various kinds of procedural language programs. They discuss how to handle nonmonotonic inheritance in FRORL. A matrix-based data flow and dependency analysis mechanism is established to find all the possible data transformation paths in a logic-based specification. An algorithm is proposed to adjust the execution sequence of a logic-based specification so that the functions included in the logic-based specification can be represented by a procedural language program.<<ETX>>","PeriodicalId":286518,"journal":{"name":"[1992] Proceedings. The Sixteenth Annual International Computer Software and Applications Conference","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131636140","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 : 1992-09-21DOI: 10.1109/CMPSAC.1992.217595
M. Aoyama, Masami Nakamura, S. Kawajiri, Kousuke Takahashi, Takanori Hashizume, T. Komuro
The authors propose a development process model and support environment for developing intelligent business communication services and other evolving communication services. To increase customer satisfaction and cut development time, they have developed a development process model, distributed concurrent development, in which multiple services are concurrently developed at a number of regionally distributed development centers. To support the process model, the ICAROS tool was developed, where developers and customers can cooperatively define service specifications with a visual object-oriented specification language. To smoothly migrate existing communication service to assets into intelligent network services, ICAROS supports the cyclic process model, which integrates forward engineering and reverse engineering, together with amplifier concept, which augments human ability on a groupware platform. Experimental use of ICAROS revealed the positive effect of proposed approach.<>
{"title":"A distributed cooperative CASE environment for communications software","authors":"M. Aoyama, Masami Nakamura, S. Kawajiri, Kousuke Takahashi, Takanori Hashizume, T. Komuro","doi":"10.1109/CMPSAC.1992.217595","DOIUrl":"https://doi.org/10.1109/CMPSAC.1992.217595","url":null,"abstract":"The authors propose a development process model and support environment for developing intelligent business communication services and other evolving communication services. To increase customer satisfaction and cut development time, they have developed a development process model, distributed concurrent development, in which multiple services are concurrently developed at a number of regionally distributed development centers. To support the process model, the ICAROS tool was developed, where developers and customers can cooperatively define service specifications with a visual object-oriented specification language. To smoothly migrate existing communication service to assets into intelligent network services, ICAROS supports the cyclic process model, which integrates forward engineering and reverse engineering, together with amplifier concept, which augments human ability on a groupware platform. Experimental use of ICAROS revealed the positive effect of proposed approach.<<ETX>>","PeriodicalId":286518,"journal":{"name":"[1992] Proceedings. The Sixteenth Annual International Computer Software and Applications Conference","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132421816","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 : 1992-09-21DOI: 10.1109/CMPSAC.1992.217611
H. Wedde, B. Cheng, D. Gries, N. Shankar, Kwei-Jay Lin, M. Ardis
The relevance of formal methods for practical software system design is discussed. Prominent representatives of formal approaches present their findings and experience about the use and the usefulness of formal methods. It has been proposed that all programmers would be more productive and produce higher quality products if they would learn two things: predicate calculus; and program correctness (including formal program development). It is argued that the complexity, pervasiveness, and critical nature of modern and future computer systems makes it imperative that such systems be engineered for reliability and maintainability. Formal methods constitute an extremely promising approach to the design of reliable systems. The schedulability aspect of real-time system development is discussed. In general, formal methods should be preferred over other less formal methods since they can provide much better and stronger guarantees on real-time system performance.<>
{"title":"Are formal methods useful for software development?","authors":"H. Wedde, B. Cheng, D. Gries, N. Shankar, Kwei-Jay Lin, M. Ardis","doi":"10.1109/CMPSAC.1992.217611","DOIUrl":"https://doi.org/10.1109/CMPSAC.1992.217611","url":null,"abstract":"The relevance of formal methods for practical software system design is discussed. Prominent representatives of formal approaches present their findings and experience about the use and the usefulness of formal methods. It has been proposed that all programmers would be more productive and produce higher quality products if they would learn two things: predicate calculus; and program correctness (including formal program development). It is argued that the complexity, pervasiveness, and critical nature of modern and future computer systems makes it imperative that such systems be engineered for reliability and maintainability. Formal methods constitute an extremely promising approach to the design of reliable systems. The schedulability aspect of real-time system development is discussed. In general, formal methods should be preferred over other less formal methods since they can provide much better and stronger guarantees on real-time system performance.<<ETX>>","PeriodicalId":286518,"journal":{"name":"[1992] Proceedings. The Sixteenth Annual International Computer Software and Applications Conference","volume":"55 38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124759057","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 : 1992-09-21DOI: 10.1109/CMPSAC.1992.217561
R. H. Bourdeau, B. Cheng
The authors discuss Spectacle, an object-oriented library of software components designed for constructing language-based, graphical, specification editors. Spectacle provides the programmer with a basic toolkit for building an X-Window editor: minimal knowledge of both C++ and the X-Window graphical environment is assumed. The editing tools that are derived from Spectacle can be implemented as stand-alone editors are integrated into larger-scale software development environments. Spectacle editors are syntax-directed and menu driven. The authors outline the basic structure of the library and examine each software component separately. The user-interface model provided by Spectacle is described. Two example prototype editors are presented.<>
{"title":"An object-oriented toolkit for constructing specification editors","authors":"R. H. Bourdeau, B. Cheng","doi":"10.1109/CMPSAC.1992.217561","DOIUrl":"https://doi.org/10.1109/CMPSAC.1992.217561","url":null,"abstract":"The authors discuss Spectacle, an object-oriented library of software components designed for constructing language-based, graphical, specification editors. Spectacle provides the programmer with a basic toolkit for building an X-Window editor: minimal knowledge of both C++ and the X-Window graphical environment is assumed. The editing tools that are derived from Spectacle can be implemented as stand-alone editors are integrated into larger-scale software development environments. Spectacle editors are syntax-directed and menu driven. The authors outline the basic structure of the library and examine each software component separately. The user-interface model provided by Spectacle is described. Two example prototype editors are presented.<<ETX>>","PeriodicalId":286518,"journal":{"name":"[1992] Proceedings. The Sixteenth Annual International Computer Software and Applications Conference","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129800025","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 : 1992-09-21DOI: 10.1109/CMPSAC.1992.217560
J. Keane, W. Hussak
The authors report on the use of formal methods for the development of parallel operating systems for two experimental declarative systems over a five-year period. A common specification approach has evolved as part of the development of these two very different systems: one being for a parallel graph reduction machine and written in a functional language enhanced with state-based objects, the other was written in C/sup ++/. A brief overview of each system is given before concentrating on the use of formal methods. A description is given of how both a technique for formally specifying sequential systems (VDM) and a technique for specifying concurrent systems (temporal logic) have been used together. In both cases, the issue of verification is addressed.<>
{"title":"The use of formal methods in parallel operating systems","authors":"J. Keane, W. Hussak","doi":"10.1109/CMPSAC.1992.217560","DOIUrl":"https://doi.org/10.1109/CMPSAC.1992.217560","url":null,"abstract":"The authors report on the use of formal methods for the development of parallel operating systems for two experimental declarative systems over a five-year period. A common specification approach has evolved as part of the development of these two very different systems: one being for a parallel graph reduction machine and written in a functional language enhanced with state-based objects, the other was written in C/sup ++/. A brief overview of each system is given before concentrating on the use of formal methods. A description is given of how both a technique for formally specifying sequential systems (VDM) and a technique for specifying concurrent systems (temporal logic) have been used together. In both cases, the issue of verification is addressed.<<ETX>>","PeriodicalId":286518,"journal":{"name":"[1992] Proceedings. The Sixteenth Annual International Computer Software and Applications Conference","volume":"46 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124302755","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
扫码关注我们
求助内容：
应助结果提醒方式：