TRI-Ada最新文献

{"title":"Towards an Ada basis for KBSE: Refine-Ada 95 conversion","authors":"P. Bailes, Paul Burnim, M. Chapman, Eric J. Salzman","doi":"10.1145/240678.240716","DOIUrl":"https://doi.org/10.1145/240678.240716","url":null,"abstract":"Knowledge-Based Software Engineering (KBSE) can be facilitated by more accessible enabling technology. Ada95 is now universally- accessible, so the universal accessibility of KBSE will be assured if Ada95 is seen to support it. An automatic conversion from the Refine programming language component of the Software Refinery KBSE environment exposes the strengths and weaknesses of Ada95's support for KBSE. At the very least, Ada95 enables the more widespread distribution of KBSE applications developed with Software Refinery.","PeriodicalId":429060,"journal":{"name":"TRI-Ada","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128372964","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":"Priority ceiling protocol in Ada","authors":"K. Yue, S. Davari, T. Leibfried","doi":"10.1145/240678.240679","DOIUrl":"https://doi.org/10.1145/240678.240679","url":null,"abstract":"The priority ceiling protocol (PCP) is an effective protocol for minimizing priority inversions in real-time scheduling. Priority inversion occw-s when a high priority task is blocked by a low priority task, such as at a shared semaphore or a protected operation. PCP guarantees the absence of chained priority inversion or deadlock. The ceiling locking (CL) priority on protected objects of Ada-95 also has these properties but has some limitations. For example, tasks cannot suspend themselves inside a protected operation. PCP has no such restrictions. Thus, PCP is more appropriate for some real-time applications. PCP has not been implemented in any language, · including Ada. A guideline for emulating PCP using Ada-83 exists but it lacks generality and flexibility. This paper discusses an implementation of PCP in Ada-95, the Ada-95 features that enable the implementation, the design of the implementation and some related issues.","PeriodicalId":429060,"journal":{"name":"TRI-Ada","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127484470","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":"Learning to use Ada 95 components using HTML linking","authors":"Bohdan A. Nebesh, M. Feldman","doi":"10.1145/240678.240717","DOIUrl":"https://doi.org/10.1145/240678.240717","url":null,"abstract":"We believe that one of the major obstacles to wide-spread software reuse is the difficulty in learning how to usc components from a software library. To aid in Wlderstanding components we built a tool that automatically embeds Hypertext Markup Language (HlML) links in Ada 95 specification files. Derived types are linked to their parent types, child packages arc linked to their parents, and all subprogram parameter and return types are linked to their declarations. We conducted a controlled experiment to determine if these links help progranuners to learn to use library components. Researchers have not formally investigated which comprehension techniques are effective and which are not. Our preliminary results indicate that our techniques are effective in aiding programmers to learn to use a reusable component.","PeriodicalId":429060,"journal":{"name":"TRI-Ada","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134356874","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":"TASH: a free platform-independent graphical user interface development toolkit for Ada","authors":"Terry J. Westley","doi":"10.1145/240678.240714","DOIUrl":"https://doi.org/10.1145/240678.240714","url":null,"abstract":"A platform-independent Application Programming Interface (API) for developing Graphical User Interfaces (GUI) is described. This API includes a complete \"thin\" binding to Tel and an experimental \"thick\" binding to Tk from Ada 95. Several features of Ada 95 such as access to subprograms, tagged types, and interface to C were used in this binding. What is a PIGUI? A Platform-Independent Graphical User Interface (PIGUI) toolkit is a software library that a programmer uses to produce GUI code for multiple computer systems. The toolkit presents functions and/or objects (along with a programming approach) which is independent of which GUI the programmer is targeting ... Native look-and-feel is a desirable feature. but is not essential for PIGUis. [4] Examples of PIGUis Some PIGUis currently available for Ada are Screen Machine from Objective Interface Systems (info@ois.com) and OpenUI from Open Software Associates (http://www.osa.com.au). Perhaps the \"hottest\" PIGUI being discussed today among Internet programmers is the Java A WT (Abstract Window Toolkit) from Sun Microsystems (http://java.sun.com). Introduction to TASH TASH [8] is a binding to Tcl!Tk [6] from Ada (requires Ada 95). This binding allows a Tcl!Tk program to use Ada in place of C to implement Tel command procedures. This may be done to increase execution speed, use complex data structures not available in Tel, and to otherwise use capabilities of Ada not found in Tel. It also makes the Tel/Tk library functions available to an Ada program. These include string and list handling. regular expression matching. hash tables, and (most important for this discussion) access to a graphical user interface toolkit. P~nnission to rnak~ digital:hard copi<!s of all or part elf this mrk I<.Jr p<!rsonal or dassroom us.: is grant<!d without k<! provid<!d that copi.:s ar<! not mad<! or distrihut<!d tilr prolit or conun.:rcial advantag<!. th<! .:op~Tight notic~. th~ till~ oftht.: puhlicatitlll and its dati.! app~ar. and notic~ is giv~n that ,·opying is hy p<!nnissi<lll of ACM. Inc. To copy oth<!rwis.:. to r~publish. to post on s.:rv.,rs or to r.:distrihuk Ill lists. r<!quir<!s prior sp.:cilic pt.!nnission and/or a 1;.:.1.!'_ '(~19% ACM O-X9791-X08-8/%/0012 3.50 165 The binding to Tel is a complete, thin 1 binding to Tel version 7.5a2. Work is progressing on upgrading it to version 7.5. Thicker binding support is provided by using Ada data types and exceptions for error handling in overloaded subprograms. The binding to Tk is an experimental thick binding to Tk version 4.la2. This paper describes a sample Tk program and discuses some of the rationale for decisions made in designing this binding. Introduction to Tci!Tk Tcl!Tk is [8]: Free: the source code is copyrighted by the Regents of the University of California and Sun Microsystems and is freely available (via anonymous ftp) with few restrictions, Interpreted: although experimental compilers are available (and the TcUTk development group at Sun plans to","PeriodicalId":429060,"journal":{"name":"TRI-Ada","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129757650","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":"COREMO: a CORBA real time extension model and its Ada 95 implementation","authors":"A. Beugnard, Z. Choukair, Y. Kermarrec","doi":"10.1145/240678.240728","DOIUrl":"https://doi.org/10.1145/240678.240728","url":null,"abstract":"In this paper, we present our COHBA implementation in Ada 95 after highlighting t.he benefits of its integt\"ation int.o Ada 95. Afterwards, we investigate how to conciliate real-time with openness so that one can develop real-time CORBA-compliant applications. Since <·eal-timc syst.ems 1·equire con·ect execution and results that are produced on t.imc, we need to address scheduling policies and synchi'Onizat.ion issues. Different scheduling policies are investigated as well as a synchronization model to manage t.he multiple concuncnt. accesses t.o the object's attributes. As a result., a rea)-t.ime ext.ension t.o the COH.BA model is proposed and an Ada 95 implementation of t.he model is presented. Then we recommend an associated framework for the development of distribut.ed soft. real-time components and for their utilization in the context. of open systems. The implement.at.ion of the model will help t.he evaluat.ion of t.he relative performance of the different policies via simulation. We will en this paper with some prelimina<·y rcsult.s and a discussion about. experiments planned for the future.","PeriodicalId":429060,"journal":{"name":"TRI-Ada","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129686027","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 situation in object-oriented specification and design","authors":"G. Cherry, Brad S. Crawford","doi":"10.1145/240678.240706","DOIUrl":"https://doi.org/10.1145/240678.240706","url":null,"abstract":"Objects go about their business by perceiving, classifying, and reacting to situations. We've found that making~ an object's domain of situations-and tabulating the mapping of this domain onto the object's range of reactions-significantly enhances our intuitions about objects, classes, and inheritance, and significantly increases the coherence of object-oriented development. This paper defines situations, shows that objects are mathematical functions from situations onto reactions, and then shows how to partition these functions into tables of \"use rules'', each of which describes the object's behavior for a class of situations. We illustrate this mathematical paradigm for both active and passive objects. The paper gives examples of a situation-driven approach (in Ada), and shows how such an approach helps projects validate and verify programs. (To support validation, we write specifications that are mathematically coherent but reviewable by users and their domain experts. To support verification, we develop implementations whose structure and semantics arc isomorphic to their specifications.) The paper briefly describes a case tool for a \"Situation-Driven Method\" (using AdaJava, Internet, and Web technology). Thought**Tools and Intermetrics arc developing the tool in a project funded by the US Army CECOM. 1. Situations: the facts of object life-cycles. Our objective is to introduce a mathematical structure for objects, a structure which helps engineers specify. implement, validate, and verify object-oriented programs. But first we must introduce the terms and concepts basic to our project. Consider the following request: \"Given the information that stack D has just received a pop stimulus. give an unegujvoca! description of D's reaction.\" Of course, this request isn't reasonable: it doesn't teJI us D's~~ (in particular, whether or not B is empty). In general, knowing an object's trigger stimulus (for example. knowing that a stack has a pop ca11) isn't sufficient to determine its reaction. One needs to know more: one needs to know the stimulated object's situation. Situation: the set of stimulus and state facts necessary and sufficient to detennine an object's reaction. A trigger stimulus (for example, a push or pop ca11 to a stack) !J:i.m-but does not detennine-the stimulated object's reaction. Situations (which always contain trigger stimuli) trigger .il.llil determine reactions. For example, pop ( ? x ), count> 0 is a situation. (The question mark indicates that the mode of x is out; \"count\" is the number of items stored in the stack.) \"pop ( ? x )\" is a trigger stimulus (and stimulus fact); \"count> 0\" is a state fact. This situation calls for returning the last value pushed on the stack and then reducing count by one. Now consider, pop ( ? x ), count = 0 P~nnissinn ll> mak~ digital 'hard .:npi~s <>I' all or pan c>l'this work li>r pc-rsonaJ t>r dassroom U!<ri~ i!-; granl~d withtlUl t~'-· pn)·id..:-d thai t.:opi~s arlo? ll.ll rnad~ qr distrihuk","PeriodicalId":429060,"journal":{"name":"TRI-Ada","volume":"54 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123149177","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":"Advanced object-oriented features and programming in Ada 95","authors":"Stéphane Barbey, M. Kempe, A. Strohmeir","doi":"10.1145/216591.216607","DOIUrl":"https://doi.org/10.1145/216591.216607","url":null,"abstract":"","PeriodicalId":429060,"journal":{"name":"TRI-Ada","volume":"115 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-11-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127988416","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":"O4S (objects for systems): tailoring MIL-STD-498 for efficiency","authors":"Ingmar Ögren","doi":"10.1145/216591.216618","DOIUrl":"https://doi.org/10.1145/216591.216618","url":null,"abstract":"","PeriodicalId":429060,"journal":{"name":"TRI-Ada","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-11-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125705388","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":"FRESCO—the next generation of GUI's","authors":"B. Beckwith","doi":"10.1145/216591.216623","DOIUrl":"https://doi.org/10.1145/216591.216623","url":null,"abstract":"","PeriodicalId":429060,"journal":{"name":"TRI-Ada","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-11-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129514501","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":"Resource sharing deadlock prevention","authors":"B. Sandén","doi":"10.1145/216591.216597","DOIUrl":"https://doi.org/10.1145/216591.216597","url":null,"abstract":"","PeriodicalId":429060,"journal":{"name":"TRI-Ada","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-11-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127266710","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}