This position paper discusses the issues in design and development of a transaction support for Ada 95. Transactions and other fault tolerance mechanisms are reviewed, and their applicability in a concurrent programmi...
详细信息
ISBN:
(纸本)9781581131772
This position paper discusses the issues in design and development of a transaction support for Ada 95. Transactions and other fault tolerance mechanisms are reviewed, and their applicability in a concurrent programming language is analyzed. Possible ways of integration are presented, and implementation problems are discussed.
In the object-oriented (OO) paradigm, new features (such as encapsulation, aggregation, inheritance, polymorphism and dynamic binding) introduce new problems in software testing and maintenance. One of them is the dif...
详细信息
In the object-oriented (OO) paradigm, new features (such as encapsulation, aggregation, inheritance, polymorphism and dynamic binding) introduce new problems in software testing and maintenance. One of them is the difficulty of identifying the affected components (such as classes) when changes are made in object-oriented class libraries or programs. This paper discusses the types of code changes in an object-oriented class library, and provides an automated solution to identify different kinds of code changes and their impact. In addition, an OO software maintenance environment that implements the research result is described. Our experience with the environment prototype shows promising results.< >
Generalized nets (GN) are created as a tool for modeling and controlling real processes. The mathematical tools which GNs have make them an effective and convenient instrument for software modeling. Models of software...
详细信息
ISBN:
(纸本)9781467322768
Generalized nets (GN) are created as a tool for modeling and controlling real processes. The mathematical tools which GNs have make them an effective and convenient instrument for software modeling. Models of software systems can be created by means of GN;specifications of properties, connections between software modules, relations between classes and member functions of classes can be defined;properties of software systems can be proven. The paper describes an application of the GN for building models of programs, for defining specifications, describing properties and relationships between program units, for verification of object-oriented programs (OOP). An approach for verification of OOP is presented from methodological point of view. The approach is intended for research and educational purposes.
The study presented in this paper explores junior high school students' comprehension of basic OO concepts. It summarizes major (mis)conceptions demonstrated by the students in two main categories: confusion of (1...
详细信息
ISBN:
(纸本)9781595936035
The study presented in this paper explores junior high school students' comprehension of basic OO concepts. It summarizes major (mis)conceptions demonstrated by the students in two main categories: confusion of (1) taxonomic and (2) partonomic hierarchies with classes, objects and their interrelations.
Information modeling is critical to the integration ofconceptual design and process planning. Aninformation model for conceptual design is provided inthis paper. Conceptual design is a key activity in earlyproduct dev...
详细信息
ISBN:
(纸本)0780379411
Information modeling is critical to the integration ofconceptual design and process planning. Aninformation model for conceptual design is provided inthis paper. Conceptual design is a key activity in earlyproduct development. It determines product functions,form, and the basic structure. Since majormanufacturing cost is determined in early design, it iscritical to be able to assess manufacturability and costas early as possible in the design process. A literaturereview of the current status of Computer-Aided Design(CAD) and Computer-Aided Process Planning (CAPP)software technologies reveals the lack of interfacestandards to enable the integration of these systems. Inorder to develop interface standards, informationmodels have to be first developed to define theinterfaces. An initial information model for conceptualprocess planning has been *** modelincludes an activity model and an object model formanufacturing process selection, resource selection,and cost and time estimation. The activity model setsthe context in which the objects are used forinformation sharing and exchange. The object modeldefines classes used in conceptual process *** main purpose of developing this model is to initiatethe development of standard interface specificationsthat are necessary for design and process planningintegration.
Increasingly complex design tasks and globallydistributed designers require a design environment tobe intelligent and collaboration-supported. However,as today's CAD tools are becoming more powerful inhelping desi...
详细信息
ISBN:
(纸本)0780379411
Increasingly complex design tasks and globallydistributed designers require a design environment tobe intelligent and collaboration-supported. However,as today's CAD tools are becoming more powerful inhelping designers draw geometric graphs, they havelittle intelligence and weak capability in supportingdesign collaboration. In such a context, distributedagent technology poses to be a promising way to welladdress these problems. In this paper, we present adistributed agent environment based on the CORBAparadigm. We construct an agent community to helpdesigners work collaboratively across computernetworks. To make it autonomous, reactive and pro-active, we construct an agent with a component-based framework. The case study section of thispaper demonstrates that the software systemimplemented according to the proposed architecturecan provide designers with both intelligent assistanceand collaboration support.
Describes a powerful environment for the development and execution of object-oriented parallel applications on a multicomputer or a cluster of workstations. The XENOOPS environment (eXecution ENvironments for object O...
详细信息
Describes a powerful environment for the development and execution of object-oriented parallel applications on a multicomputer or a cluster of workstations. The XENOOPS environment (eXecution ENvironments for objectoriented Parallel Software) implements a global object space and offers support for dynamic load balancing and fault tolerance. Workload redistribution at run-time is realised by applying object migration and granularity control. Fault tolerance is realised by object replication. An advanced debugging tool is presented. This tool adds support for the observation of interacting objects in a transparent, dynamic and selective way by extending the object invocation subsystem of the execution environment. A meta-object can be created for every object to intercept the invocations on that particular object and to observe the state changes. Results from an advanced parallel application in the area of partial differential equations illustrate the applicability of our observation software.< >
Wikis are often implemented using string-based approaches to parse and generate their pages. While such approaches work well for simple wikis, they hamper the customization and adaptability of wikis to the variety of ...
详细信息
ISBN:
(纸本)9781595931115
Wikis are often implemented using string-based approaches to parse and generate their pages. While such approaches work well for simple wikis, they hamper the customization and adaptability of wikis to the variety of end-users when more sophisticated needs are required (i.e., different output formats, user-interfaces, wiki management, security policies,...). In this paper we present SmallWiki, the second version of a fully object-oriented implementation of a wiki. SmallWiki is implemented with objects from the top to the bottom and it can be customized easily to accommodate new needs. In addition, SmallWiki is based on a powerful meta-description called Magritte that allows one to create user-interface elements declaratively.
In the past years we have been applying semantic ATN-grammars - as introduced by Brown & Burton (1974) - to natural language question-answering tasks (e.g. a LISP-Tutor [Barth, 1977], a question-answering system a...
详细信息
In the past years we have been applying semantic ATN-grammars - as introduced by Brown & Burton (1974) - to natural language question-answering tasks (e.g. a LISP-Tutor [Barth, 1977], a question-answering system about the micro-world of soccer [Rathke & Sonntag, 1979]). We found that semantic grammars execute efficiently, but become large very quickly even with moderate domains of discourse. We therefore looked for ways to support parsing by domain-dependent knowledge represented in an inheritance network [Laubsch, 1979]. In this paper we first briefly describe our representation language Objtalk, and then illustrate how it is used for building an understanding system for processing German newspaper texts about the jobmarket situation.
暂无评论