skip to content
Domain modeling-based software engineering : a formal approach Preview this item
ClosePreview this item
Checking...

Domain modeling-based software engineering : a formal approach

Author: Ruqian Lu; Zhi Jin
Publisher: Boston, MA : Kluwer Academic, ©2000.
Series: Kluwer international series on Asian studies in computer and information science, 8.
Edition/Format:   Print book : EnglishView all editions and formats
Summary:

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  Read more...

Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Ruqian Lu; Zhi Jin
ISBN: 079237889X 9780792378891
OCLC Number: 44549005
Description: xvi, 347 pages : illustrations ; 25 cm.
Contents: 1. Challenge of the Era 3 --
1.1 Requirement Analysis Gap Revisited 3 --
1.2 Formal Methods 5 --
1.3 Knowledge Based Approaches 6 --
1.4 KISSME Approach 8 --
1.4.1 Introducing the Domain Knowledge 8 --
1.4.2 Knowledge based Formal Approach 10 --
1.4.3 Ontology based Domain Analysis 11 --
1.4.4 A Three-Layer Structure of Requirement Elicitation 11 --
1.4.5 Pre-Requirement Analysis 14 --
1.4.6 Automatic Generation of Software Architecture 16 --
1.4.7 Automation, Interaction and Evolution 17 --
1.4.8 Knowledge Industry 18 --
1.5 Eagle Projects and the PROMIS Tools 18 --
1.5.1 Eagle I Project 18 --
1.5.2 Eagle II Project 18 --
1.5.3 Eagle III Project 20 --
1.5.4 Eagle IV Project 20 --
Part II Domain Analysis and Domain Modeling --
2. Ontology-Oriented Domain Analysis: The Foundation 25 --
2.1 Domain Analysis and Domain Engineering 25 --
2.2 DADL: Ontology-Oriented External Domain Knowledge Representation 29 --
2.2.1 Features of the Domain 30 --
2.2.2 Activity Model 30 --
2.2.3 Role Model 31 --
2.2.4 Data Model 32 --
2.2.5 Domain Flow Model 35 --
2.3 Ontology as Formal Knowledge Representation 36 --
2.3.1 Can Object-Oriented Paradigm Express the Domain Knowledge? 36 --
2.3.2 Need for Ontology 37 --
2.4 A General Framework of Information Ontology 38 --
2.5 A Mathematical Model for Ontology 41 --
2.6 Architecture of Knowledge Models 44 --
2.6.1 Design Principle of DOKB 44 --
2.6.2 Family of Knowledge Models 46 --
2.7 ONONET: The Internal Domain Model Representation 51 --
2.8 INFORM: A Framework of Ontologies and Objects for Information System Modeling 53 --
2.8.1 Basic Object Types in INFORM 53 --
2.8.2 Organizing the Basic Entities with Relations 55 --
2.8.3 Basic Relation Types in INFORM 56 --
2.8.4 Basic Ontologies in INFORM 58 --
2.8.5 An Example in INFORM 62 --
2.9 SHOP: A Domain Model of Shopping Centers 64 --
2.10 Historical Remarks on Ontology like Domain Knowledge Representation 68 --
3. Ontology-Oriented Domain Analysis: The Dynamics 73 --
3.1 A Theory of Domain Classification 74 --
3.1.1 Need for Domain Classification 74 --
3.1.2 Enterprise Constructs and Repertory Grids 74 --
3.1.3 Building Up the Repertory Grids 78 --
3.1.4 Classifying the Enterprises 81 --
3.1.5 Classifying the Attributes 91 --
3.2 Build Virtual Domain Models: A Genetic Approach 92 --
3.3 SONONET and Well-Formed Domain Models 104 --
3.4 Interactive Operation for Constructing Domain Models 115 --
3.4.1 Interactive Operation 116 --
3.4.2 Tools for Constructing Domain Models 117 --
3.4.3 Knowledge Base Browser 118 --
Part III Knowledge based Software Development --
4. Automating The Requirement Analysis 123 --
4.1 Pseudo-Natural Language BIDL 123 --
4.1.1 Motivation of BIDL 123 --
4.1.2 Design of BIDL 124 --
4.2 Formalizing the Pseudo-Natural Languages 130 --
4.2.1 Relational Grammar 130 --
4.2.2 Parsing Pseudo-Natural Language Texts based on Relational Grammars 133 --
4.3 Pseudo-Natural Language for Pre-Requirement Analysis 134 --
4.3.1 Requirement Acquisition from Texts 134 --
4.3.2 Pre-Requirement Analysis and its Automation 135 --
4.3.3 Requirement Acquisition from Pseudo-Natural Language Texts: First Step of OORA 136 --
4.4 IS-net: Transformational Semantics of BIDL 137 --
4.4.1 Need for a Semantic Network Representation 137 --
4.4.2 Syntax and Semantics of IS-net 138 --
4.5 Interactive Knowledge Acquirer and Its Automation 142 --
4.5.1 INKAI: The PROMIS Knowledge Acquirer 142 --
4.5.2 Automated Construction of Interactive Knowledge Acquisition Interface 151 --
4.6 Historical Remarks on the Pseudo-Natural Language Understanding PNLU 154 --
4.6.1 Motivation for Introducing Pseudo-Natural Languages 154 --
4.6.2 Basic Idea of PNLU 155 --
4.6.3 First Experiences in PNLU 158 --
4.6.4 Application of PNLU Techniques to. Information Systems Modeling 158 --
4.6.5 An Assessment of the PNLU Approach 159 --
4.7 Historical Remarks on Semantic Network Representation 160 --
4.7.1 Snetl Language 160 --
4.7.2 CS-net Language 162 --
4.8 Historical Remarks on Knowledge Acquirers 163 --
5. Oora: Ontology Oriented Requirement Analysis 167 --
5.1 On Executable Specification 167 --
5.2 Object-Oriented Analysis Revisited 168 --
5.3 Ontology Recognition and Clustering 171 --
5.3.1 Procedure of Ontology Recognition and Clustering 171 --
5.4 Semantic Integrity of OORA 178 --
5.4.1 What do We Mean by Semantic Integrity? 178 --
5.4.2 Small and the Grand BIDL 181 --
5.4.3 Scalability of the Target Information System 182 --
5.4.4 Completeness of the Target Information System 183 --
5.4.5 Consistency of the Target Information System 184 --
5.4.6 Normality of the Target Information System 185 --
5.4.7 Intelligence of the Target Information System 186 --
5.5 User Independent And User Dependent Models 186 --
5.5.1 Why User Dependent Models? 186 --
5.5.2 Strategy Library and User Model 187 --
5.5.3 Environment Model 189 --
5.5.4 Strategy Forest 189 --
5.5.5 Case based UDM Generator 193 --
5.5.6 Make Use of Commonsense 195 --
6. Planning Software Architecture 201 --
6.1 Issues on Software Architecture and Architecture Description Languages 201 --
6.1.1 Motivation of Studying Software Architecture 201 --
6.1.2 Different Software Architecture 203 --
6.1.3 Architecture Description Languages 207 --
6.2 Architecture Description Language NEWCOM 209 --
6.2.1 An Overview of NEWCOM 209 --
6.2.2 Components of NEWCOM 210 --
6.2.3 Connectors of NEWCOM 213 --
6.2.5 A Comparison of NEWCOM with Other Architecture Implementation Languages 216 --
6.3 Planning the Client Server Architecture 217 --
6.4 Planning the Intranet 224 --
Part IV Virtual Enterprise --
7. Intelligent Information Service 229 --
7.1 Motivation and Approaches 229 --
7.2 A Technical Basis: Processing the Fuzzy Information 231 --
7.3 Architecture of PRINSE Data Warehouses 234 --
7.3.1 Hierarchical and Typed Model of Data Warehouse 234 --
7.4 Fuzzy Information Retrieval in Pseudo-Natural Language 237 --
7.4.1 Natural Style Query Language NQL 237 --
7.4.2 Query Language Interpreters 239 --
7.4.3 Query Answer Composers 240 --
7.4.4 Information Reporters 243 --
7.4.5 Data Warehouse Builder WARDER 243 --
7.5 Acquisition and Application of Temporal Knowledge 244 --
7.5.1 TEMPO System 244 --
7.5.2 TKDL: A Language For Describing the Temporal Knowledge 245 --
7.5.3 TKCM: A Compiler for Integrating the Temporal Knowledge 248 --
7.6 Tendency Detection from Temporal Data 252 --
7.6.1 Data Mining and Knowledge Discovery 252 --
7.6.2 Learning Fuzzy Decision Trees 253 --
7.6.3 Learning Fuzzy Decision Trees from Sequential and Incomplete Data 256 --
7.7 Other Functional Agents of PRINSE 267 --
7.7.1 Agents as Tendency Detector 267 --
7.7.2 Agents as Exception Handlers 268 --
7.7.3 Agents as Time Monitor 268 --
8. Software Reuse and System Evolution 269 --
8.1 Software Evolution versus Software Reuse 269 --
8.1.1 Software Reuse 269 --
8.1.2 Component Based and Knowledge Based Software Reuse 270 --
8.1.3 Software Evolution 271 --
8.2 Horizontal System Evolution 272 --
8.2.1 A General Schema of Software Reuse and Software Evolution in PROMIS 272 --
8.2.2 Program Evolution at BIDL Level 274 --
8.2.3 Program Evolution at NEWCOM Level 280 --
8.3 Vertical Software Evolution 282 --
8.3.1 Software Process as a Third Dimension of Software Evolution 282 --
8.3.2 Evolution of Software Process in PROMIS 284 --
8.3.3 Ontology as Software Process 285 --
8.3.4 Executable Software Process Ontology 289 --
8.4 Database Transformation 295 --
8.4.1 Meaning and Goals of Database Transformation 295 --
8.4.2 Data Warehouseo Evolution 297 --
8.5 Evolution of Tools 300 --
8.5.1 Tool Evolution at BIDL Level 300 --
8.5.2 Tool Evolution at Semantic Network Representation Level 304 --
8.5.3 Evolution at Knowledge Base Level 305 --
9.1 Combining Formal Methods with Knowledge Based Ones 311 --
9.2 Ontology as Unified Representation Paradigm for Different Approaches 313 --
9.2.1 Data Flow Diagram 313 --
9.2.2 Data Structure Diagram 314 --
9.2.3 Jackson Development Method 314 --
9.2.4 Entity Relationship Data Models 316 --
9.3 Knowledge Based Fast Prototyping and a New Software Life Cycle 317 --
9.4 Pseudo-Natural Language versus Natural Like Languages 322 --
9.4.1 Pseudo-Natural Language versus Pseudo Code 324 --
9.4.2 Pseudo-Natural Language versus Limited Natural Language 326 --
9.5 Knowledge Industry 329 --
9.5.1 Knowledge Engineers versus Software Engineers 329 --
9.5.2 Knowledge Industry versus Software Industry 330.
Series Title: Kluwer international series on Asian studies in computer and information science, 8.
Responsibility: by Ruqian Lu, Zhi Jin.
More information:

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.

Similar Items

Related Subjects:(4)

User lists with this item (4)

Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/44549005> # Domain modeling-based software engineering : a formal approach
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "44549005" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/837035149#Place/boston_ma> ; # Boston, MA
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/mau> ;
    schema:about <http://id.worldcat.org/fast/932926> ; # Formal methods (Computer science)
    schema:about <http://dewey.info/class/005.1/e21/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/837035149#Topic/methodes_formelles_informatique> ; # Méthodes formelles (Informatique)
    schema:about <http://id.worldcat.org/fast/1124185> ; # Software engineering
    schema:about <http://experiment.worldcat.org/entity/work/data/837035149#Topic/genie_logiciel> ; # Génie logiciel
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/55375130> ; # Zhi Jin
    schema:copyrightYear "2000" ;
    schema:creator <http://viaf.org/viaf/114231626> ; # Ruqian Lu
    schema:datePublished "2000" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/837035149> ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/837035149#Series/the_kluwer_international_series_on_asian_studies_in_computer_and_information_science> ; # The Kluwer international series on Asian studies in computer and information science ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/837035149#Series/kluwer_international_series_on_asian_studies_in_computer_and_information_science> ; # Kluwer international series on Asian studies in computer and information science ;
    schema:name "Domain modeling-based software engineering : a formal approach"@en ;
    schema:productID "44549005" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/44549005#PublicationEvent/boston_ma_kluwer_academic_2000> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/837035149#Agent/kluwer_academic> ; # Kluwer Academic
    schema:url <http://catdir.loc.gov/catdir/enhancements/fy0820/00057640-t.html> ;
    schema:workExample <http://worldcat.org/isbn/9780792378891> ;
    umbel:isLike <http://bnb.data.bl.uk/id/resource/GBA064634> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/44549005> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/837035149#Agent/kluwer_academic> # Kluwer Academic
    a bgn:Agent ;
    schema:name "Kluwer Academic" ;
    .

<http://experiment.worldcat.org/entity/work/data/837035149#Series/kluwer_international_series_on_asian_studies_in_computer_and_information_science> # Kluwer international series on Asian studies in computer and information science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/44549005> ; # Domain modeling-based software engineering : a formal approach
    schema:name "Kluwer international series on Asian studies in computer and information science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/837035149#Series/the_kluwer_international_series_on_asian_studies_in_computer_and_information_science> # The Kluwer international series on Asian studies in computer and information science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/44549005> ; # Domain modeling-based software engineering : a formal approach
    schema:name "The Kluwer international series on Asian studies in computer and information science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/837035149#Topic/methodes_formelles_informatique> # Méthodes formelles (Informatique)
    a schema:Intangible ;
    schema:name "Méthodes formelles (Informatique)"@fr ;
    .

<http://id.worldcat.org/fast/1124185> # Software engineering
    a schema:Intangible ;
    schema:name "Software engineering"@en ;
    .

<http://id.worldcat.org/fast/932926> # Formal methods (Computer science)
    a schema:Intangible ;
    schema:name "Formal methods (Computer science)"@en ;
    .

<http://viaf.org/viaf/114231626> # Ruqian Lu
    a schema:Person ;
    schema:birthDate "1935" ;
    schema:familyName "Lu" ;
    schema:givenName "Ruqian" ;
    schema:name "Ruqian Lu" ;
    .

<http://viaf.org/viaf/55375130> # Zhi Jin
    a schema:Person ;
    schema:birthDate "1962" ;
    schema:familyName "Jin" ;
    schema:givenName "Zhi" ;
    schema:name "Zhi Jin" ;
    .

<http://worldcat.org/isbn/9780792378891>
    a schema:ProductModel ;
    schema:isbn "079237889X" ;
    schema:isbn "9780792378891" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.