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

object model in Java: elements and application

INFORMATION AND SOFTWARE TECHNOLOGY 1999年第4期41卷 235-241页

作者： Saleh, K Kuwait Univ Dept Elect & Comp Engn Safat 13060 Kuwait

The Java programming language is a new object-oriented programming language that is gaining widespread popularity in the computer software industry because of its ease of learning, simplicity, generality, portability and networking capabilities. In this article, we discuss the semantic implementation in Java of each of the elements of the object model, identified by Booch [G. Booch, object-Oriented Analysis and Design with Applications, 2nd Edition, Addison-Wesley, 1994], in addition to the mobility element. We show that Java, unlike other object-oriented languages, covers and simplifies all elements of the object model. An example illustrating those elements in Java will be drawn from a telecom software application. (C) 1999 Elsevier Science B.V. All rights reserved.

关键词： Java object model object-oriented programming telecom software

来源：评论

学校读者我要写书评

暂无评论

An ontology-based procedure for generating object model from text description

引用

KNOWLEDGE AND INFORMATION SYSTEMS 2006年第1期10卷 93-108页

作者： Vongdoiwang, Waralak Batanov, Dencho N. Asian Inst Technol Sch Adv Technol Pathum Thani 12120 Thailand

The main objective of the procedure proposed in this paper is to use ontologies to convert a problem domain text description into an object model. The object model of a system consists of objects, identified from the text description and structural linkages corresponding to existing or established relationships. The ontologies provide metadata schemas, offering a controlled vocabulary of concepts. At the center of both object models and ontologies are objects within a given problem domain. The difference is that while the object model should contain explicitly shown structural dependencies between objects in a system, including their properties, relationships, events, and processes, the ontologies are based on related terms only. On the other hand, the object model refers to the collections of concepts used to describe the generic characteristics of objects in object-oriented languages. Because ontology is accepted as a formal, explicit specification of a shared conceptualization, we can naturally link ontologics with object models, which represent a system-oriented map of related objects, described as Abstract Data Types (ADTs). This paper addresses ontologies as a basis of a complete methodology for object modeling, including available tools, particularly CORPORUM OntoExtract and VisualText, which can help the conversion process. This paper describes how the developers can implement this methodology on the basis of an illustrative example.

关键词： object model ontologies ontology library Abstract Data Types (ADTs) CORPORUM

来源：评论

学校读者我要写书评

暂无评论

Developing a 3D Intelligent object model for the Application of Construction Planning/Simulation in a Highway Project

引用

KSCE JOURNAL OF CIVIL ENGINEERING 2016年第2期20卷 538-548页

作者： Kim, Hyunjoo Shen, Zhenhua Moon, Hyounseok Ju, Kibum Choi, Wonsik Univ Seoul Dept Global Construct Management Seoul 02504 South Korea Univ N Carolina Dept Infrastruct & Environm Syst Charlotte NC 28223 USA Korea Inst Construct Technol ICT Convergence & Integrat Res Div Goyang 411712 South Korea

This study proposes a 3D intelligent object model in highway construction to electronically represent a large amount of information in highway projects based on the international standard ISO 10303. Also known as STEP (Standard for the Exchange of Product), ISO 10303 is an open standard, and has been used for data exchange in building projects of the AEC industries. Motivated by the success from the building industry, this research attempts to apply an object based intelligent model in 3D highway modeling. In order to test the feasibility of the proposed approach, a prototype was developed and tested on a highway project in Seoul, Korea with a team led by Korean Institute of Construction Technology (KICT). The proposed 3D intelligent model was applied to build a 3D model and automatically derive cost/schedule estimates from the 3D object model. To develop a 3D object model in highway road construction, this paper explores different options such as Industry Foundation Classes (IFCs) and LandXML and establish a comprehensive object model for highway structures with different components such as roads, a bridge, and a tunnel as well as topographical representations that could be used for cost/schedule estimation.

关键词： STEP IFC ISO 10303 data exchange automatic cost estimating earthwork cut and fill scheduling system integration object model OPEN Building Information modeling (BIM)

来源：评论

学校读者我要写书评

暂无评论

A Formal Approach to Design and Security Verification of Operating Systems for Intelligent Transportation Systems Based on object model

引用

IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS 2023年第12期24卷 15459-15467页

作者： Qian, Zhenjiang Zhong, Shan Sun, Gaofei Xing, Xiaoshuang Jin, Yong Changshu Inst Technol Sch Comp Sci & Engn Suzhou 215500 Peoples R China

Operating system in intelligent transportation systems (ITSs) is a complex software system whose correctness and security are not obvious. There are advances in formal description and verification of operating systems in ITSs recently and they mainly focus on bottom-up proofs in which the source codes satisfy certain expected properties expressed by logic formulae. In this paper, we propose a layered object model for operating systems in ITSs. This model includes functionality layer, refinement layer and concrete layer. We consider the operating system object model as a logic system ( $L)$ with variables representing the objects of $L$ , and a series of logic formulae for security and functional configurations in security of ITSs. We establish a mathematical structure as a domain of discourse for operating system in ITSs and accordingly, construct a mapping from operating system objects to the domain. In this way, we propose a formal method to verify the operating system security properties and configurations in ITSs. We use the virtual memory management part of our self-designed operating system VSOS as an example to illustrate the model and show that the claimed security properties can be rigorously proven for ITSs. The evaluation and verification of VSOS indicate that the proposed model implementation is feasible and achieves the security goals.

关键词： Security Memory management Kernel Semantics Task analysis Codes model checking Formal methods intelligent transportation systems (ITSs) object model operating system (OS) configuration security

来源：评论

学校读者我要写书评

暂无评论

APPLICATION object model FOR ENGINEERING INFORMATION-SYSTEMS

引用

COMPUTER STANDARDS & INTERFACES 1991年第1-3期13卷 79-87页

作者： KRUEGER, JW HONEYWELL INC CTR SYST & RESMINNEAPOLISMN 55418

An object model for application development is introduced in the context of Engineering Information Systems (EIS) 1. The model shares features with several popular models and offers some less common ideas. such as operation-dependent state closure. The model is also unique in its position within the environment: it acts as a portability view independent of the underlying storage servers. The view-mapping is made most efficient however, if the object model of the underlying servers matches the structure of the EIS Application object model (AOM).

关键词： INFORMATION SYSTEM DATA model object model object MANAGEMENT TOOL INTEGRATION DATA INTEGRATION ENGINEERING SUPPORT STANDARDS APPLICATION PROGRAMMING

来源：评论

学校读者我要写书评

暂无评论

A FORMAL DESCRIPTION OF THE OMGS CORE object model AND THE MEANING OF COMPATIBLE EXTENSION

引用

COMPUTER STANDARDS & INTERFACES 1995年第5-6期17卷 553-558页

作者： HOUSTON, ISC JOSEPHS, MB IBM UNITED KINGDOM LTD WINCHESTER SO21 2JNHANTSENGLAND S BANK UNIV SCH CISMCTR CONCURRENT SYST & VLSILONDON SE1 0AAENGLAND

The object Management Group's Core object model provides a standard type structure that must be supported by compliant object-oriented systems (such as IBM's SOM object Request Broker) and languages (such as C++). The standard is expressed in prose and punctuated by several small examples. The standard also attempts to convey the idea of compatible extensions to the model. The objective of the work reported here was to understand and to communicate the essence of the above standard by use of a formal description technique, the Z notation. In so doing, the meaning of compatibility was clarified. These efforts have been well-received by authors of the original standard.

关键词： object-ORIENTED TECHNOLOGY PORTABILITY INTEROPERABILITY object model COMPATIBLE EXTENSION FORMAL DESCRIPTION Z NOTATION

来源：评论

学校读者我要写书评

暂无评论

A hardware-oriented object model for Java in an embedded processor

引用

MICROPROCESSORS AND MICROSYSTEMS 2018年 63卷 85-97页

作者： Tan Yiyu RIKEN Ctr Computat Sci Wako Saitama Japan

Java has been applied widely because of its versatility, robustness, platform portability, and security. In Java, object related instructions dominate the execution speed of applications due to their complexity and time-consuming, and object model determines the implementation of object related instructions because it affects the object access. In this research, an object model is developed to provide parallel access of object fields, eliminate the indirections during object access, and target direct hardware implementation of object manipulation instructions. In the Java benchmark JVM98, the jHISC V4, an embedded processor based on the proposed object model for mobile and embedded computing, averagely achieves performance gain by 1.86 times and 0.39 times in the object manipulation operations, and 1.14 times and 0.21 times in all operations over the JOP and jHISC V3, respectively.

关键词： object model Java Java processor Operand descriptor

来源：评论

学校读者我要写书评

暂无评论

Automatic sub-category partitioning and parts localization for learning a robust object model

引用

IMAGE AND VISION COMPUTING 2014年第9期32卷 579-589页

作者： Sun, Linjia Liang, Xiaohui Zhao, Qinping Beihang Univ Sch Comp Sci & Engn State Key Lab Virtual Real Technol & Syst Beijing 100191 Peoples R China

This paper introduces a novel topic model for learning a robust object model. In this hierarchical model, the layout topic is used to capture the local relationships among a limited number of parts when the part topic is used to locate the potential part regions. Naturally, an object model is represented as a probability distribution over a set of parts with certain layouts. Rather than a monolithic model, our object model is composed of multiple sub-category models designed to capture the significant variations in appearance and shape of an object category. Given a set of object instances with a bounding box, an iterative learning process is proposed to divide them into several sub-categories and learn the corresponding sub-category models without any supervision. Through an experiment in object detection, the learned object model is examined and the results highlight the advantages of our present method compared with others. (C) 2014 Elsevier B.V. All rights reserved.

关键词： object model Topic model Layout topic Sub-category partitioning Part localization

来源：评论

学校读者我要写书评

暂无评论

Design of object model reuse system by CBR in system analysis

引用

INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING 2004年第3期14卷 277-290页

作者： Kim, YJ Kim, CT Cheonan Coll Foreign Studies Dept Secretarial Studies Cheonan Chungnam South Korea Hankuk Univ Foreign Studies Dept Management Informat Syst Seoul South Korea

This study aimed to design a software reuse system by case-based reasoning (CBR) in order to reuse object models in system analysis. We developed a system including the methods and procedures for reusing object models, and also proposed how to express the cases of object models by CBR. Moreover, this expressed the rules for retrieving, reusing and modifying object models in accordance with the new problems. Furthermore, this study confirmed its adequacy through applying the system for reusing object models to the real-world business cases;and verified the assumed hypotheses that are related to this system.

关键词： software reuse object model case-based reasoning system analysis

来源：评论

学校读者我要写书评

暂无评论

Development of an object model for automated compliance checking

引用

AUTOMATION IN CONSTRUCTION 2015年第PA期49卷 51-58页

作者： Malsane, Sagar Matthews, Jane Lockley, Steve Love, Peter E. D. Greenwood, David Northumbria Univ Fac Engn & Environm Newcastle Upon Tyne NE1 8ST Tyne & Wear England Curtin Univ Dept Construct Management Perth WA 6845 Australia Curtin Univ Dept Civil Engn Perth WA 6845 Australia

Building designs in countries such as the United Kingdom are currently checked manually against a frequently changing and increasingly complex set of building regulations. This is a major task for designers and those bodies that are charged with enforcing the building regulations. As a result this can often lead to ambiguity, inconsistency in assessments and delays in the overall construction process. As the Architecture, Engineering and Construction (AEC) industry moves from 2D Computer Aided Design (CAD) drawings to more semantically rich Building Information models (BIMs), the development of automated compliance checking systems for building regulations becomes achievable. A format well suited to the automation of compliance checking is that based upon Industry Foundation Class (IFC). IFC has been accepted worldwide as an inter-operability standard. However, whether the IFC data format can fully support the specialised needs of the England and Wales Building Regulations is still debatable. In order to automate their checking, building regulations first need to be interpreted from human-readable free text rules into a set of computer-implementable rules. This paper reviews previous research into automated code compliance-checking, identifies the key issues for future development, and focuses on the analysis of the England and Wales Building Regulations that relate to fire safety for dwelling houses, to determine and subsequently optimize the potential for automated compliance checking. Subsequently, a Building Regulation-specific, semantically rich object model, appropriate for the requirements of automated compliance checking has been developed for England and Wales. (C) 2014 Elsevier B.V. All rights reserved.

关键词： BIM standards Interoperability Knowledge formalisation object model Compliance checking

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：