A scenario-based object-oriented hypermedia design methodology

This paper defines an object-oriented methodology for developing hypermedia information systems. The methodology consists of six phases: domain analysis; object modeling; view design; navigation design; implementation design; and construction. Users' requirements are analyzed with a responsibility-driven technology using scenarios. Object-oriented views are generated as the result of object modeling, and then used for the subsequent navigation and implementation design. The implementation design phase deals with database schema, page structure and flow, and user interface. This methodology integrates enterprise databases with distributed hypermedia systems via Internet, Intranet, or Electronic Commerce.     

层级式可视化并行程序建模系统研究

可视化建模技术虽能降低并行程序设计的难度,但复杂的硬件结构仍使软件层面上的并行程序设计方法存在一定难度。为此,提出一种基于层级式建模思想的并行程序可视化建模方法和分层建模方案,设计和实现一个面向多层次集群环境的可视化建模系统e-ParaModel,用建模实例验证其可行性和实用性。     

SystemC2.0的事务级建模

采用SystemC2.0,结合AMBA片上总线，探讨了在事务级的建模方法，并结合JPEG2000中的无损小波提升算法给出建模实例。介绍TsystemC2.O通过指令集模拟器建立事务级处理器模型的一般方法和步骤。     

基于UML-RT的复杂嵌入式系统建模方法及其应用

分析了UML在实时系统设计中的优点和需要解决的主要问题,论述了基于UML RT的实时嵌入式系统设计方法,并且对其进行扩展以支持数据流计算模型的建模,最后以汽车巡航系统为例加以说明。     

Implementation of a human-friendly systems methodology for intelligent control system modelling and simulation

We have been developing an interactive computer software for the systematic support to modeling and simulation of intelligent control systems, based on a human-friendy systems methodology. The support system has a universal application in data analysis, system structuring, statistical and fuzzy modeling, and simulation, with the aid of human-computer interfaces to acquire knowledge or judgment of the domain experts. This paper presents our soft systems methodology and its implementation into the computer to develop intelligent process control systems. New technical proposals include a modeling method of fuzzy implication inference models and a design method of model predictive controllers.     

基于对象Petri网的信息系统建模技术

针对复杂管理信息系统分析与建模的困难性,提出了一种基于Petri网和面向对象的建模技术,给出了对象Petri网系统OPN的形式化定义,具体介绍了用OPN进行信息系统建模分析的基本思路与方法,并通过一个典型的租赁管理系统建模对该方法进行了应用。     

面向C2组织的探索性分析模型构建研究

C2组织探索性分析模型是进行C2组织优化设计理论探索性分析验证的基础和关键。围绕C2组织探索性分析模型的构建问题,阐述了C2组织探索性分析模型的特征,明确了分析模型的设计需求,提出了分析模型的构建原则与基本方法,并对分析模型的层级映射关系进行了分析,以指导C2组织探索性分析模型的构建。     

一种表单驱动的面向对象的逆向建模方法

本文提出一种表单驱动的面向对象的逆向工程建模方法,该方法由五个阶段组成：表单使用分析、表单对象切片、对象结构建模、脚本设计以及模型集成。该方法利用表单结构知识和用户接口信息提取应用的系统的语义。     

DoMAIns: Domain-based modeling for Ambient Intelligence

Ambient Intelligence and Smart Home Automation systems are currently emerging as feasible and ready to exploit solutions to support more intelligent features inside future and current homes. Thanks to increased availability of off-the-shelf components and to relatively easy to implement solutions we are experiencing a steady evolution of households, causing an ever-increasing users’ awareness of the capabilities of such innovative environments. To foster effective adoption of Smart Home Automation technologies in our home environments, traditional architectural and plant design must be complemented by sound design methodologies and tools, supporting the whole environment design cycle, including for example modeling, simulation and emulation, as well as, when feasible, formal model-checking and verification. Several research efforts have already addressed the design of expressive modeling tools, mostly based on Semantic Web technologies, as well as of suitable platforms for adding interoperation and rule-based intelligence to home environments. This paper proposes a new modeling methodology designed to fit the different phases of Intelligent Environments design, with a particular focus on validation and verification of the whole system. Carefully designed separation of modeled entities permits to exploit the DoMAIns framework during all phases of the environment design, from early abstract conception to the final in-field deployment. The DoMAIns design methodology is applied to a sample use case that involves comprehensive modeling and simulation of a Bank Security Booth, including the environment, the control algorithms, the automation devices and the user. Results show that the approach is feasible and that can easily handle different types of environment modeling, required in the different design phases, and for each of them it may support simulation, emulation, or other verification techniques.     

多场限环的优化设计方法

提出了一种多重场限环（FLR）终端结构的优化设计方法。这一方法给出了一种简单的模拟结构用以绘制所谓的击穿电压一间距曲线，由这一曲线可以直接得到最优化结构，而不必进行试验，也不易发生错误。由此种方法得到的结果与实验结果附合的非常好。我们在广泛范围内对这一方法的适用性进行了研究，结果表明这一方法在中等电压范围的FLR终端设计中非常有效。     

A structured modeling based methodology to design decision support systems

Many Decision Support Systems (DSS) support the decision making process through the use of mathematical models and data. DSS design involves modeling data as well as mathematical relationships in a domain. The process of model formulation and subsequent integration of model with data in a DSS is a complex and ill-structured process. This paper proposes a methodology based on Structured Modeling (SM), originally introduced by Geoffrion together with the modeling language SML, to model and design the DSS. The methodology includes rigorous and step by step procedures to design and integrate data and modelbases. The main contribution of our approach lies in the integration of research in database design, and mathematical model formulation within the structured modeling framework. The resultant procedures can be easily automated and taught to students in DSS courses. The motivation for our research stemmed from our constant frustrations in teaching DSS courses over the last five years. In the last two years, when we used our methodology, the performance of the students improved significantly. The average score in the DSS project went up to 85 from 60. Our positive experience in using our methodology in classes over the past two years suggests that the methodology imposes structure into the analysis of decision problems, and as a result students produce better DSS designs for classroom cases.     

Towards an agent-oriented approach to conceptualization

Agent-oriented modeling provides a new technique for the conceptualization of agent-based systems. This paper extends and formalizes this agent-oriented modeling approach to the conceptualization process. It defines agent models and proposes a high-level methodology for agent-oriented analysis and design. It also includes analogies with the object-oriented and other existing agent-oriented methodologies, wherever applicable. The paper is concluded with a case study and an insight to future challenges.     

Nonlinear diffusion process modeling using response surface methodology and variable transformation

The nonlinear process modeling is investigated using statistical design method and response surface methodology. Three input factors are examined with respect to the response factor. In order to minimize the joint confidence region of fabrication process with varying conditions, D-optimal experimental design technique is performed and diffusion rate is characterized by response model. Then, the statistical results are used to verify the fitness of the nonlinear process model. Based on the results, this modeling methodology can be optimized process condition for semiconductor manufacturing.     

复杂实时嵌入式系统建模与设计方法研究

提出了一种面向角色(Actor-Oriented)的复杂实时嵌入式系统建模与设计方法．该方法首先根据不同的计算模型(Computation Model)和不同的抽象层次(Abstract Hierarchy)将嵌入式系统划分为多个具有单一计算模型的子系统，然后按某一领域的专业知识构造这些子系统．再将这些子系统综合成一个整体模型，加以仿真．最后从调试好的模型自动生成软件代码和硬件描述语言，从而完成设计工作．还介绍了面向角色集成开发环境，并根据实例分析了该方法的有效性和优点。     

A stiffness modeling methodology for simulation-driven design of haptic devices

Efficient development and engineering of high performing interactive devices, such as haptic robots for surgical training benefits from model-based and simulation-driven design. The complexity of the design space and the multi-domain and multi-physics character of the behavior of such a product ask for a systematic methodology for creating and validating compact and computationally efficient simulation models to be used in the design process. Modeling the quasi-static stiffness is an important first step before optimizing the mechanical structure, engineering the control system, and performing hardware in the loop tests. The stiffness depends not only on the stiffness of the links, but also on the contact stiffness in each joint. A fine-granular Finite element method (FEM) model, which is the most straightforward approach, cannot, due to the model size and simulation complexity, efficiently be used to address such tasks. In this work, a new methodology for creating an analytical and compact model of the quasi-static stiffness of a haptic device is proposed, which considers the stiffness of actuation systems, flexible links and passive joints. For the modeling of passive joints, a hertzian contact model is introduced for both spherical and universal joints, and a simply supported beam model for universal joints. The validation process is presented as a systematic guideline to evaluate the stiffness parameters both using parametric FEM modeling and physical experiments. Preloading has been used to consider the clearances and possible assembling errors during manufacturing. A modified JP Merlet kinematic structure is used to exemplify the modeling and validation methodology.     

Design, development and validation of an agent-based model of electronic auctions

This paper presents the design, development and validation methodology of an agent-based computational model of the B2C electronic auction marketplace. It aims at a comprehensive understanding of the varied issues governing a B2C electronic auction, incorporating the behavior of all relevant agents such as the auctioneer, the consumer and the retailer; and the environment in which these agents operate and interact. In contrast with conventional methods, agent based modeling employs a bottom-up modeling approach where behaviors of individual agents and rules for their interaction, specified at the micro level, give rise to emergent macro level phenomenon. The development methodology should ensure that agent models are aligned with theory, current knowledge of the field and observed phenomena, and output validity of the model also needs to be ascertained. Beginning with a general introduction to agent based computational modeling, this paper formalizes this alignment and validation methodology and elaborates each step, noting the rationale and means for achieving these. The manner in which this process was used in modeling B2C auctions is then described.     

Network-centric control based on Petri nets in the structured discrete-event system

Using the concepts of network-centric control, we develop a design methodology for a controlling Petri net in real-time automation systems. The methodology involves the structured discrete-event system (SDES) model to analyze the functionality and coherence of the object. We define structure of the model, as well as propose a technique for analyzing and modeling the object via the process Petri net. Finally, we suggest an analysis technique for the process Petri net and develop a design method for a supervisor, i.e., a controlling Petri net which implements the SDES specification (in coherence with the process net).     

The role of modeling in computational science education

Modeling and simulation skills are two core competences of computational science and thus should be a central part of any curriculum. While there is a well-founded methodology for the design of simulation algorithms today the teaching of modeling skills carries some intrinsic problems. The reason is that modeling is still partly an art and partly a science. As an important consequence for university education, the concepts for teaching modeling must be quite different from those for teaching simulation algorithms. Experiences made with the courses on ‘Modeling and Simulation’ at the University of Siegen are summarized and some general concepts for the teaching of modeling skills are presented. In particular, three practical approaches to modeling education are discussed with several examples.     

Multimedia Authoring with Hierarchical Timed Stream Petri Nets and Java

The expected benefits of modeling documents using a formal technique are twofold. First, the document's model can be checked against logical errors and unsatisfied timing constraints. Second, the same model can serve as reference for implementation purposes. In this context, the paper discusses a methodology for multimedia document design and implementation on heterogeneous and distributed platforms. The design trajectory starts with document modeling in Hierarchical Timed Stream Petri Nets, goes on with model checking against design errors, and continues with automatic translation of HTSPN models into a Java application. A tool prototype supports the methodology with a document editor, a simulator and a HTSPN to Java generator. Its use is exemplified on a guided tour of Florianopolis City, Brazil.