检索结果-内蒙古大学图书馆

17th Annual ACM conference on object-oriented programming, systems, languages and applications, oopsla 2002

作者： Dickens, Tom Boeing Company P. O. Box 3707 MC 67-LF SeattleWA98124-2207 United States

ISBN: (纸本)1581134711

The Boeing Company, like many oth er engineering -centric companies, has a large base of legacy applications written in FORTRAN and C. In today's computing environment, maintaining and evolving these applications is becoming difficult. One such Boeing application, the Aero Grid and Paneling System (AGPS), is a 3D -geometry surface modeling tool. In the fall of 2001 we completed the migration of the AGPS source code from 300,000 lines of mixed C and FORTRAN to 150,000 lines of 100% Java. The migration resulted in many benefits;some anticipated and some unexpected. The benefits include widespread portability of AGPS on engineering workstations and PC-class machines, allowing AGPS to embrace many modern programming capabilities readily available in Java, greatly improving the maintainability and enhanceability of the AGPS source code, and an increased robustness of the AGPS code. During the migration we also took the opportunity to rearchitect major areas of the code using object -oriented techniques, to modernize the graphical user interface, and to implement a significant number of pending enhancements from our backlog. This paper looks into the details of the AGPS migration to Java, discussing our observations, lessons learned, migration techniques, and what we see in the future computing environment. Data are presented and discussed to substantiate our conclusions that Java is well -suited for compute -intensive engineering applications, Java portability is a reality, Java performance is no longer a problem, and that embracing object -oriented programming techniques produces a much superior product with less effort.

关键词： Graphical user interfaces

来源：评论

学校读者我要写书评

暂无评论

Ownership types for safe programming: Preventing data races and deadlocks 02

Ownership types for safe programming: Preventing data races ...

引用

17th Meeting on object-oriented programming, systems, languages and applications (oopsla 2002)

作者： Boyapati, C Lee, R Rinard, M MIT Comp Sci Lab Cambridge MA 02139 USA

ISBN: (纸本)9781581134711

This paper presents a new static type system for multi-threaded programs;well-typed programs in our system are guaranteed to be free of data races and deadlocks. Our type system allows programmers to partition the locks into a fixed number of equivalence classes and specify a partial order among the equivalence classes. The type checker then statically verifies that whenever a thread holds more than one lock, the thread acquires the locks in the descending order. Our system also allows programmers to use recursive tree-based data structures to describe the partial order. For example, programmers can specify that nodes in a tree must be locked in the tree order. Our system allows mutations to the data structure that change the partial order at runtime. The type checker statically verifies that the mutations do not introduce cycles in the partial order, and that the changing of the partial order does not lead to deadlocks. We do not know of any other sound static system for preventing deadlocks that allows changes to the partial order at runtime. Our system uses a variant of ownership types to prevent data races and deadlocks. Ownership types provide a statically enforceable way of specifying object encapsulation. Ownership types are useful for preventing data races and deadlocks because the lock that protects an object can also protect its encapsulated objects. This paper describes how to use our type system to statically enforce object encapsulation as well as prevent data races and deadlocks. The paper also contains a detailed discussion of different ownership type systems and the encapsulation guarantees they provide.

关键词： languages verification data races deadlocks ownership types encapsulation

来源：评论

学校读者我要写书评

暂无评论

A common multi-platform hardware object model 17

A common multi-platform hardware object model

引用

17th Annual ACM conference on object-oriented programming, systems, languages and applications, oopsla 2002

作者： Armstrong, Joe Kreissig, Astrid IBM 3605 Hwy 52 N RochesterMN55901 United States IBM Schoenaicherstr. 220 BoeblingenD 71032 Germany

ISBN: (纸本)1581134711

About 5 years ago one group in IBM's high-end server system started a redesign of its hardware access layer. Flexibility for any kind of configuration and hardware was the main goal for the design, to allow for rapid bring up changes and changing hardware packaging. object-oriented design was the obvious choice. About 2 years ago another group in IBM's middle and low end server systems started a redesign of their hardware access layer. The same basic objectives as the high-end systems applied. Additionally the middle and low-end systems group was continuing the consolidation of its servers to one eServer with a common service processor. Both hardware platforms are multi-processor systems supporting terabytes of I/O and a multitude of operating systems from z/OS and OS/400 to AIX and Linux. Everything cried for reuse. This paper is not so much about the final design as it is the challenges of a major object-oriented design affecting many components and attempting code reuse between different projects on different hardware in different organizations and different development sites including different countries. We will list the goals we had, what we ended up with, what proved to be good concepts and what the roadblocks were. The paper ends with an outlook on what we will approach next.

关键词： Integrated circuit design

来源：评论

学校读者我要写书评

暂无评论

Access rights analysis for Java 02

Access rights analysis for Java

引用

17th Meeting on object-oriented programming, systems, languages and applications (oopsla 2002)

作者： Koved, L Pistoia, M Kershenbaum, A IBM Corp Thomas J Watson Res Ctr Yorktown Hts NY 10598 USA

ISBN: (纸本)9781581134711

Java(TM) 2 has a security architecture that protects systems from unauthorized access by mobile or statically configured code. The problem is in manually determining the set of security access rights required to execute a library or application. The commonly used strategy is to execute the code, note authorization failures, allocate additional access rights, and test again. This process iterates until the code successfully runs for the test cases in hand. Test cases usually do not cover all paths through the code, so failures can occur in deployed systems. Conversely, a broad set of access rights is allocated to the code to prevent authorization failures from occurring. However, this often leads to a violation of the "Principle of Least Privilege." This paper presents a technique for computing the access rights requirements by using a context sensitive, flow sensitive, interprocedural data flow analysis. By using this analysis, we compute at each program point the set of access rights required by the code. We model features such as multi-threading, implicitly defined security policies, the semantics of the *** method and generation of a security policy description. We implemented the algorithms and present the results of our analysis on a set of programs. While the analysis techniques described in this paper are in the context of Java code, the basic techniques are applicable to access rights analysis issues in non-Java-based systems.

关键词： security languages security call graph invocation graph data flow analysis Java security access rights

来源：评论

学校读者我要写书评

暂无评论

V-DOM and P-XML - towards a valid programming of XML-based applications

引用

INFORMATION AND SOFTWARE TECHNOLOGY 2002年第4期44卷 229-236页

作者： Kempa, M Linnemann, V Med Univ Lubeck Inst Informat Syst D-23562 Lubeck Germany

Many WWW applications generate hypertext markup language or extensible markup language (XML) documents dynamically. Current tools, however, like languages using document object model (DOM) or JAVA Server Pages do not allow to check the validity of the generated documents statically. Instead, validity has to be 'checked' dynamically by appropriate test runs. This paper addresses this problem by introducing a new distinct class for each element type of a document type definition (DTD). Each class extends the Element-class of the DOM. The resulting object model is called validating DOM (V-DOM). Parametric XML (P-XML) is an extension of XML allowing to insert values of the newly defined classes in places, where the corresponding element types are allowed according to the underlying DTD. Like V-DOM, P-XML guarantees the validity of all XML documents generated by using P-XML. V-DOM and P-XML are illustrated by several examples. (C) 2002 Elsevier Science B.V. All rights reserved.

关键词： extensible markup language document object model validating document object model parametric extensible markup language

来源：评论

学校读者我要写书评

暂无评论

Management of XML documents without schema in relational database systems

引用

INFORMATION AND SOFTWARE TECHNOLOGY 2002年第4期44卷 269-275页

作者： Kudrass, T Leipzig Univ Appl Sci Dept Comp Sci & Math D-04251 Leipzig Germany

Many applications deal with highly flexible XML documents from different sources, which makes it difficult to define their structure by a fixed schema or a DTD. Therefore, it is necessary to explore ways to cope with such XML documents. The paper analyzes different storage and retrieval methods for schemaless XML documents using the capabilities of relational systems. We compare our experiences with the implementation of an XML-to-relational mapping with an LOB implementation in a commercial RDBMS. The paper concludes with a vision of how different storage methods could converge towards a common high-level XML-API for databases. (C) 2002 Elsevier Science B.V. All rights reserved.

关键词： storing XML data relational database large object XML query

来源：评论

学校读者我要写书评

暂无评论

Portable serialization of CORBA objects: A reflective approach 02

Portable serialization of CORBA objects: A reflective approa...

引用

17th ACM conference on object-Orientated programming systems, languages, and applications

作者： Killijian, Marc-Olivier Ruiz, Juan-Carlos Fabre, Jean-Charles LAAS-CNRS 7 Av. du Colonel Roche 31077 Toulouse Cedex 4 France

ISBN: (纸本)9781581134711

The objective of this work is to define, implement and illustrate a portable serialization technique for CORBA objects. We propose an approach based on reflection: through open compilers facilities the internal state of CORBA objects is obtained and transformed into a language independent format using CORBA mechanisms. This state can be restored and used by objects developed using different languages and running on different software platforms. A tool was developed and applied to a Chat application as a case study. The proposed technique is used to exchange state information between a C++ and a Java incarnation of this CORBA service. An observer tool enables the object state to be displayed and analyzed by the user. The applicability of this technique to various domains is discussed. Beyond the interest of language reflection, we finally advocate that operating system and middleware reflection would also be powerful concepts to extend the work presented in this paper.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Institutions: integrating objects, XML and databases

Institutions: integrating objects, XML and databases

引用

16th Annual ACM conference on object-oriented programming systems, languages, and applications (oopsla)

作者： Alagic, S Univ So Maine Dept Comp Sci Portland ME 04104 USA

A general model theory based on institutions is proposed as a formal framework for investigating typed object-oriented, XML and other data models equipped with integrity constraints. A major challenge in developing such a unified model theory is in the requirement that it must be able to handle major structural differences between the targeted models as well as the significant differences in the logic bases of their associated constraint languages. A distinctive feature of this model theory is that it is transformation-oriented. It is based on structural transformations within a particular category of models or across different categories with a fundamental requirement that the associated constraints are managed in such a way that the database integrity is preserved. (C) 2002 Elsevier Science B.V. All rights reserved.

关键词： object-oriented XML data models institutions transformations integrity constraints

来源：评论

学校读者我要写书评

暂无评论

ARK: an object(ive) view of extensible minimal languages for system configuration

ARK: an object(ive) view of extensible minimal languages for...

引用

16th Annual ACM conference on object-oriented programming systems, languages, and applications (oopsla)

作者： Holgate, M Partain, W Univ Glasgow Dept Comp Sci Arusha Project Glasgow G12 8RZ Lanark Scotland

This paper presents ARK, a minimal, XML-based configuration language and framework for our particular problem domain: UNIX System Administration. The language allows the capture of poorly structured configuration data and code fragments written in various programming languages, while the ARK engine is responsible for interpreting the XML and allowing applications to query data and invoke code fragments. The paper discusses the need for a minimal, simple approach, and provides examples which illustrate the use of the prototype-based model supported by the language. The ARK framework is currently being used to manage several academic and industrial UNIX installations. (C) 2002 Elsevier Science B.V. All rights reserved.

关键词： XML configuration framework system administration prototype-based language

来源：评论

学校读者我要写书评

暂无评论

V-DOM and P-XML - towards a valid programming of XML-based applications

V-DOM and P-XML - towards a valid programming of XML-based a...

引用

16th Annual ACM conference on object-oriented programming systems, languages, and applications (oopsla)

作者： Kempa, M Linnemann, V Med Univ Lubeck Inst Informat Syst D-23562 Lubeck Germany

关键词： extensible markup language document object model validating document object model parametric extensible markup language

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：