International Workshop on Software Specification and Design最新文献

{"title":"Discovering, visualizing, and controlling software structure","authors":"R. Schwanke, Rita Z. Altucher, M. Platoff","doi":"10.1145/75199.75223","DOIUrl":"https://doi.org/10.1145/75199.75223","url":null,"abstract":"","PeriodicalId":435917,"journal":{"name":"International Workshop on Software Specification and Design","volume":"52 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123419383","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 use of lexical affinities in requirements extraction","authors":"Y. Maarek, D. Berry","doi":"10.1145/75199.75229","DOIUrl":"https://doi.org/10.1145/75199.75229","url":null,"abstract":"The use of lexical afftnities to help a human requirements analyst find abstractions in problem descriptions is explored. It is hoped that a lexical athnities tinding tool can be used as part of an environment to help organize the sentences and phrases of a natural language problem description to aid the requirements analyst in the extraction of requirements. An experiment to confirm its effectiveness is described.","PeriodicalId":435917,"journal":{"name":"International Workshop on Software Specification and Design","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121905549","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 formal framework for the design of development environments","authors":"M. M. Pett, M. D. Rice, S. Seidman","doi":"10.1145/75199.75243","DOIUrl":"https://doi.org/10.1145/75199.75243","url":null,"abstract":"This paper describes a new formalism for specifying development environments for general hierarchical., modular systems. The formal framework is based on a restricted collection of sets and partial functions. formalism are described. Two applications of the In recent years, development environments have been built for many software and hardware systems. The essential similarity of these systems has been concealed by the wide variety of formal techniques that have been used in their description. In this paper, a new formalism is introduced for specifying development environments. The formalism emphasizes hierarchy and modularity, two features that are common to most application areas for which development environm’ents have been constructed. A development environment based on our formalism will include operations that construct and modify systems by selecting components from a library and specifying interfaces between these components. The formalism provides a logically consistent framework for the environment designer which can be adapted to a particular situation by choosing relevant framework attributes. The formal framework is based on a restricted collection of sets and partial functions which are used to define a construction setting, and a collection of basic operations on construction settings. The framework is described using the set-theoretic specification language Z [3]. Two specific applications will be discussed below: a programming development environment for coarse-grain dataflow graphs [ 1,2], and the STILE development environment [4]. In the framework, the lowest level of system components consists of templates, which reside in a common library Lib, which in turn is a finite subset of the basic set Temp. New templates can be added to the library using the EXT operation, described below. Each template has a unique non-empty set of ports, drawn from the basic set Port, which represent. potential interfaces to other templates. The association between templates and ports is defined by the following Z schema: (Note that the symbol --I--> is used in Z to denote apartial function, ,while FlS Perh.SSiOn to Copy Without fee all or part of thii material is granted provided that the copies are not made or distributed for direct commercial advantage, the ACM copyright notice and the title of the publication and its date appear, and notice IS given that copying is by perti&on of t.be Assc?=ation for Computing Machinery. To copy otherwise, or DO republish, requires a fee and/or spedic permission. M. D. Rice S. B. Seidman Center for Parallel Computation Department of Computer Science George Mason University Fairfax, Virginia 22030 denotes the set of finite subsets of a set S. The domain and range of a function fare denoted by dom f and ran f.) disjoint {interfaces(t) : t E dom interfaces) The common library Lib is precisely the domain of the function interfaces. The following Z schema defines the owner function from ports to templates: Port-Asso","PeriodicalId":435917,"journal":{"name":"International Workshop on Software Specification and Design","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115891840","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":"Timing extensions to structured analysis for real time systems","authors":"L. Peters","doi":"10.1145/75199.75213","DOIUrl":"https://doi.org/10.1145/75199.75213","url":null,"abstract":"The Structured Analysis method has been modified and extended to incorporate techniques for accurately estimating the execution time for real time systems during the analysis and/or design phases. This estimating technique enables the software engineer to incorporate the effects of external hardware devices, concurrency of processing, synchronization, priorities, interrupts, and other factors traditionally excluded from consideration by the Stnrcntred Methods. The methods which have been incorporated into Structured Analysis in order to address real time systems include an object oriented view of the relationship of priority to data items, formal means of evaluating system partitioning, and a specialized form of notation. Best, worst, and nominal times, blockage probabilities, and the effects of various resource allocation strategies can be evaluated in a timely and cost effective manner using this revised form of these methods. These extensions support safety and hazard analyses by cataloguing all possible modes of operation of the system being modeled. The application of this methodology is supported by and demonstrated on a software tool. This extension of Structured Analysis is referred to as HRT/DM (Hard Real Time Development Method).","PeriodicalId":435917,"journal":{"name":"International Workshop on Software Specification and Design","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128005904","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":"Multiparty specification","authors":"A. Finkelstein, Hugo Fuks","doi":"10.1145/75199.75228","DOIUrl":"https://doi.org/10.1145/75199.75228","url":null,"abstract":"“Specification-in-the-large”, that is the development of requirements specifications for systems of substantial complex@ and scale, mtrrors “progranrming -in-the-large” in raising a variety of dimculties that lie beyond the clerical problems of handling large amounts of information (Cunningham, Finkelstein et aI 1985. Finkelstein 8r Potts 1987). One such difficulty is that of specification from multiple viewpoints (Niskier 1987). Specification-in-thelarge is an activity in which there are many participants clients. systems analysts, engineers, domain experts and so on. Each has differing perspectives on, and knowledge about. the object system. as well as a variety of skills. roles and so on. In some cases the perspectivea may be based on underlying contradictions. To construct a specification the participants must cooperate: that is, contribute to the achievement of a joint understanding.","PeriodicalId":435917,"journal":{"name":"International Workshop on Software Specification and Design","volume":"133 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128069467","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":"Design by decomposition of multiparty interactions in Raddle87","authors":"I. Forman","doi":"10.1145/75199.75201","DOIUrl":"https://doi.org/10.1145/75199.75201","url":null,"abstract":"Synchronous multiparty interactions are becoming an increasingly important abstraction for the design of distributed systems. A method of design JOT multiparty interactions is described whereby large interactions are decomposed into groups of smaller interactions. The method is illustrated with the Lift Problem from the Fourth International bvorkshop on Software Specification and Design. The paper presents an abstract solution in which the lifts both cooperate and have distributed control. The abstract solution is then decomposed to a design for a unidirectional message-passing ring. The decomposition process is effective but informal.","PeriodicalId":435917,"journal":{"name":"International Workshop on Software Specification and Design","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122360911","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 proposed perspective shift: viewing specification design as a planning problem","authors":"John S. Anderson, S. Fickas","doi":"10.1145/75199.75227","DOIUrl":"https://doi.org/10.1145/75199.75227","url":null,"abstract":"Our interest is in formal models of the specification process. In this paper we argue that with the right perspective and set of assumptions, work in AI planning may be brought to bear on three aspects of designing a software specification: proposing a specification (generation); analyzing a proposed specification for problems (critiquing); and modifying a specification to mitigate problems (elaboration). We describe a program called ASAP which automates portions of the specification process.","PeriodicalId":435917,"journal":{"name":"International Workshop on Software Specification and Design","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124834073","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":"Human factors: its place in system development methods","authors":"R. Summersgill, D. Browne","doi":"10.1145/75199.75233","DOIUrl":"https://doi.org/10.1145/75199.75233","url":null,"abstract":"Interest in the needs of end-users has been growing for some years, leading to a host of notations, tools and approaches for the design of user interfaces. Unfortunately such techniques have remained isolated from traditional system development methods. The latter concentrating on functionality concerns. Thus, there remains a void between the approaches available for the specification and development of the two main components of any interactive information system. Namely, the application software that provides the storage, manipulation and dissemination of information and the user interface software that makes this functionality accessible to the enduser. This paper discusses the distinction between functionality centred and user centred approaches and makes a first pass attempt at reconciliation.","PeriodicalId":435917,"journal":{"name":"International Workshop on Software Specification and Design","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124090797","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":"Implementing a shared dataspace language on a message-based multiprocessor","authors":"G. Roman, Kenneth C. Cox","doi":"10.1145/75199.75206","DOIUrl":"https://doi.org/10.1145/75199.75206","url":null,"abstract":"The term shared dataspace refers to the general class of models and languages in which the principal means of communication is a common, content-addressable data structure called a dataspace. This paper reports on progress we have made toward the development of prototype implementation of a shared dataspace language, Swarm, on a hypercube multiprocessor. The paper includes an informal overview of the Swarm language, describes the design organization of a transaction processing system which forms the kernels of a Swam implementation, and explains the algorithms implementing a subset of Swarm embedded in the language C. ... Read complete abstract on page 2.","PeriodicalId":435917,"journal":{"name":"International Workshop on Software Specification and Design","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131188481","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 net method for specification of reusable software","authors":"H. S. Dhama, V. Shtern","doi":"10.1145/75199.75220","DOIUrl":"https://doi.org/10.1145/75199.75220","url":null,"abstract":"A method, called the N&Method. has been developed for specifying software components based on Petri nets. Using two types of nodes and three types of connectors, five primitives of the specification method have been constructed. Only these five primitives are then used as building blocks to specify software. Although the Net Method was originally designed for software components, it has been found to be particularly suited for specifying systems that have a number of parallel processes and require the synchronization of a number of activities. A graphics editor for the Net Method has been implemented and a Net simulation package is under development. l.~Hiah~pfSoftware~&u&&y 1 Reduction in the cost of software production through software reusability has been an aim of software producers for quite some time. Reusability efforts have come a long way with many different paradigms being used for the production of reusable software components [I, 6,8,10]. However, the concept of “mass produced software components” remains a long way off since, among other problems, the problem of functional specification of software components still looms large. 2.I!rQddwPfReusableSoftware This paper tackles only the problem of functional specification of functionality of reusable software components, irrespective of the model that was used for their development. However, for the sake of clarity and for ease of giving examples we would like to keep the paradigm of Ada packages and call the software components Logical Software Units (LSUs). This paper assumes that LSUs will come off-the-shelf in a standardized certified form and will have customization capability within a given functionality. 3. Development ef a &t@cation Method for Reusable Software Specification methods can be categorized under two broad headings: (a) Those that have a mathematical formalism as their base and use some type of algebraic notation. (b) Those that have a graphical notation whether they have a mathematical foundation or not Permission to copy without fee all or part of this material is granted provided that the copies are not made or distributed for direct commercial advantage, the ACM copyright notice and the title of the publication and its date appear, and notice IS given that copying is by permission of the Association for Computing Machinery. To copy otherwise, or to republish, requires a fee and/or specdic permission. V. Shteru Metropolitan College Boston University Boston, MA 02215 We would lie to develop a specification method belonging to the second category because we wish to follow the paradigm of the Sears’ catalog in providing the user with hierarchically arranged information on the huge number of LSUs that, we hope, will be available on the market at some future date. The LSU catalog will have a pictorial functional description of the LSU at a high level of abstraction (like pictures of tires in a Sears’ catalog) followed by one or more levels of description in increasing de","PeriodicalId":435917,"journal":{"name":"International Workshop on Software Specification and Design","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116540984","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}