Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 36241)最新文献

{"title":"Siemens process assessment and improvement approaches: experiences and benefits","authors":"T. Messer, P. Paul, Frances Paulisch, P. Schless, T. Mehner, Axel Völker","doi":"10.1109/CMPSAC.1998.716655","DOIUrl":"https://doi.org/10.1109/CMPSAC.1998.716655","url":null,"abstract":"The paper reports on Siemens' extensive experience with process assessments and improvements in a wide variety products and systems, be they software, hardware, or some combination thereof. The Siemens Process Assessments are based on the Capability Maturity Model (CMM) and the BOOTSTRAP approach together with Siemens-specific refinements and extensions, especially for the engineering disciplines. They are significantly more detailed as well as being move focused than other assessment approaches on the business needs of the assessed organization. The authors summarize the lessons learned. In particular they focus on how improvement projects are identified and initiated on the basis of Siemens Process Assessments, and how improvement projects are established as projects within the operating divisions. They describe the challenges that arise and how they can be met.","PeriodicalId":252030,"journal":{"name":"Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 36241)","volume":"718 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116976326","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}

{"title":"Software architectural modeling of the CORBA Object Transaction Service","authors":"Susanne Busse, S. Tai","doi":"10.1109/CMPSAC.1998.716661","DOIUrl":"https://doi.org/10.1109/CMPSAC.1998.716661","url":null,"abstract":"The OMG's Object Transaction Service (OTS) is an important CORBAService that provides transaction processing facilities on top of object request broker technology. With the OTS, specific interfaces and interaction models are introduced that intrinsically impact the design of single components and of component configurations that are to participate in transactional computation. We argue to record impacts as introduced by the OTS as distinct abstractions of design, and propose a software architectural approach to software system representation. We present a pattern-like connector abstraction for one processing model of the OTS, and discuss its use for modeling CORBA applications that interface the OTS. Using our concepts of connector and component abstractions, a vocabulary of design can be established, and design rationales for introducing component features can be well recorded, supporting continuous development of ORB-based systems.","PeriodicalId":252030,"journal":{"name":"Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 36241)","volume":"39 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114923971","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}

{"title":"A fresh look at programming-in-the-large","authors":"W. Cazzola, A. Savigni, A. Sosio, F. Tisato","doi":"10.1109/CMPSAC.1998.716703","DOIUrl":"https://doi.org/10.1109/CMPSAC.1998.716703","url":null,"abstract":"Realizing a shift of software engineering towards a component based approach to software development requires the development of higher level programming systems supporting the development of systems from components. The paper presents a novel approach to the design of large software systems where a program in the large describing the system's architecture is executed at run time to rule over the assembly and dynamic cooperation of components. This approach has several advantages following from a clean separation of concerns between programming in the small and programming in the large issues in instantiated systems.","PeriodicalId":252030,"journal":{"name":"Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 36241)","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129695201","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}

{"title":"Directions for software technology","authors":"M. Boasson","doi":"10.1109/CMPSAC.1998.716747","DOIUrl":"https://doi.org/10.1109/CMPSAC.1998.716747","url":null,"abstract":"Software technology is in a sad state: many great promises and huge efforts have led nowhere. Continuation along the same lines will lead to disaster. Radical change, both in the application of available technology, and in the development of new technology are necessary.","PeriodicalId":252030,"journal":{"name":"Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 36241)","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129044651","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}

{"title":"Validating requirements: the evolutionary approach","authors":"M. Lemoine, D. Marre, P. Thuillier, J. Wippler","doi":"10.1109/CMPSAC.1998.716696","DOIUrl":"https://doi.org/10.1109/CMPSAC.1998.716696","url":null,"abstract":"Industrial practices in requirements engineering do not give the right place to formal methods. Two main reasons explain why such a failure arises. First of all, formal methods have not promoted a dedicated SLC (software life cycle) which should have been easily integrated within the upper phases of the traditional V-like or Waterfall-like model. A second reason is that formal methods have failed in scaling up. We show how the requirements elicitation phase can take advantage of formal methods. We report the industrial and successful experience (D. Gianazza et al., 1997) undertaken by the STNA, a governmental office responsible for the French ATM (air traffic management) system. We exhibit the evolutionary model which was applied to develop both a validated object oriented model of a particular ATM subsystem, and a formal specification of some of its safety critical parts. We then show that the SRD (Software Requirements Document) is the key of the whole development. Its writing requires a strongly related cooperation of two different teams that are effective actors of the evolutionary model. We conclude the paper by presenting some recommendations.","PeriodicalId":252030,"journal":{"name":"Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 36241)","volume":"70 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130152967","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}

{"title":"Application of design patterns for the self-development of a Java preprocessor","authors":"M. Komuro, Akefumi Kumeta","doi":"10.1109/CMPSAC.1998.716676","DOIUrl":"https://doi.org/10.1109/CMPSAC.1998.716676","url":null,"abstract":"An application of design patterns in the domain of language processing is presented. The target of the paper is a Java preprocessor which enables one, not only to add new features to the Java language but also to rewrite existing Java programs. Making use of several design patterns, including Reflection Architectural Pattern, we successfully create a framework for language processing in Java. In particular we design and implement a core language extension of Java so that self development and maintenance of the framework are possible. Several applications of the Java preprocessor and the framework are described, which include enumeration type definition, method tracer, and generic type definition mechanism.","PeriodicalId":252030,"journal":{"name":"Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 36241)","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128528333","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}

{"title":"CORBA in advanced intelligent networks and service creation environments","authors":"Michael McKee","doi":"10.1109/CMPSAC.1998.716641","DOIUrl":"https://doi.org/10.1109/CMPSAC.1998.716641","url":null,"abstract":"The purpose of the paper is to establish a set of conceptual models and paradigms that apply to the newest technology employed in ESS class switches. The author examines how Common Object Reference Brokerage Architecture (CORBA) creates more effective processes and services within ESS, based upon object oriented programming paradigms.","PeriodicalId":252030,"journal":{"name":"Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 36241)","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126487119","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}

{"title":"Naming: design pattern and framework","authors":"António Rito Silva, P. Sousa, Miguel Antunes","doi":"10.1109/CMPSAC.1998.716674","DOIUrl":"https://doi.org/10.1109/CMPSAC.1998.716674","url":null,"abstract":"Naming is an important, but frequently overlooked, aspect of software systems. Naming is usually combined with other issues, e.g. distributed communication technology. The paper treats naming in isolation. It presents a naming design pattern which abstracts several naming policies and an object-oriented framework that can be customized to support naming policies. An applications designer can choose the correct naming properties (relative, absolute, universal identifiers, etc.) to refer to specific objects.","PeriodicalId":252030,"journal":{"name":"Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 36241)","volume":"47 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131889122","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}

{"title":"Position Statement: Testing Complex Systems","authors":"P. Grabow","doi":"10.1109/CMPSAC.1998.716631","DOIUrl":"https://doi.org/10.1109/CMPSAC.1998.716631","url":null,"abstract":"Testing has become more difficult since the early days of computing. However, the nature of the difficulty may not be so obvious. Therefore it is helpful to consider the questions that the testing process has traditionally addressed: 1) What constitutes the system? 2) How should the system behave? and 3) How will the environment interact with the system? For some of today's systems, however, it may not be possible to adequately answer one or more of them -greatly complicating the testing process. In the early days of mainframe computing, usually the system boundary was obvious and the environment was constrained, e.g., confined to a room. And the system developer was not far removed from the user. Testing -although not always easy --was at least manageable. Today, though, the boundary of a complex system (e.g., wireless telecommunications) may change over time or it may not always be identifiable. Consequently, the system specification itself becomes problematic. How can you adequately specify the behavior of something that does not have definite boundaries? The quality of the testing process has traditionally been tied to the definition of the system and its environment. In a broad sense, testing compares the implemented system to its specification (i.e., verification) and to the expectations of the environment/user (i.e., validation) [1]. If an adequate specification does not exist -or a sufficient description of the environment is not possible -how can these comparisons be made? Suppose, however, that the system boundary is identifiable. Even here, though, an adequate specification may not be feasible. The behavior of the system may be so complicated that its specification is too difficult to understand -beyond the abilities of the developer. For example, it may be impossible to determine if the specification is internally consistent and/or reasonably complete. This complexity may be unintentional -increasing over time via a myriad of modifications and requirements that are beyond the control of the developer. The current air traffic control system is an example [2]. How can a sufficient testing strategy be constructed based on a specification that may be internally inconsistent and incomplete? The system specification is also a problem when the \"system\" utilizes existing systems. For instance, thousands of financial systems use the Global Positioning System (GPS) for their time calculations because they require the accuracy of the GPS to calculate interest on multi-billion dollar loans (often to the nearest millisecond) [3]. Also, a system developer may not know or understand how the environment will eventually interact with the system. However, user expectations (or environmental demands) often determine the success of a system (even if the users are unrealistic or naive). For example, many of PageNet's 10.4 million customers were surprised when the Galaxy IV satellite failed in May 1998 [4] -even though the price that they pay may not justi","PeriodicalId":252030,"journal":{"name":"Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 36241)","volume":"42 21","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133390303","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}

{"title":"The transition of context-free textual languages into a visual programming notation via graph techniques and a meta tool","authors":"F. Bühler, M. Callaghan, P. Luker","doi":"10.1109/CMPSAC.1998.716649","DOIUrl":"https://doi.org/10.1109/CMPSAC.1998.716649","url":null,"abstract":"The design and implementation of a new visual programming language is a difficult task. The article presents a new meta tool which eases the initial design phase. The approach differs from existing techniques as it is based on an easy-to-use description language, each lexeme of which is represented as an individual node on the workplace and is described by a special code file. The broad aim of this research is to investigate how visual elements/techniques could be integrated into a concrete visual environment which supports the programming task. Thus, the emphasis lies primarily on the visualisation of structures or relationships rather than on implementation details. To keep the ongoing research as open as possible, the separation of the underlying semantics from the visual representation is of great importance.","PeriodicalId":252030,"journal":{"name":"Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 36241)","volume":"14 4","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132364741","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}