{"title":"A naming system for feature-based service specification in distributed operating systems","authors":"K. Ravindran, K. Ramakrishnan","doi":"10.1145/111048.111059","DOIUrl":"https://doi.org/10.1145/111048.111059","url":null,"abstract":"The paper describes a naming system that allows a service to evolve or reconfigure in functionality by adding and removing features and still co-exist with its previous versions. The underlying naming model has two aspects: (1) (Attribute_name, Attribute_value) pair based characterization of service features which allows the meta information on a service to be represented as a collection of such pairs (as in X.500 and Universal Naming Protocol). At low level, the name server provides parse and match operations on the (attribute, value) pairs using which high level name binding operations, viz., name registration and name resolution, are constructed. (2) Data-driven communication paradigm which enables different versions of a client and server to communicate with one another. In this paradigm, a server matches the attributes requested by a client with those it supports, and invokes service specific functions named by the attributes. Since attributes refer to orthogonal features, client and server can evolve independently by adding or removing attributes and still communicate. With this model of specifying services, name server functions may be factorized from service specific functions and implemented in a generic fashion in terms of parse and match operations and function invocations. The paper also describes language support for the naming system and implementation issues.","PeriodicalId":147067,"journal":{"name":"Symposium on Small Systems","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-09-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128285142","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":"Characteristics of files in NFS environments","authors":"J., Michael, Bennett, A., Bauer","doi":"10.1145/111048.111053","DOIUrl":"https://doi.org/10.1145/111048.111053","url":null,"abstract":"As local area networks of workstations and file servers grow, the management of user and system files becomes increasingly more challenging for system administrators. In order to develop effective management tools for these administrators, the nature of files in workstation environments must be understood. This paper presents a static analysis of file usage patterns of a typical workstation environment using a standard client-server paradigm (NFS). The data reveals some differences in characteristics for files in networked environments compared with files in timesharing systems. The study also suggests what data and techniques might be appropriate as a basis for a management tool for network administrators. The paper concludes with a recommendation for the construction of a real-time management and data gathering tool that may give early-warnings of server overload or may be useful in exploring trade-offs among file allocation strategies.","PeriodicalId":147067,"journal":{"name":"Symposium on Small Systems","volume":"72 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131626049","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}
John Ioannidis, Gerald Q. Maguire, I. Ben-Shaul, Marios Levedopoulos, Micky Liu
{"title":"Porting AIX onto the student electronic notebook","authors":"John Ioannidis, Gerald Q. Maguire, I. Ben-Shaul, Marios Levedopoulos, Micky Liu","doi":"10.1145/111048.111058","DOIUrl":"https://doi.org/10.1145/111048.111058","url":null,"abstract":"We describe the Student Electronic Notebook and the process of porting IBM's AIX 1.1 to run on it. We believe that portable workstation-class machines connected by wireless networks and dependent on a computational and informational infrastructure raise a number of important issues in operating systems and distributed computation (e.g., the partitioning of tasks between workstations and infrastructure), and therefore the development of such machines and their software is important. We conclude by summarizing our activites, itemizing the lessons we learned and identifying the key criteria for the design of the successor machines.","PeriodicalId":147067,"journal":{"name":"Symposium on Small Systems","volume":"44 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123598825","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":"Automated test plan generator for database application systems","authors":"M. Robbert, F. Maryanski","doi":"10.1145/111048.111061","DOIUrl":"https://doi.org/10.1145/111048.111061","url":null,"abstract":"As database applications increase in size and complexity, the development of usable test plans to test application software becomes essential. These testing plans must establish the applications' correctness and consistency as well as its reliability from the human expectation viewpoint. The designed automated/manual testing procedure integrated into the design phase, automates the generation of test plans for the comprehensive coverage of all details and timely updating, reducing the overall testing time and standardizing results. Human intervention remains to ascertain semantic nuances, ambiguities and user interface inconsistencies. A minimal set of test objects defines the test classes while a taxonomy categorizes the necessary tests and demonstrates the breadth and depth of the verification and validation procedures. Analysis of our experimental testing results showed the keystone to be the test plan, a data driven conceptual level, procedural document certifying the semantics, syntax and interfaces of a specific database application. A Test Plan Generator was constructed using C++ to generate a set of precise test plans from the design schema.","PeriodicalId":147067,"journal":{"name":"Symposium on Small Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127433113","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":"SID: a graphical browser","authors":"T. L. Crawford","doi":"10.1145/111048.111056","DOIUrl":"https://doi.org/10.1145/111048.111056","url":null,"abstract":"Humans have powerful image processing systems which can assist in managing large amount of information. Program visualization can be used to exploit this capability to make complex systems manageable. In addition to being a tool for managing complexity, program visualization can support the maintenance of conceptual integrity, by providing a framework for viewing the program as a whole. This paper presents SID, a program visualization tool. The program view is determined by a control panel, which is accessed by the user and a knowledge based assistant called the Gue. SID is a prototype system for viweing C++ programs.","PeriodicalId":147067,"journal":{"name":"Symposium on Small Systems","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123364030","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 microcomputer implementation of an ER query interface","authors":"B. Czejdo","doi":"10.1145/111048.111055","DOIUrl":"https://doi.org/10.1145/111048.111055","url":null,"abstract":"A query language has been defined in which users graphically manipulate Entity-Relationship (ER) diagrams to formulate queries involving computations [3]. In this paper we present a method of implementing this ER query language as an interface for a relational Database Management System. The approach is based on interactive manipulation of ER database schemas and generation of SQL expressions for an underlying relational database. The graphical query formulation process is formally defined. We assume that the information reflecting the current state of the query formulation process is maintained in a formal model. The model described in [3] is significantly modified and extended. The information included in the extended model allows an ER diagram corresponding to the current state of the query to be displayed on the terminal screen. It is also used to generate an equivalent SQL expression for a relational database. The integrity constraints for the formal model are specified.","PeriodicalId":147067,"journal":{"name":"Symposium on Small Systems","volume":"49 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114585199","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":"XWIB: an X-Windows interface builder for scientific and engineering application programs","authors":"R. Tagliavini, S. Rondeau, S. Chin","doi":"10.1145/111048.111050","DOIUrl":"https://doi.org/10.1145/111048.111050","url":null,"abstract":"Input to scientific programs (particularly, numerical simulation programs) traditionally requires an in-depth knowledge of complex and interdependent syntactic, semantic, and conceptual information. The effort to acquire this knowledge can deter a novice user from learning a program or cause an expert user to make errors. The XWIB (X-Windows Interface Builder) tool is designed to reduce this cognitive burden by supporting the specification and execution of a graphical user interface oriented toward creating input files for scientific programs.","PeriodicalId":147067,"journal":{"name":"Symposium on Small Systems","volume":"6 6","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"113975867","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":"Mass market computers for software development","authors":"W. Gentleman, M. Wein","doi":"10.1145/111048.111060","DOIUrl":"https://doi.org/10.1145/111048.111060","url":null,"abstract":"W. Morven Gentleman and Mardi Wein Software Engineering Laboratory, Institute for Information Technology National Research Council of Canada Ottawa Ontario Canada KIA OR6 <surname> @iit. nrc. ca The mass market or applitmce computer lends itself well to being used for software development and leads to a different style of development. By being truly personal, it provides a focus for all professional activities of a developer. The primary form of software used on such computers is shrink wrapped software, which has profound implications how the software is used and causes the make-or-buy trade-off to take on an entirely new meaning. This environment, consisting of a network of mass market computers, has infhsenced the development of a novel source management scheme, a summary of which is given here.","PeriodicalId":147067,"journal":{"name":"Symposium on Small Systems","volume":"57 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131835071","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":"An object-oriented data model for partition processing in distributed databases","authors":"R. Mithani","doi":"10.1145/99412.99492","DOIUrl":"https://doi.org/10.1145/99412.99492","url":null,"abstract":"Data replication in a distributed database system can lead to inconsistencies when communication breaks down due to partition failures. Correctness can be ensured if the data model used for representing and manipulating data properly captures real-world semantics.\u0000An object-oriented data model which attempts to bridge the gap between real-world semantics and its representation is proposed. Essentially, data is stored in an attributed graph with the nodes representing real-world objects and the arcs representing the relationships between them. A superimposed rule system is employed in the model to enforce consistency and semantic constraints.\u0000The model easily incorporates partition processing strategies like Data-patching, Quorum Consensus and Failure mode integrity constraints.","PeriodicalId":147067,"journal":{"name":"Symposium on Small Systems","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115643057","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":"Using object-orientation to implement logic programming","authors":"P. T. Cox","doi":"10.1145/99412.99440","DOIUrl":"https://doi.org/10.1145/99412.99440","url":null,"abstract":"Since their introduction, microcomputers have undergone a revolution in which the standard text-based input and output facilities have been replaced by powerful graphics and pointing devices. As a result, most applications are now driven by easy-to-use pictorial interfaces. Consequently, microcomputers are now mainly used by people who are not computer professionals and expect increasingly sophisticated and powerful applications. The resulting pressure on the software development industry has caused the adoption of powerful design and development techniques such as object-orientation, logic programming and pictorial languages. It now appears that a second revolution is imminent, involving the use of special hardware for such tasks as parallel processing and object management. The software component of this revolution involves the integration of various high level programming paradigms and their implementation on special hardware.\u0000We present an implementation of the logic programming language Prolog which uses object-orientation, and could therefore provide a basis for logic programming on object-oriented hardware. The implementation language, Prograph, is itself a product of the first microcomputer revolution, exploiting the graphics capabilities of modern microcomputers by expressing programs pictorially and providing powerful, picture-based program development tools.","PeriodicalId":147067,"journal":{"name":"Symposium on Small Systems","volume":"41 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117169175","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}