CONSTRAINT PROPAGATION AND PROGRESSIVE VERIFICATION FOR COMPONENT-BASED PROCESS MODEL

2004 ◽  
Vol 14 (05) ◽  
pp. 471-496 ◽  
Author(s):  
YI DENG ◽  
JIACUN WANG ◽  
XUDONG HE ◽  
JEFFREY J. P. TSAI
Keyword(s):  
Process Model ◽  
Systematic Approach ◽  
Constraint Propagation ◽  
Industrial Applications ◽  
Overall Design ◽  
Novel Technique ◽  
System Composition ◽  
Constraint Specification ◽  
Composition Process ◽  
Consistent Constraint

System assembly is one of the major issues in engineering complex component-based systems. This is especially true when heterogeneous, COTS and GOTS distributed systems, typical in industrial applications, are involved. The goal of system assembly is not only to make constituent components work together, but also to ensure that the components as a whole behave consistently and guarantee certain end-to-end properties. Despite recent advances, there is a lack of understanding about software composability, as well as theory and techniques for checking and verifying component-based systems. A theory of software system constraints about components, their environment and about system as a whole is the necessary foundation toward solid understanding of the composability of component-based systems. In this paper, we present a systematic approach for constraint specification and constraint propagation in concert with design refinement with a novel technique to ensure consistency between system-wide and component constraints in a design composition process of component-based systems. The consistent constraint propagation is used in our approach to drive progressive verification of the design. It allows us to verify overall design composition without interference of internal details of component designs. Verification is done separately at architectural and component levels without having to compose results of component analyses. A component can be safely replaced with alternative design without re-verifying the overall system composition so long as the replacement conforms to the corresponding interface and component constraint(s).

Research on Effective Teaching Mode Based on Activity Theory under the Network Environment

2014 ◽  
Vol 556-562 ◽  
pp. 5466-5470
Author(s):  
Cong Liu
Keyword(s):  
Effective Teaching ◽  
Activity Theory ◽  
Process Model ◽  
Design Model ◽  
Practical Significance ◽  
Network Environment ◽  
Teaching Mode ◽  
Network Teaching ◽  
Overall Design ◽  
Theoretical Support

Activity theory is a useful framework for understanding and constructing the activity in the contexts, and its analysis has practical significance for the research and design of effective teaching mode under the network environment. Based on the theoretical study and analysis of current situation, we think that network teaching is an interactive activity process between learners and learning environment, which follows activity system framework of activity theory. From the perspective of activity theory, we focus on the analysis of network teaching system, analyze the elements and subsystems of network system, and propose the process model of network effective teaching based on this. Finally, we describe the overall design model of effective teaching mode based on activity theory under the network environment and propose the design model of network teaching support environment, in order to provide theoretical support and practical guidance for network teaching.

A Thermal Model for Laser Hardening Simulation

2015 ◽  
Author(s):  
Erica Liverani ◽  
Alessandro Fortunato ◽  
Alessandro Ascari ◽  
Donato Sorgente ◽  
Leonardo Daniele Scintilla ◽  
...  
Keyword(s):  
Process Model ◽  
Computation Time ◽  
Setup Time ◽  
Industrial Applications ◽  
Carbon Steels ◽  
Laser Hardening ◽  
Suitable Model ◽  
Unknown Parameters ◽  
Thermally Induced ◽  
Medium Carbon Steels

Laser hardening is a very flexible and useful process for surface treatment of medium carbon steels, capable of processing varied and complex geometries. In order to enlarge the range of industrial applications to which this process can be applied, a suitable model is necessary in order to reduce the setup time requested for the optimization of new components. The process model presented is based on the Arrhenius-like equation for estimation of the thermally induced process reaction time for microstructural transformations. By means of experiments, all unknown parameters in the equations have been determined, highlighting the accuracy and low computation time of the simulator.

Driving Function-Based Design With Outcome-Driven Inputs

2010 ◽  
Author(s):  
Robert L. Nagel ◽  
Robert B. Stone
Keyword(s):  
Reverse Engineering ◽  
Process Modeling ◽  
Process Model ◽  
Systematic Approach ◽  
Functional Model ◽  
Design Methods ◽  
Modeling Technique ◽  
Driving Function ◽  
Future Work

This paper presents research that integrates outcome-driven design methods with the more established function-based design methodologies. Outcome-driven design offers a more systematic approach to understanding the opportunity than the traditional and inconsistent means of gathering customer needs by exploring the reasons customers purchase products. These specific customer inputs are mapped to a process modeling technique to first broadly define how a customer will use a product. From this process model, a functional model can be extracted that abstractly captures what must happen within the product boundaries such that the product operates as intended to achieve the customers desired outcomes. An illustrative reverse engineering example is used to demonstrate the methodology. Preliminary case study validation results are discussed along with the conclusions and future work.

Hardware Design and Realization of Synthetical Altimeter Detecting-Instrument Based on Intellectronics

2013 ◽  
Vol 341-342 ◽  
pp. 847-850
Author(s):  
Yan Li Shi ◽  
Lin Ren ◽  
Yang Song ◽  
Hai Xia Yu
Keyword(s):  
Navigation System ◽  
Hardware Design ◽  
Design Procedure ◽  
Work Load ◽  
Economic Benefits ◽  
Function Measurement ◽  
Overall Design ◽  
Actual Application ◽  
System Composition

The altimeter is a very important measuring-height equipment, so the test of the altimeter is the important content to function measurement of the plane navigation system, synthetically altimeter detector can make some type altimeter test standardized, this paper introduces the overall design and system composition of the altimeter detector, it is focused on emphatically the hardware design procedure of the synthetical altimeter detector, this instrument can reduce about 30% work load of attendants, in the actual application the altimeter detector has advantages, such as good military and economic benefits.

A Comparative Analysis of the Theory of Inventive Problem Solving and the Systematic Approach of Pahl and Beitz

1996 ◽  
Author(s):  
Johan Malmqvist ◽  
Roger Axelsson ◽  
Mikael Johansson
Keyword(s):  
Comparative Analysis ◽  
Problem Solving ◽  
Design Process ◽  
Process Model ◽  
Systematic Approach ◽  
Systems Design ◽  
Engineering Systems ◽  
Whole Process ◽  
Detail Design ◽  
Design Process Model

Abstract This paper presents a comparative analysis of two design methodologies; the Theory of Inventive Problem-Solving (TIPS) and the systematic approach of Pahl and Beitz (SAPB). The methodologies are compared with respect to a number of aspects; similarities and differences are highlighted. It is then suggested that a more powerful methodology may result if the methodologies are unified and that such a unification should use SAPB as an underlying design process model being complemented by TIPS elements at certain points. This is because the SAPB has a wider scope as a design process model, covering the whole process from task clarification to detail design and component as well as systems design, whereas TIPS features some very useful elements (engineering systems evolution laws, standards and principles) that are not included in the SAPB.

Research on Innovation Process Model Based on Function Evolution

2010 ◽  
Vol 20-23 ◽  
pp. 1336-1341
Author(s):  
Qing Hai Li ◽  
Guo Zhong Cao ◽  
Hai Xia Guo ◽  
Run Hua Tan
Keyword(s):  
Product Innovation ◽  
Process Model ◽  
Systematic Approach ◽  
Innovation Process ◽  
Functional Design ◽  
Evolutionary Path ◽  
Model Based ◽  
Product Evolution ◽  
Function Design ◽  
High Level

Function design is an important method for high-level innovation, and it is important for corporations to forecast product evolution rapidly and effectively from function angle. Three laws of function organization and eight laws of function improvement are presented to discover radically appearance of new functions and improvement of existing functions. The directions of function evolution are confirmed by function forecasting, and the function evolutionary path is described by function evolution tree. The rationality is evaluated by degree of ideality. The product innovation process model based on function evolution is proposed by integrating the above contents, which provides a systematic approach to product innovation from functional design angle. A design example for innovation of Chinese medicine demonstrates the proposed method is feasible.

Sign in / Sign up

Export Citation Format

Share Document