A requirements monitoring framework for enterprise systems

Requirements compliant software is becoming a necessity. Fewer and fewer organizations will run their critical transactions on software that has no visible relationship to its requirements. Businesses wish to see their software being consistent with their policies. Moreover, partnership agreements are pressuring less mature organizations to improve their systems. Businesses that rely on web services, for example, are vulnerable to the problems of their web service providers. While electronic commerce has increased the speed of on-line transactions, the technology for monitoring requirements compliance—especially for transactions—has lagged behind. To address the requirements monitoring problem for enterprise information systems, we integrate techniques for requirements analysis and software execution monitoring. Our framework assists analysts in the development of requirements monitors for enterprise services. The deployed system raises alerts when services succeed or fail to satisfy their specified requirements, thereby making software requirements visible. The framework usage is demonstrated with an analysis of ebXML marketplace specifications. An analyst applies goal analysis to discover potential service obstacles, and then derives requirements monitors and a distributed monitoring system. Once deployed, the monitoring system provides alerts when obstacles occur. A summary of the framework implementation is presented, along with analysis of two monitor component implementations. We conclude that the approach implemented in the framework, called ReqMon, provides real-time feedback on requirements satisfaction, and thereby provides visibility into requirements compliance of enterprise information systems.

Transforming information systems development through computer-aided systems engineering (CASE): lessons from practice

In dealing with the challenges posed by the ongoing problem of developing and integrating an evermore complex and diverse range of information systems in a timely manner, practitioners continue to grapple with important issues such as increasing developer productivity and bringing quality improvements to the process and product of systems development. Many organizations have adopted computer‐aided systems engineering (CASE) tools with such outcomes in mind. With few exceptions, previous research into the phenomenon of CASE adoption and use has been survey based in the main, and has resulted in some confusion over the benefits to be derived from the use of CASE tools within the systems development process. This paper extends previous work as part of an interpretive, case‐based research strategy to examine the adoption and use of integrated CASE (I‐CASE) in a single organization. Such an approach facilitates a deeper understanding of the impact that CASE exerts on the process and product of systems development. Based on the experience of practitioners in the organization studied, a set of recommendations is presented. The findings of this study also lend support to the view that an I‐CASE development platform does indeed have the potential to exert a positive impact on the development process and its product.     

计算机辅助软件工程（CASE）工具的选择与采用

CASE工具技术在信息系统的开发中得到了越来越广泛的应用,如何在众多的CASE工具中选择最适用的一种,本文介绍了在CASE工具的选择和采用过程中需要考虑的问题。     

软件开发过程及其模型（Ⅱ）

论题的第一部分,即文“软件开发过程及其模型（Ⅱ）”重点分析了瀑布模型和快速原型,本文为第二部分,继之讨论渐增式模型,螺旋模型,重用模型,自动综合模型,基于ＣＡＳＥ的模型,喷泉模型以及其它有前途的,有影响的新模型。综合两部分的内容,我们希望在不列几个方面有所贡献：１）帮助实践者选择合适的过程模型;２）作为各种不同模型参照对比的一种框架;３）帮助研究者开发新的模型;４）对软件过程及其模型的认识;５）引     

基于WEB数据库环境的软件工程教学模式改革研究

软件工程教学过程中如何运用基于信息库的软件为学生提供直观的理解方法是目前该领域研究的热点问题.本文研究利用在web结构下基于数据库和配置库的共享性信息平台进行软件工程教学模式研究,将软件开发活动分为用户、角色、任务和产品四种要素,并借助开发式的信息共享方法开放系统接口,为该系统的扩展提供了条件.通过实验表明,本系统在软件工程教学改革方面取得了明显效果.     

TableSpec: Free Format Specification Table and Source Code Generation

Precise software specifications, free from error and misunderstanding related to the user's requirements, are essential to efficient development of effective software. Various methods and tools for software specification have been devised for this purpose, but they generally require a learning effort comparable to that of learning a new computer language. TableSpec was conceived and developed to eliminate this difficulty and improve the precision and accuracy of software specifications and source codes, based on the use of a free-format table of the same form as those employed intuitively in business and everyday life to express and implement logical constructs and calculations. The free-format table and related entries and conditions can be composed on a word processor, mainly by the user. The software engineer then adds identifiers to the table elements, thereby defining the logical structure of the table. From the content and identifiers, the TableSpec system automatically generates the subprogram source code, in Cobol or C. The result is improved ease and accuracy of specification entry and checking by the user, reduction of human error related to requirement, specification and coding, and complete correspondence among all three.     

Scheduling for Concept-Oriented Rapid Prototyping

In this paper scheduling strategies for a rapid prototyping system are discussed. Our rapid prototyping system is able to deal with several CASE-tools and generate code for models of heterogenous domains. By using the emerging CASE Data Interchange Format CDIF the model data of CASE-tools is represented tool-independent. This tool-independent layer serves as a basis for analysis, simulation and code generation. The generated code is partitioned in tasks which must be scheduled as fast as possible using a real-time operating system to support high performance applications. We classify scheduling requirements for the constraints of rapid prototyping and present a new scheduling strategy called pseudo-rate scheduling which significantly improve the execution speed of rapid prototyping applications. Additionally, we provide a set of equations to estimate schedulability. Experimental results demonstrate the main advantages of our scheduling strategy.     

The Application of Save Functions of SDL in Communication Systems

1　ＩｎｔｒｏｄｕｃｔｉｏｎＩｔｉｓａｃｏｍｐｌｅｘａｎｄｄｉｆｆｉｃｕｌｔｊｏｂｔｏｄｅｓｉｇｎｔｈｅｓｏｆｔｗａｒｅｏｆｍｏｄｅｒｎｃｏｍｍｕｎｉｃａｔｉｏｎｓｙｓｔｅｍｓ.ＴｈｅｓｏｆｔｗａｒｅｏｆｃｏｍｍｕｎｉｃａｔｉｏｎｓｙｓｔｅｍｓｉｓｃｏｍｐｏｓｅｄｏｆＥｘｔｅｎｄｅｄＦｉｎｉｔｓＳｔａｔｅＭａｃｈｉｎｅ (ＥＦＳＭ )ｔｈａｔｒｕｎｓｉｎｐａｒａｌｌｅｌ.Ｔｈｅｓｅｓｔａｔｅｍａｃｈｉｎｅｓａｒｅｉｎｄｅｐｅｎｄｅｎｔｏｆｅａｃｈｏｔｈｅｒａｎｄｃｏｍｍｕｎｉｃａｔｅｗｉｔｈｄｉｓｃｒ…     

基于Web的餐饮管理和食品采购的系统开发

本文基于统一软件开发过程,详尽地描述了基于Web的餐饮管理和食品采购的系统开发全过程和关键技术。同时,利用PowerDesigner9．0作为CASE工具,建立业务模型和实体关系图,自动实现了面向SQL Server 2000的物理建模。该系统以Windows Server 2000为服务器,SQL Server 2000为后台数据库管理系统,还有基于VBScript的ASP开发前台。     

CASE工具在信息系统开发中的应用研究

本文阐述了基于CASE的系统开发方法与CASE开发环境。以ORACLE DESIGNER／2000为例,详细地说明了CASE工具在系统分析与动态建模、应用程序生成与系统优化、文档集成等方面的使用技巧。