基于领域工程的构件化可扩展管理信息系统

为使管理信息系统（MJS）适应不断变化的用户需求,在基于领域工程的软件开发方法和构件技术基础上,对MIS的领域分析、领域设计和领域构件的实现进行详细研究;并在基于Struts、Spring和Hibernate三种组合框架支持下,利用领域模型的分层结构思想,提出了一种具有数据抽象与细粒化、松耦合层次风格相结合的软件体系结构,在此结构上结合构件技术和代码自动生成技术解决了MIS因环境或服务变化引起的系统需求变化,为MIS及相关系统因需求变化引起的领域对象及相关业务操作变化提供了一种合理的技术解决方案。     

An instrument for measuring the success of the requirements engineering process in information systems development

There exists a strong motivation for evaluating, understanding, and improving requirements engineering practices given that a successful requirements engineering process is necessary for a successful software system. Measuring requirements engineering success is central to evaluation, understanding, and improving these practices. In this paper, a research study whose objective was to develop an instrument to measure the success of the requirements engineering process is described. The domain of this study is developing customer-specific business information systems. The main result is a subjective instrument for measuring requirements engineering success. The instrument consists of 32 indicators that cover the two most important dimensions of requirements engineering success. These two dimensions were identified during the study to be: quality of requirements engineering products and quality of requirements engineering service. Evidence is presented demonstrating that the instrument has desirable psychometric properties, such as high reliability and good validity.This paper is a longer and more detailed version of the study reported in El Emam and Madhavji (1995).This work was supported in part by the IT Macroscope Project and NSERC Canada.     

智能需求获取与建模研究综述

基于大数据机器学习的智能软件研发过程需要综合运用软件工程、数据与领域知识工程、机器学习等多方面的知识和工具,涉及的研究主题和人员角色众多,技术实现手段复杂、研发难度大. 面向智能软件的需求工程需要面对领域知识、业务知识、数据科学交织带来的挑战. 然而,如何将领域知识和端到端的机器学习技术恰当地融合到给定的业务流程之中,以及如何应对工业、医疗等高可信要求场景中的可解释性需求,仍是亟待探索的重要研究问题. 调研了近年来面向机器学习应用的需求工程研究文献,对该领域的发展现状、核心问题和代表性方法进行综述. 提出了面向机器学习应用的可解释性需求分析框架. 基于该框架,通过一个工业智能应用案例分析了未来待研究的重要问题,展望了可行的研究路径.

     

Designing for operations: Towards a sociotechnical systems and cognitive engineering approach to concurrent engineering

In the practice of concurrent engineering, the factors that are considered early in the product design process include manufacturability, assembly, and cost. A set of issues that are not typically considered revolve around the operational requirements for human workers in the manufacturing system. What tasks will human workers accomplish? How will these tasks be organized and coordinated? What information and resources need to be shared? Will the workers have a coherent set of job responsibilities? How should the manufacturing environment be designed to support effective work practices? How can a manufacturing process be designed that also informs organizational structure and takes into account the quality of working life?

The field of sociotechnical systems theory (STS) focuses on exactly these kinds of issues. Rather than subscribing to the usual view of technological determinism — that a complex human-machine system is designed solely with respect to optimization of technical criteria — the goal of STS is to jointly optimize both human and technological considerations in system design and operation. The spirit of STS has much in common with recent work in cognitive systems engineering that advocates the design of joint cognitive systems in which machines serve as flexible, context-sensitive resources for human problem solving. Furthermore, a focus on design teams necessitates the study of the relationship between group work and technology as studied in the field of computer-supported cooperative work (CSCW). This paper briefly reviews current research in sociotechnical systems theory, computer-supported cooperative work, and cognitive systems engineering and proposes a framework for integrating operational concerns into the concurrent engineering process. Relevance to industry

To be competitive, organizations need to effectively manage human and technological resources. A key issue is the nature of the information and technological infrastructure that both enables and supports ‘best practice’ across the enterprise. This paper describes such an approach in the context of the ‘operational enterprise’ and provides both a philosophical stance as well as specific examples of software support.     

Scenario-based requirements analysis techniques for real-time software systems: a comparative evaluation

One of the most critical phases of software engineering is requirements elicitation and analysis. Success in a software project is influenced by the quality of requirements and their associated analysis since their outputs contribute to higher level design and verification decisions. Real-time software systems are event driven and contain temporal and resource limitation constraints. Natural-language-based specification and analysis of such systems are then limited to identifying functional and non-functional elements only. In order to design an architecture, or to be able to test and verify these systems, a comprehensive understanding of dependencies, concurrency, response times, and resource usage are necessary. Scenario-based analysis techniques provide a way to decompose requirements to understand the said attributes of real-time systems. However they are in themselves inadequate for providing support for all real-time attributes. This paper discusses and evaluates the suitability of certain scenario-based models in a real-time software environment and then proposes an approach, called timed automata, that constructs a formalised view of scenarios that generate timed specifications. This approach represents the operational view of scenarios with the support of a formal representation that is needed for real-time systems. Our results indicate that models with notations and semantic support for representing temporal and resource usage of scenario provide a better analysis domain.H. Saiedian is a member of the Information & Telecommunication Technology Center at the University of Kansas. His research was partially supported by a grant from the National Science Foundation (NSF).     

A Knowledge-Based Software Engineering Environment for reusable software requirements and architectures

This paper describes a prototype Knowledge-Based Software Engineering Environment used to demonstrate the concepts of reuse of software requirements and software architectures. The prototype environment, which is application-domain independent, is used to support the development of domain models and to generate target system specifications from them. The prototype environment consists of an integrated set of commercial-off-the-shelf software tools and custom developed software tools.The concept of reuse is prevalent at several levels of the domain modeling method and prototype environment. The environment itself is domain-independent thereby supporting the specification of diverse application domain models. The domain modeling method specifies a family of systems rather than a single system; features characterize the variations in functional requirements supported by the family and individual family members are specified by the features they are to support. The knowledge-based approach to target system generation provides the rules for generating target system specifications from the domain model; target system specifications, themselves, may be stored in an object repository for subsequent retrieval and reuse.     

An overview of workflow management: From process modeling to workflow automation infrastructure

Today's business enterprises must deal with global competition, reduce the cost of doing business, and rapidly develop new services and products. To address these requirements enterprises must constantly reconsider and optimize the way they do business and change their information systems and applications to support evolving business processes. Workflow technology facilitates these by providing methodologies and software to support (i) business process modeling to capture business processes as workflow specifications, (ii) business process reengineering to optimize specified processes, and (iii) workflow automation to generate workflow implementations from workflow specifications. This paper provides a high-level overview of the current workflow management methodologies and software products. In addition, we discuss the infrastructure technologies that can address the limitations of current commercial workflow technology and extend the scope and mission of workflow management systems to support increased workflow automation in complex real-world environments involving heterogeneous, autonomous, and distributed information systems. In particular, we discuss how distributed object management and customized transaction management can support further advances in the commercial state of the art in this area. Recomended by: Omran Bukhres and e. Kühn     

Understanding safety and production risks in rail engineering planning and protection

Much of the published human factors work on risk is to do with safety and within this is concerned with prediction and analysis of human error and with human reliability assessment. Less has been published on human factors contributions to understanding and managing project, business, engineering and other forms of risk and still less jointly assessing risk to do with broad issues of ‘safety’ and broad issues of ‘production’ or ‘performance’. This paper contains a general commentary on human factors and assessment of risk of various kinds, in the context of the aims of ergonomics and concerns about being too risk averse. The paper then describes a specific project, in rail engineering, where the notion of a human factors case has been employed to analyse engineering functions and related human factors issues. A human factors issues register for potential system disturbances has been developed, prior to a human factors risk assessment, which jointly covers safety and production (engineering delivery) concerns. The paper concludes with a commentary on the potential relevance of a resilience engineering perspective to understanding rail engineering systems risk. Design, planning and management of complex systems will increasingly have to address the issue of making trade-offs between safety and production, and ergonomics should be central to this. The paper addresses the relevant issues and does so in an under-published domain – rail systems engineering work.     

Understanding digital transformation in advanced manufacturing and engineering: A bibliometric analysis,topic modeling and research trend discovery

Digital transformation (DT) is the process of combining digital technologies with sound business models to generate great value for enterprises. DT intertwines with customer requirements, domain knowledge, and theoretical and empirical insights for value propagations. Studies of DT are growing rapidly and heterogeneously, covering the aspects of product design, engineering, production, and life-cycle management due to the fast and market-driven industrial development under Industry 4.0. Our work addresses the challenge of understanding DT trends by presenting a machine learning (ML) approach for topic modeling to review and analyze advanced DT technology research and development. A systematic review process is developed based on the comprehensive DT in manufacturing systems and engineering literature (i.e., 99 articles). Six dominant topics are identified, namely smart factory, sustainability and product-service systems, construction digital transformation, public infrastructure-centric digital transformation, techno-centric digital transformation, and business model-centric digital transformation. The study also contributes to adopting and demonstrating the ML-based topic modeling for intelligent and systematic bibliometric analysis, particularly for unveiling advanced engineering research trends through domain literature.     

User-centered requirements engineering in health information systems: a study in the hemophilia field

The use of sophisticated information and communication technologies (ICTs) in the health care domain is a way to improve the quality of services. However, there are also hazards associated with the introduction of ICTs in this domain and a great number of projects have failed due to the lack of systematic consideration of human and other non-technology issues throughout the design or implementation process, particularly in the requirements engineering process. This paper presents the methodological approach followed in the design process of a web-based information system (WbIS) for managing the clinical information in hemophilia care, which integrates the values and practices of user-centered design (UCD) activities into the principles of software engineering, particularly in the phase of requirements engineering (RE). This process followed a paradigm that combines a grounded theory for data collection with an evolutionary design based on constant development and refinement of the generic domain model using three well-known methodological approaches: (a) object-oriented system analysis; (b) task analysis; and, (c) prototyping, in a triangulation work. This approach seems to be a good solution for the requirements engineering process in this particular case of the health care domain, since the inherent weaknesses of individual methods are reduced, and emergent requirements are easier to elicit. Moreover, the requirements triangulation matrix gives the opportunity to look across the results of all used methods and decide what requirements are critical for the system success.     

Industrial Applications of Software Synthesis via Category Theory—Case Studies Using Specware

Over the last two years, we have demonstrated the feasibility of applying category-theoretic methods in specifying, synthesizing, and maintaining industrial strength software systems. We have been using a first-of-its-kind tool for this purpose, Kestrel's Specware^TM software development system. In this paper, we describe our experiences and give an industrial perspective on what is needed to make this technology have broader appeal to industry. Our overall impression is that the technology does work for industrial strength applications, but that it needs additional work to make it more usable. We believe this work marks a turning point in the use of mathematically rigorous approaches to industrial strength software development and maintenance.It is interesting to note that when this technology is applied to software systems whose outputs are designs for airplane parts, the design rationale that is captured is not only software engineering design rationale, but also design rationale from other engineering disciplines (e.g., mechanical, material, manufacturing, electrical, human factors, etc.). This suggests the technology provides an approach to general systems engineering that enables one to structure and reuse engineering knowledge broadly.     

Utilizing Event-B for domain engineering: a critical analysis

This paper presents our experience of modeling land transportation domain in the formal framework of Event-B. Well-specified requirements are crucial for good software design; they depend on the understanding of the domain. Thus, domain engineering becomes an essential activity. The possibility to have a formal model of a domain, consistent with the use of formal methods for developing critical software working within it, is an important issue. Safety-critical domains, like transportation, exhibit interesting features, such as high levels of nondeterminism, complex interactions, stringent safety properties, and multifaceted timing attributes. The formal representation of these features is a challenging task. We explore the possibility of utilizing Event-B as a domain engineering tool. We discuss the problems we faced during this exercise and how we tackled them. Special attention is devoted to the issue of the validation of the model, in particular with a technique based on the animation of specifications. Event-B is mature enough to be an effective tool to model domains except in some areas, temporal properties mainly, where more work is still needed.     

A framework for understanding creativity in requirements engineering

Creativity is important in the discovery and analysis of user and business requirements to achieve innovative uses of information and communication technologies. This paper builds a theoretical framework for understanding creativity in requirements engineering. The framework provides a systematic means of understanding creativity in requirements engineering and comprises five elements (product, process, domain, people and socio-organisational context). The framework provides researchers with a sound basis for exploring how the five elements of creativity can be incorporated within RE methods and techniques to support creative requirements engineering. It provides practitioners with a systematic means of creating environments that nurture and develop creative people, cognitive and collaborative processes and products.     

A decision support system for product design in concurrent engineering

Compared with the traditional sequential design method, concurrent engineering is a systematic approach to integrate concurrent design of products and their related processes. One of the key factors to successfully implement concurrent engineering is information technology. In order to design a product and its manufacturing process simultaneously, information on product features, manufacturing requirements, and customer demands must be processed while the design is concurrently going on. There is an increased understanding of the importance of the correct decisions being made at the conceptual design and development stages that involve many complex evaluation and decision-making tasks. In order to promote the efficiency in concurrent product development, appropriate evaluation and decision tools need to be provided. In this paper, the characteristics of fuzzy, multi-stage evaluation and decision making in concurrent product development process are analyzed and a decision support system for product design in concurrent engineering is presented. An example is given to illustrate the application of the system.     

基于领域工程的卫生监督信息系统研究与实现

在领域工程理论的指导下,通过分析研究卫生监督领域各业务领域的特点,采用面向特征的领域分析方法,结合面向对象的软件工程思想,得出了该领域的可继承的业务通用构件及系统体系结构,并阐述了卫生监督信息系统的领域分析、领域设计和领域实现的详细建模过程。     

自动化工程软件的设计方法

随着计算机编程技术在自动化工程软件应用中的发展,越来越多的PLC编程系统均支持新的程序设计理念和方法。为了使得这些方法和理念能够在PLC的编程中得以利用,提高PLC程序的编程效率和程序质量,结合多年的自动化工程软件设计和开发经验,以西门子S7系列PLC为基础,探讨了面向对象的程序设计理念和方法在程序设计和开发中的应用,提出了适应自动化工程要求的软件设计原则、步骤和方法。实践证明,该方法可以缩短程序设计时间,提高程序使用的可靠性。     

Graph based knowledge models for capitalizing,predicting and learning: A proof of concept applied to the dam systems

The capitalization and the analysis of historical information is nowadays a prerequisite for any effective risk management and assessment in a wide range of domains. Despite the development of mathematical models, procedures, support decision systems and databases, some engineering disciplines, such as civil engineering, remain resistant to the use of new digital technology due to the gap between the expectations of the engineers and the support that the tools may really provide. It is essential to propose a tool able to process both cross disciplinary and interdisciplinary knowledge flux and feedback from experience in a common and convenient unifying framework. The aim is to assist and to support engineering work and to make the task of knowledge modelling easier. The domain of dam systems is no exception to the rule. Dam failures are still commonplace. These failures stem from a lack of understanding about the complex relationships between three different factors: random hazards, the limit states of dam structures along with human activities and decisions. No generic and holistic approach is currently available that permits the processing of both knowledge and data, performs inferences and is easily usable for all types of users. This paper proposes the basic principles of a convenient design methodology for capitalizing, learning and predicting based on the formalism of conceptual graphs. The aim is to provide an easily usable tool able to (1) capitalise heterogeneous knowledge and store a database about dams, (2) issue alerts on current projects, (3) draw lessons from past dam failures and (4) tackle key issues in forensic civil engineering.     

面向交通领域构件的特征建模方法

将领域工程应用于智能交通系统,对交通领域内变化性需求进行封装、隔离和抽象,指导交通构件的设计与实现。解决交通领域内可复用信息的识别、组织和利用,满足交通领域内软件复用、资源共享与协同的要求。基于FODA领域工程分析方法,扩展其面向特征的建模方法。结合交通领域工程的交通信息发布服务应用实例,说明面向特征领域建模方法的可行性。     

XML-based requirements engineering for an electronic clearinghouse

We present methods and tools to support XML-based requirements engineering for an electronic clearinghouse that connects trading partners in the telecommunications area. The original semi-structured requirements, locally known as business rules, were written as message specifications in a non-standardized and error-prone format using MS Word. To remedy the resulting software failures and faults, we first formalized the requirements by designing an W3C XML Schema for the precise definition of the requirements structure. The schema allows a highly structured representation of the essential information in eXtensible Markup Language (XML). Second, to offer the requirements engineers the ability to edit the XML documents in a friendly way while preserving their information structure, we developed a custom editor called XLEdit. Third, by developing a converter from MS Word to the target XML format, we helped the requirements engineers to migrate the existing business rules. Fourth, we developed translators from the structured requirements to schema languages, which enabled automated generation of message-validation code. The increase in customer satisfaction and clearinghouse-service efficiency are primary gains from the investment in the technology for structured requirements editing and validation.     

Requirements for a virtual environment to support the social participation education of low-literates

People of low literacy experience difficulties while participating in society. Learning support software could help alleviate these difficulties. However, there is currently no overview of theoretically and empirically sound requirements for this kind of support. This paper uses the situated cognitive engineering method to create a requirements baseline for a virtual environment to support the societal participation education of low-literates (VESSEL), based on an analysis of the domain, human factors, and current applications. Four major outcomes are presented. First, a comprehensive overview is collected of the operational demands and human factors knowledge relevant to societal participation learning for low-literate citizens. Second, this overview is translated into a list of eight functional requirements: focused on low-literate learners, set in the context of societal participation, and supported by claims of cognitive, affective, and social benefits to learning. Third, a sample of Dutch societal participation learning support programs is assessed using these requirements, to highlight both current technology best practices and discrepancies between theory and practice. Fourth, virtual learning environment technology is suggested as an ‘enabling’ technology; an overview is shown of how virtual environments, actors, and objects can beneficially enable meeting the requirements baseline. Finally, directions for future study are discussed.