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.
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.
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.
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.
It is very important how to find the test order ofclasses in OO programs to make the test work reduced. Inthis Paper, An order-assigned strategy of classesintegration testing is presented. It considers not only thesta...
详细信息
ISBN:
(纸本)0780379411
It is very important how to find the test order ofclasses in OO programs to make the test work reduced. Inthis Paper, An order-assigned strategy of classesintegration testing is presented. It considers not only thestatic dependency but also dynamic dependency relationbetween classes in OO programs. Based on it, the testinglevel of all classes are defined and ordered. A testinglevel order automatic generating tool--TLOGOS,implements the above strategy. This tool has been used inYSS2000 Electric Power Monitor&Control System, andreduced the test works obviously.
Software process evolution corresponds to the act of improving the existing prescriptive software process models in a controlled and supported way. As software processes change constantly, it is therefore necessary to...
详细信息
Software process evolution corresponds to the act of improving the existing prescriptive software process models in a controlled and supported way. As software processes change constantly, it is therefore necessary to support one or more methods for assisting environment administrators in improving models. Changes are made in order to adapt software process models to new requirements, correct inconsistencies encountered in the course of execution, and modify, add or remove certain constraints. This article shows how software process evolution as supported in Tempo, a process-oriented software engineering environment where software processes are formally described in an object-oriented process schema. In Tempo, a process schema is comprised of descriptions of software agents, software products and software processes. A new approach is presented which supports the dynamic evolution of software process descriptions. In this approach, software process change is the result of tailoring the behavior of software objects manipulated during software process enaction.< >
暂无评论