Domain Modeling-Based Software Engineering

A Formal Approach

  • Ruqian Lu
  • Zhi Jin

Table of contents

  1. Front Matter
    Pages i-xix
  2. Introduction

    1. Front Matter
      Pages 1-1
    2. Ruqian Lu, Zhi Jin
      Pages 3-22
  3. Domain Analysis and Domain Modeling

    1. Front Matter
      Pages 23-23
    2. Ruqian Lu, Zhi Jin
      Pages 25-71
    3. Ruqian Lu, Zhi Jin
      Pages 73-119
  4. The Knowledge Based Software Development

    1. Front Matter
      Pages 121-121
    2. Ruqian Lu, Zhi Jin
      Pages 123-166
    3. Ruqian Lu, Zhi Jin
      Pages 167-199
    4. Ruqian Lu, Zhi Jin
      Pages 201-225
  5. The Virtual Enterprise

    1. Front Matter
      Pages 227-227
    2. Ruqian Lu, Zhi Jin
      Pages 229-268
    3. Ruqian Lu, Zhi Jin
      Pages 269-307
  6. A Summary

    1. Front Matter
      Pages 309-309
    2. Ruqian Lu, Zhi Jin
      Pages 311-333
  7. Back Matter
    Pages 335-347

About this book


Many approaches have been proposed to enhance software productivity and reliability. These approaches typically fall into three categories: the engineering approach, the formal approach, and the knowledge-based approach. The optimal gain in software productivity cannot be obtained if one relies on only one of these approaches. Thus, the integration of different approaches has also become a major area of research.
No approach can be said to be perfect if it fails to satisfy the following two criteria. Firstly, a good approach should support the full life cycle of software development. Secondly, a good approach should support the development of large-scale software for real use in many application domains. Such an approach can be referred to as a five-in-one approach.
The authors of this book have, for the past eight years, conducted research in knowledge-based software engineering, of which the final goal is to develop a paradigm for software engineering which not only integrates the three approaches mentioned above, but also fulfils the two criteria on which the five-in-one approach is based. Domain Modeling- Based Software Engineering: A Formal Approach explores the results of this research.
Domain Modeling-Based Software Engineering: A Formal Approach will be useful to researchers of knowledge-based software engineering, students and instructors of computer science, and software engineers who are working on large-scale projects of software development and want to use knowledge-based development methods in their work.


architecture calculus computer computer science development modeling object oriented design productivity software software architecture software development software engineering

Authors and affiliations

  • Ruqian Lu
    • 1
  • Zhi Jin
    • 1
  1. 1.Academia SinicaBeijingPeople’s Republic of China

Bibliographic information

  • DOI
  • Copyright Information Kluwer Academic Publishers 2000
  • Publisher Name Springer, Boston, MA
  • eBook Packages Springer Book Archive
  • Print ISBN 978-1-4613-7022-2
  • Online ISBN 978-1-4615-4487-6
  • Series Print ISSN 1566-0710
  • Buy this book on publisher's site