On Enterprise-Grade Tool Support for DEMO

Software and Systems Modeling - The Design and Engineering Methodology for Organisations (DEMO) is a core method within the discipline of enterprise engineering. It enables the creation of...     

Support Tool Reviews

Abstract

On August 27, 2000, the IT audit profession lost Don Wood, one its pioneers. Wood was involved with many of the key events of IT (EDP) auditing in the 1960s and 1970s. In 1992, this author conducted a survey of the IT audit pioneers and experts. (The EDP Auditor Journal, Volume III, 1993, con-tains “Pioneers of EDP Auditing in North America,” an article on the methodology that was employed in this survey and its results.) In the survey, Wood was placed ninth in the ranking of the most influential “pioneers” of EDP auditing, and the book on it that he wrote with Bill Mair and Keagle Davis was tied for second in the ranking of influential literature. (According to both Keagle Davis and Don Wood, Bill Mair was the innovator of parallel simulation.) These results show the respect that the profession's early leaders had for Wood's contributions to IT auditing.     

Support Tool Reviews

CISA [Certified Information Systems Auditor] Examination Textbooks, Second Edition, by S. Rao Vallabhaneni. Volume 1: Theory; 1996, 995 pp. Volume 2: Practice; 1996, 335 pp.; includes glossaries. SRV Professional Publications (Post Office Box 681354, Schaumberg IL 60168-1354). Price: $50.00 per volume; $95 for the set. Inquire about shipping costs and applicable taxes. Include payment with order in US funds.     

Tool Support for Refinement of Non-functional Specifications

Model driven architecture (MDA) views application development as a continuous transformation of models of the target system. We propose a methodology which extends this view to non-functional properties. In previous publications we have shown how we can use so-called context models to make the specification of non-functional measurements independent of their application in concrete system specifications. We have also shown how this allows us to distinguish two roles in the development process: the measurement designer and the application designer. In this paper we use the notion of context models to allow the measurement designer to provide measurement definitions at different levels of abstraction. A measurement in our terminology is a non-functional dimension that can be constrained to describe a non-functional property. Requiring the measurement designer to define transformations between context models, and applying them to measurement definitions, enables us to provide tool support for refinement of non-functional constraints to the application designer. The paper presents the concepts for such tool support as well as a prototype implementation.     

C程序并发行为控制方法及其测试工具支持

针对由于并发程序的行为不可控而导致难以对其进行测试的问题,提出了一种控制C程序中并发行为的方法。该方法以多线程同步为基础,使用测试序列和测试单位完成对并发行为的控制。在此基础上,实现了对C程序测试活动中并发行为控制的工具支持,以生产者-消费者为例说明了使用此工具进行测试活动,并讨论了其效率。     

航空装备技术保障质量控制预测

在航空装备保障控制优化预测问题的研究中,为加强航空装备技术保障质量控制,改进和提高航空装备技术保障质量,提高定性和定量决策能力,在系统分析航空装备技术保障质量评价指标的基础上,构建了航空装备技术保障质量评价指标体系,并针对历年航空装备故障信息分析了航空装备技术保障质量的现状,通过专家咨询法提出了相应的对策措施.运用改进的模糊层次分析法对对策措施的效果进行了预测分析.通过分析可知,“保障能力评估”、“以质量为中心的教育”、“年度保障评估”等措施对改善航空装备技术保障具有明显的控制作用.改进的模糊层次分析法收敛速度快、计算精度高,通过matlab程序仿真计算表明,改进模型科学合理、实用性强,预测结果客观正确.     

A Tool Support for Reusing ELAN Rule-Based Components

The adaptation of software components developed for a specific application in order to generate reusable components often includes some kind of generalization. This generalization may be carried out, for instance, by the renaming of some identifiers or by its parameterization. In our work, we are specially interested in the generalization by parameterization of algebraic specification components. Generalization and some other transformations on algebraic specifications are being integrated in the FERUS tool. This tool was initially developed for the Common Algebraic Specification Language, called CASL, and we show in the paper its adaptation to the new version of the rule-based programming language ELAN.     

Synthesis of an Optimal Control for Continuous Markov Processes by Semidefinite Quality Criteria

Optimization of control of continuous Markov processes by semidefinite quality functionals with nonadditive control cost functions is investigated. Equation for the loss function, its parameters for different integrands in the quality criterion, and its interrelation with the Fokker–Planck–Kolmogorov equation for the auxiliary noncontrollable Markov processes are determined. Examples are given.     

A Software Tool for Hybrid Control

In this article, we introduce the MODEbox tool for automatically producing hybrid, multimodal control programs from data. In particular, given an I/O string, four distinct operational units are introduced. The application of the MODEbox tool is illustrated on two different examples involving robots and ants.     

键合铝硅丝连续退火复绕机的控制系统

本文介绍了以8031单片机为核心的键合铝硅丝连续退火复绕机的工作原理、电控系统及其单片机实现,在此基础上着重介绍了张力控制系统和收线子系统,使整机表现出了良好性能,从而保证了复绕成品的质量。     

键合铝硅丝连续退火复绕机的控制系统

本文介绍了以8031单片机为核心的键合铝硅丝连续退火复绕机的工作原理、电控系统及其单片机实现,在此基础上着重介绍了张力控制系统和收线子系统,使整机表现出了良好性能,从而保证了复绕成品的质量.     

面向报表类型支持工具的开发

本文针对报表事务处理中的对象－报表，提出了报表类型的概念，阐述了面向报表类型进行系统构造的开发流程，并简单介绍在ＡＳ／４００小型机上开发的面向报表类型的开发支持模型系统ＡＳ／４００ ＲＦＤＳＳ。     

A Writing Support Tool with Multiple Views

This paper describes both SuperText,a computer program designed to support productiveexpository writing processes among students at adistance teaching university, and its theoreticaljustification. Being able to write well is animportant communication skill, and the writingprocess can help to build and clarify the writersknowledge. Computers can support this by providing amedium to externalise and record the writersunderstanding. Representations appropriate to thisexternalisation are uninstantiated idea labels,instantiated text units, and a variety ofrelationships between these items. SuperText usesthese representations to support a range of writingstyles. It provides several independent Views thatrepresent the structure of the evolving documentthrough expanding hierarchies, each with a varietyof Presentations. Allied to these Views is a textwork space providing access to a database ofcontinuous text nodes. Taken together, these providean ability to represent global and intermediatestructures of the document well beyond that ofconventional editors. These aspects were all ratedhighly by students participating in a series offield trials of SuperText.