Normal view MARC view ISBD view

Conceptual modeling of information systems / (Record no. 1914)

MARC details
000 -LEADER
fixed length control field	30523cam a22001694a 4500
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number	9783540393894 (hardcover : alk. paper)
040 ## - CATALOGING SOURCE
Transcribing agency	CUS
082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number	004
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name	Olivé, A.,
245 10 - TITLE STATEMENT
Title	Conceptual modeling of information systems /
Statement of responsibility, etc.	Antoni Olivé.
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc.	Berlin ;
--	New York :
Name of publisher, distributor, etc.	Springer,
Date of publication, distribution, etc.	2007.
300 ## - PHYSICAL DESCRIPTION
Extent	xxv, 455 p.ill.:
Dimensions	25 cm.
505 ## - FORMATTED CONTENTS NOTE
Formatted contents note	1 Introduction<br/>1.1 Functions of an Information System<br/>1.1.1 The Memory Function<br/>1.1.2 The Informative Function<br/>1.1.3 The Active Function<br/>1.1.4 Examples of Information Systems<br/>1.2 Conceptual Modeling<br/>1.2.1 The Structural Schema<br/>1.2.2 The Information Base<br/>1.2.3 The Behavioral Schema<br/>1.2.4 Integrity Constraints<br/>1.2.5 Derivation Rules<br/>1.2.6 The Principle of Necessity for Conceptual Schemas<br/>1.3 The Abstract Architecture of an Information System<br/>1.4 Requirements Engineering<br/>1.5 Quality of Conceptual Schemas<br/>1.6 A Brief History of Conceptual Modeling<br/>1.6.1 Logical Models<br/>1.6.2 Semantic Data Models<br/>1.6.3 Conceptual Models of Information Systems<br/>1.6.4 Object Orientation<br/>1-7 Bibliographical Notes<br/>2 Entity Types<br/>2.1 Introduction<br/>21.1 Definitional Concepts<br/>2.1.2 Functions of a Concept<br/>2.1.3 Prototypical Concepts<br/>2.1.4 Exemplar-Based Concepts<br/>2.2 Design of Concepts<br/>2.3 Definition of Entity Types<br/>2.3.1 Names<br/>2.3.2 Population<br/>2.3.3 Subsumption<br/>2.4 Representation in an Information System<br/>2.4.1 State of the Information Base<br/>2.4.2 Logical Representation<br/>2.4.3 Representation in UML<br/>2.4.4 Conceptual Models; Single or Multiple Classification<br/>2.4.5 Conceptual Models: Static or Dynamic Classification<br/>2.4.6 Properties of the Representation<br/>2.5 Data Types<br/>2.5.1 Data Types in UML<br/>2.6 Bibliographical Notes<br/>2.7 Exercises<br/>3 Relationship Types<br/>3.1 Definition<br/>3.1.1 Degree<br/>3.1.2 Pattern Sentence<br/>3.1.3 Unary Relationship Types<br/>3.1.4 Population<br/>3.1.5 Subsumption<br/>3.2 Representation in an Information System<br/>3.2.1 State of the Information Base<br/>3.2.2 Logical Representation<br/>3.2.3 Representation in UML<br/>3-2.4 Properties of the Representation<br/>3.3 Attributes<br/>3.3.1 Conceptual Models Based on Attributes<br/>3.3.2 Attribute Pattern Sentence<br/>3.3.3 Representation in UML<br/>3.3.4 On the Use of Attributes<br/>3.4 Bibliographical Notes<br/>3.5 Exercises<br/>4 Cardinality Constraints<br/>4.1 Cardinality Constraints of Binary Relationship Types<br/>4 r.2 Relationship Types<br/>4.1.2 Recursive Relationship Types<br/>4.1.3 Satisfiability of Cardinality Constraints<br/>4.2 Cardinality Constraints of n-ary Relationship Types<br/>4.2.1 Consistency and Inference Rules<br/>4.3 Maximal Participation<br/>4.4 Bibliographical Notes<br/>4.5 Exercises<br/>5 Particular Kinds of Relationship Type<br/>5.1 Reference Relationship Types<br/>5.1.1 Simple Reference<br/>5.1.2 Compound Reference<br/>5.1.3 Set Reference<br/>5.2 Identification<br/>5.2.1 Identifiability of Entity Types<br/>5.3 Replacing Entities with Identifiers in Relationships<br/>5.4 Elementary Relationship Types<br/>5.5 Decomposing NonElementary Relationship Types<br/>5.5.1 Decomposition Based on Functional Dependencies<br/>5.5.2 Decomposition Based on Multivalued Dependencies<br/>5.5.3 Decomposition by Absorbing a Constant Entity Type<br/>5.6 Bibliographical Notes<br/>5.7 Exercises<br/>6 Reification<br/>6.1 Definition<br/>6.2 Representation in UML<br/>6.2.1 Association Classes<br/>6.2.2 Implicit Reification<br/>6.2.3 Implicit Reification as a Schema Transformation<br/>6.3 Partial Reification<br/>6.4 Bibliographical Notes<br/>6.5 Exercises<br/>7 Generic Relationship Types<br/>7.1 Definition<br/>7.2 Representation in an Information System<br/>7.2.1 Logical Representation<br/>7.2.2 Representation in UML<br/>7.3 Part-Whole Relationships<br/>7.3.1 Description<br/>7.3.2 Representation in UML<br/>7.3.3 Part Sharing<br/>7.3.4 Part Dependency<br/>7.4 Grouping<br/>7.4.1 Description<br/>7.4.2 Representation in UML<br/>7.4.3 Homogeneous Versus Heterogeneous Groups<br/>7.5 Roles<br/>7.5.1 Description<br/>7.5.2 Representation in UML<br/>7.5.3 Propagation<br/>7.6 Materialization<br/>7.6.1 Description<br/>7.6.2 Representation in UML<br/>7.6.3 Inheritance<br/>7.7 Bibliographical Notes<br/>7.8 Exercises<br/>8 Derived Types<br/>8.1 Derivability<br/>8.1.1 Base Types<br/>8.1.2 Derived Types<br/>8.1.3 Hybrid Types<br/>8.1.4 Transformation of Hybrid Types into Derived Types<br/>8.1.5 Design of Derivability<br/>8.2 Representation in an Information System<br/>8.2.1 Logical Representation<br/>8.2.2 Representation in UML<br/>8.2.3 Representation of Derivation Rules by Operations<br/>8.3 Particular Kinds of Derived Type<br/>8.3.1 Derived by Union<br/>8.3.2 Derived by Specialization<br/>8.3.3 Derived by Exclusion<br/>8.3.4 Derived by Participation<br/>8.3.5 Transitive Closure<br/>8 s '^ules for Constant Relationship Types 8.5 Hybrid Types m UML 8.6 Justification for Derived Types<br/>8.7 Bibliographical Notes<br/>8.8 Exercises<br/>9 Integrity Constraints<br/>9.1 The Concept of an Integrity Constraint<br/>9.1.1 Integrity = Validity + Completeness<br/>9.1.2 Integrity Constraints<br/>9.1.3 Violation of Integrity Constraints<br/>9.1.4 Violation Response Actions<br/>9.2 Classification of Integrity Constraints<br/>9.2.1 Classification According to Source<br/>9.2.2 Classification According to Scope<br/>9.2.3 Classification According to Cause of Violation<br/>9.3 Representation in an Information System<br/>9.3.1 Logical Representation<br/>9.3.2 Representation in UML<br/>9.3.3 Representation of Constraints by Operations<br/>9.4 Particular Kinds of Static Constraint<br/>9.4.1 Key Constraints<br/>9.4.2 Reference Constraints<br/>9.4.3 Inclusion Constraints<br/>9.4.4 Disjunction Constraints<br/>9.4.5 Covering Constraints<br/>9.4.6 Constraints of Recursive Binary Relationship Types<br/>9.4.7 Entity Type Cardinality Constraints<br/>9.5 Creation-Time Constraints<br/>9.6 Bibliographical Notes<br/>9.7 Exercises<br/>10 Taxonomies<br/>10.1 Specialization.<br/>10.1.1 The/5/1 Relationship<br/>10.1.2 Entity Types Derived by Intersection and Multiple<br/>Classification<br/>10.1.3 The Entity Type Entity<br/>10.2 Generalization<br/>10.2.1 The Gens Relationship<br/>10.2.2 Constraints on Generalizations<br/>10.2.3 Generalization/Specialization Dimension<br/>10.2.4 Explicit Subtypes versus Explicit Dimension Attributes<br/>10.2.5 Partitions<br/>10.3 The Taxonomy of a Conceptual Schema<br/>10.3.1 Valid Type Configurations<br/>10.3.2 Taxonomic Constraints and Derivability<br/>10.3.3 Partitions and Derivability<br/>10.4 Relationship Type Refinement<br/>10.4.1 Participant Refinement<br/>10.4.2 Particular Kinds of Participant Refinement<br/>10.4.3 Cardinality Constraint Strengthening<br/>10.4.4 Interaction of/.svl and Cardinality Constraints<br/>10.4.5 Derivation Rule Redefinition<br/>10.4.6 Redefining a Base Relationship Type as Derived<br/>10.5 Constraint Specialization<br/>10.6 Specialization/Generalization of Relationship Types<br/>10.6.1 IsA and Gens Between Relationship Types<br/>10.6.2 Reification and Specialization<br/>10.7 Bibliographical Notes<br/>10.8 Exercises<br/>11 Domain Events<br/>11.1 Domain Events as Sets of Structural Events<br/>11.1.1 Structural Events<br/>11.1.2 Domain Events<br/>11.2 Representation in an Information System<br/>11.2.1 Domain Events as Entities<br/>11.2.2 Logical Representation<br/>11.2.3 UML Representation<br/>11.3 Domain Event Constraints<br/>11.3.1 Logical Representation<br/>11.3.2 UML Representation<br/>11.4 Event Effects: The Postcondition Approach<br/>11.4.1 Logical Representation<br/>11.4.2 UML Representation<br/>11.4.3 The Frame Problem<br/>11.5 Event Effects: The Procedural Approach<br/>11.5.1 Logical Representation<br/>11.5.2 UML Representation<br/>11.6 Consistency with the Structural Schema<br/>11.7 Bibliographical Notes<br/>11.8 Exercises<br/>12 Action Request Events<br/>12.1 Actions and Action Request Events<br/>12.1.1 Scope of this Chapter<br/>12.2 Action Request Event Types<br/>12.2.1 Characteristics of Action Request Events.<br/>12.2.2 Constraints of Action Request Events<br/>12.3 Effects of Queries<br/>12.4 Effects of Action Request Events<br/>12.4.1 Effects of Domain Event Notifications<br/>12.5 Event Specialization<br/>12.6 Generating Conditions<br/>12.7 Bibliographical Notes<br/>12.8 Exercises<br/>13 State Transition Diagrams<br/>13.1 Finite State Machines<br/>13.1.1 Finite Automata<br/>13.1.2 Moore and Mealy Machines<br/>13.2 Entities as State Machines<br/>13.2.1 Entity Life Cycle<br/>13.3 State Transition Diagrams in UML<br/>13.3.1 Transitions Triggered by Change and Time Events<br/>13.3.2 Unexpected-Event Reception<br/>13.3.3 Initial State<br/>13.3.4 Final State<br/>13.3.5 Junction<br/>13.3.6 Choice<br/>13.4 From Domain and Action Request Events to Call Events<br/>13.4.1 Localization of Event Constraints and Effects<br/>13.5 Entity Types with Multiple State Transition Diagrams<br/>13.6 Bibliographical Notes<br/>13.7 Exercises<br/>14 Statecharts<br/>14.1 The State Hierarchy<br/>14.1.1 Simple Composite States<br/>14.1.2 State Configuration and Entity Life Cycle<br/>14.1.3 Initial Pseudostate<br/>14.1.4 Conflicting Transitions<br/>14.2 Parallelism<br/>14.2.1 Initial Pseudostate<br/>14.2.2 Firing Multiple Transitions<br/>14.2.3 Fork<br/>14.2.4 Join<br/>14.3 Bibliographical Notes<br/>14.4 Exercises<br/>15 Use Cases<br/>15.1 Actors<br/>15.2 Use Cases<br/>15.2.1 Definition<br/>15.2.2 Use Case Actors<br/>15.2.3 Use Case Specification<br/>15.2.4 Relationships Between Use Cases<br/>15.2.5 Use Case Model<br/>15.3 Mapping Use Cases to Requests<br/>15.3.1 Textual References<br/>15.3.2 Creation Dependencies<br/>15.3.3 Sequence Diagrams<br/>15.4 Bibliographical Notes<br/>15.5 Exercises<br/>16 Case Study<br/>16.1 Main Domain Concepts<br/>16.2 Store Configuration<br/>16.2.1 Store Data<br/>16.2.2 Minimum Values<br/>16.3 Store Administration<br/>16.3.1 Manufacturers<br/>16.3.2 Categories<br/>16.3.3 Products<br/>16.4 Customers<br/>16.5 Online Catalog<br/>16.5.1 Shopping Carts<br/>16.5.2 Orders<br/>16.5.3 Show Previous Orders<br/>17 Metamodeling<br/>17.1 Meta Entity Types<br/>17.1.1 Definition<br/>17.1.2 Classification Level<br/>17.1.3 InstanceOf versus Is A<br/>17.1.4 Monolevel and Multilevel Information Bases<br/>17.1.5 Logical Representation<br/>17.1.6 Representation in UML<br/>17.2 Powertypes,<br/>17.3 Class Relationship Types<br/>17.4 Meta Relationship Types<br/>17.4.1 Definition<br/>17.4.2 Logical Representation<br/>17.4.3 Representation in UML<br/>17.5 Metaschemas<br/>17.5.1 Definition<br/>17.5.2 Example of a Metaschema<br/>17.5.3 Levels of a Meta Information Base<br/>17.5.4 The Importance of Metaschemas<br/>17.5.5 Conceptual Models versus Metaschemas<br/>17.5.6 The UML Metaschema.<br/>17.6 Stereotypes<br/>17.6.1 Definition<br/>17.6.2 Stereotypes in the Metaschema<br/>17.7 Bibliographical Notes<br/>17.8 Exercises<br/>18 The MOF and XMl<br/>18.1 Meta-Metaschemas<br/>18.1.1 Definition.<br/>18.1.2 The MOF<br/>18.2 The MOF as a Conceptual Modeling Language<br/>18.2.1 The MOF as an w-metaschema<br/>18.3 XMl<br/>18.3.1 XMl Representation of Entities and Relationships<br/>18.3.2 XMl Representation of UML Schemas<br/>18.4 Bibliographical Notes<br/>18.5 Exercises<br/>References<br/>Index1 Introduction<br/>1.1 Functions of an Information System<br/>1.1.1 The Memory Function<br/>1.1.2 The Informative Function<br/>1.1.3 The Active Function<br/>1.1.4 Examples of Information Systems<br/>1.2 Conceptual Modeling<br/>1.2.1 The Structural Schema<br/>1.2.2 The Information Base<br/>1.2.3 The Behavioral Schema<br/>1.2.4 Integrity Constraints<br/>1.2.5 Derivation Rules<br/>1.2.6 The Principle of Necessity for Conceptual Schemas<br/>1.3 The Abstract Architecture of an Information System<br/>1.4 Requirements Engineering<br/>1.5 Quality of Conceptual Schemas<br/>1.6 A Brief History of Conceptual Modeling<br/>1.6.1 Logical Models<br/>1.6.2 Semantic Data Models<br/>1.6.3 Conceptual Models of Information Systems<br/>1.6.4 Object Orientation<br/>1-7 Bibliographical Notes<br/>2 Entity Types<br/>2.1 Introduction<br/>21.1 Definitional Concepts<br/>2.1.2 Functions of a Concept<br/>2.1.3 Prototypical Concepts<br/>2.1.4 Exemplar-Based Concepts<br/>2.2 Design of Concepts<br/>2.3 Definition of Entity Types<br/>2.3.1 Names<br/>2.3.2 Population<br/>2.3.3 Subsumption<br/>2.4 Representation in an Information System<br/>2.4.1 State of the Information Base<br/>2.4.2 Logical Representation<br/>2.4.3 Representation in UML<br/>2.4.4 Conceptual Models; Single or Multiple Classification<br/>2.4.5 Conceptual Models: Static or Dynamic Classification<br/>2.4.6 Properties of the Representation<br/>2.5 Data Types<br/>2.5.1 Data Types in UML<br/>2.6 Bibliographical Notes<br/>2.7 Exercises<br/>3 Relationship Types<br/>3.1 Definition<br/>3.1.1 Degree<br/>3.1.2 Pattern Sentence<br/>3.1.3 Unary Relationship Types<br/>3.1.4 Population<br/>3.1.5 Subsumption<br/>3.2 Representation in an Information System<br/>3.2.1 State of the Information Base<br/>3.2.2 Logical Representation<br/>3.2.3 Representation in UML<br/>3-2.4 Properties of the Representation<br/>3.3 Attributes<br/>3.3.1 Conceptual Models Based on Attributes<br/>3.3.2 Attribute Pattern Sentence<br/>3.3.3 Representation in UML<br/>3.3.4 On the Use of Attributes<br/>3.4 Bibliographical Notes<br/>3.5 Exercises<br/>4 Cardinality Constraints<br/>4.1 Cardinality Constraints of Binary Relationship Types<br/>4 r.2 Relationship Types<br/>4.1.2 Recursive Relationship Types<br/>4.1.3 Satisfiability of Cardinality Constraints<br/>4.2 Cardinality Constraints of n-ary Relationship Types<br/>4.2.1 Consistency and Inference Rules<br/>4.3 Maximal Participation<br/>4.4 Bibliographical Notes<br/>4.5 Exercises<br/>5 Particular Kinds of Relationship Type<br/>5.1 Reference Relationship Types<br/>5.1.1 Simple Reference<br/>5.1.2 Compound Reference<br/>5.1.3 Set Reference<br/>5.2 Identification<br/>5.2.1 Identifiability of Entity Types<br/>5.3 Replacing Entities with Identifiers in Relationships<br/>5.4 Elementary Relationship Types<br/>5.5 Decomposing NonElementary Relationship Types<br/>5.5.1 Decomposition Based on Functional Dependencies<br/>5.5.2 Decomposition Based on Multivalued Dependencies<br/>5.5.3 Decomposition by Absorbing a Constant Entity Type<br/>5.6 Bibliographical Notes<br/>5.7 Exercises<br/>6 Reification<br/>6.1 Definition<br/>6.2 Representation in UML<br/>6.2.1 Association Classes<br/>6.2.2 Implicit Reification<br/>6.2.3 Implicit Reification as a Schema Transformation<br/>6.3 Partial Reification<br/>6.4 Bibliographical Notes<br/>6.5 Exercises<br/>7 Generic Relationship Types<br/>7.1 Definition<br/>7.2 Representation in an Information System<br/>7.2.1 Logical Representation<br/>7.2.2 Representation in UML<br/>7.3 Part-Whole Relationships<br/>7.3.1 Description<br/>7.3.2 Representation in UML<br/>7.3.3 Part Sharing<br/>7.3.4 Part Dependency<br/>7.4 Grouping<br/>7.4.1 Description<br/>7.4.2 Representation in UML<br/>7.4.3 Homogeneous Versus Heterogeneous Groups<br/>7.5 Roles<br/>7.5.1 Description<br/>7.5.2 Representation in UML<br/>7.5.3 Propagation<br/>7.6 Materialization<br/>7.6.1 Description<br/>7.6.2 Representation in UML<br/>7.6.3 Inheritance<br/>7.7 Bibliographical Notes<br/>7.8 Exercises<br/>8 Derived Types<br/>8.1 Derivability<br/>8.1.1 Base Types<br/>8.1.2 Derived Types<br/>8.1.3 Hybrid Types<br/>8.1.4 Transformation of Hybrid Types into Derived Types<br/>8.1.5 Design of Derivability<br/>8.2 Representation in an Information System<br/>8.2.1 Logical Representation<br/>8.2.2 Representation in UML<br/>8.2.3 Representation of Derivation Rules by Operations<br/>8.3 Particular Kinds of Derived Type<br/>8.3.1 Derived by Union<br/>8.3.2 Derived by Specialization<br/>8.3.3 Derived by Exclusion<br/>8.3.4 Derived by Participation<br/>8.3.5 Transitive Closure<br/>8 s '^ules for Constant Relationship Types 8.5 Hybrid Types m UML 8.6 Justification for Derived Types<br/>8.7 Bibliographical Notes<br/>8.8 Exercises<br/>9 Integrity Constraints<br/>9.1 The Concept of an Integrity Constraint<br/>9.1.1 Integrity = Validity + Completeness<br/>9.1.2 Integrity Constraints<br/>9.1.3 Violation of Integrity Constraints<br/>9.1.4 Violation Response Actions<br/>9.2 Classification of Integrity Constraints<br/>9.2.1 Classification According to Source<br/>9.2.2 Classification According to Scope<br/>9.2.3 Classification According to Cause of Violation<br/>9.3 Representation in an Information System<br/>9.3.1 Logical Representation<br/>9.3.2 Representation in UML<br/>9.3.3 Representation of Constraints by Operations<br/>9.4 Particular Kinds of Static Constraint<br/>9.4.1 Key Constraints<br/>9.4.2 Reference Constraints<br/>9.4.3 Inclusion Constraints<br/>9.4.4 Disjunction Constraints<br/>9.4.5 Covering Constraints<br/>9.4.6 Constraints of Recursive Binary Relationship Types<br/>9.4.7 Entity Type Cardinality Constraints<br/>9.5 Creation-Time Constraints<br/>9.6 Bibliographical Notes<br/>9.7 Exercises<br/>10 Taxonomies<br/>10.1 Specialization.<br/>10.1.1 The/5/1 Relationship<br/>10.1.2 Entity Types Derived by Intersection and Multiple<br/>Classification<br/>10.1.3 The Entity Type Entity<br/>10.2 Generalization<br/>10.2.1 The Gens Relationship<br/>10.2.2 Constraints on Generalizations<br/>10.2.3 Generalization/Specialization Dimension<br/>10.2.4 Explicit Subtypes versus Explicit Dimension Attributes<br/>10.2.5 Partitions<br/>10.3 The Taxonomy of a Conceptual Schema<br/>10.3.1 Valid Type Configurations<br/>10.3.2 Taxonomic Constraints and Derivability<br/>10.3.3 Partitions and Derivability<br/>10.4 Relationship Type Refinement<br/>10.4.1 Participant Refinement<br/>10.4.2 Particular Kinds of Participant Refinement<br/>10.4.3 Cardinality Constraint Strengthening<br/>10.4.4 Interaction of/.svl and Cardinality Constraints<br/>10.4.5 Derivation Rule Redefinition<br/>10.4.6 Redefining a Base Relationship Type as Derived<br/>10.5 Constraint Specialization<br/>10.6 Specialization/Generalization of Relationship Types<br/>10.6.1 IsA and Gens Between Relationship Types<br/>10.6.2 Reification and Specialization<br/>10.7 Bibliographical Notes<br/>10.8 Exercises<br/>11 Domain Events<br/>11.1 Domain Events as Sets of Structural Events<br/>11.1.1 Structural Events<br/>11.1.2 Domain Events<br/>11.2 Representation in an Information System<br/>11.2.1 Domain Events as Entities<br/>11.2.2 Logical Representation<br/>11.2.3 UML Representation<br/>11.3 Domain Event Constraints<br/>11.3.1 Logical Representation<br/>11.3.2 UML Representation<br/>11.4 Event Effects: The Postcondition Approach<br/>11.4.1 Logical Representation<br/>11.4.2 UML Representation<br/>11.4.3 The Frame Problem<br/>11.5 Event Effects: The Procedural Approach<br/>11.5.1 Logical Representation<br/>11.5.2 UML Representation<br/>11.6 Consistency with the Structural Schema<br/>11.7 Bibliographical Notes<br/>11.8 Exercises<br/>12 Action Request Events<br/>12.1 Actions and Action Request Events<br/>12.1.1 Scope of this Chapter<br/>12.2 Action Request Event Types<br/>12.2.1 Characteristics of Action Request Events.<br/>12.2.2 Constraints of Action Request Events<br/>12.3 Effects of Queries<br/>12.4 Effects of Action Request Events<br/>12.4.1 Effects of Domain Event Notifications<br/>12.5 Event Specialization<br/>12.6 Generating Conditions<br/>12.7 Bibliographical Notes<br/>12.8 Exercises<br/>13 State Transition Diagrams<br/>13.1 Finite State Machines<br/>13.1.1 Finite Automata<br/>13.1.2 Moore and Mealy Machines<br/>13.2 Entities as State Machines<br/>13.2.1 Entity Life Cycle<br/>13.3 State Transition Diagrams in UML<br/>13.3.1 Transitions Triggered by Change and Time Events<br/>13.3.2 Unexpected-Event Reception<br/>13.3.3 Initial State<br/>13.3.4 Final State<br/>13.3.5 Junction<br/>13.3.6 Choice<br/>13.4 From Domain and Action Request Events to Call Events<br/>13.4.1 Localization of Event Constraints and Effects<br/>13.5 Entity Types with Multiple State Transition Diagrams<br/>13.6 Bibliographical Notes<br/>13.7 Exercises<br/>14 Statecharts<br/>14.1 The State Hierarchy<br/>14.1.1 Simple Composite States<br/>14.1.2 State Configuration and Entity Life Cycle<br/>14.1.3 Initial Pseudostate<br/>14.1.4 Conflicting Transitions<br/>14.2 Parallelism<br/>14.2.1 Initial Pseudostate<br/>14.2.2 Firing Multiple Transitions<br/>14.2.3 Fork<br/>14.2.4 Join<br/>14.3 Bibliographical Notes<br/>14.4 Exercises<br/>15 Use Cases<br/>15.1 Actors<br/>15.2 Use Cases<br/>15.2.1 Definition<br/>15.2.2 Use Case Actors<br/>15.2.3 Use Case Specification<br/>15.2.4 Relationships Between Use Cases<br/>15.2.5 Use Case Model<br/>15.3 Mapping Use Cases to Requests<br/>15.3.1 Textual References<br/>15.3.2 Creation Dependencies<br/>15.3.3 Sequence Diagrams<br/>15.4 Bibliographical Notes<br/>15.5 Exercises<br/>16 Case Study<br/>16.1 Main Domain Concepts<br/>16.2 Store Configuration<br/>16.2.1 Store Data<br/>16.2.2 Minimum Values<br/>16.3 Store Administration<br/>16.3.1 Manufacturers<br/>16.3.2 Categories<br/>16.3.3 Products<br/>16.4 Customers<br/>16.5 Online Catalog<br/>16.5.1 Shopping Carts<br/>16.5.2 Orders<br/>16.5.3 Show Previous Orders<br/>17 Metamodeling<br/>17.1 Meta Entity Types<br/>17.1.1 Definition<br/>17.1.2 Classification Level<br/>17.1.3 InstanceOf versus Is A<br/>17.1.4 Monolevel and Multilevel Information Bases<br/>17.1.5 Logical Representation<br/>17.1.6 Representation in UML<br/>17.2 Powertypes,<br/>17.3 Class Relationship Types<br/>17.4 Meta Relationship Types<br/>17.4.1 Definition<br/>17.4.2 Logical Representation<br/>17.4.3 Representation in UML<br/>17.5 Metaschemas<br/>17.5.1 Definition<br/>17.5.2 Example of a Metaschema<br/>17.5.3 Levels of a Meta Information Base<br/>17.5.4 The Importance of Metaschemas<br/>17.5.5 Conceptual Models versus Metaschemas<br/>17.5.6 The UML Metaschema.<br/>17.6 Stereotypes<br/>17.6.1 Definition<br/>17.6.2 Stereotypes in the Metaschema<br/>17.7 Bibliographical Notes<br/>17.8 Exercises<br/>18 The MOF and XMl<br/>18.1 Meta-Metaschemas<br/>18.1.1 Definition.<br/>18.1.2 The MOF<br/>18.2 The MOF as a Conceptual Modeling Language<br/>18.2.1 The MOF as an w-metaschema<br/>18.3 XMl<br/>18.3.1 XMl Representation of Entities and Relationships<br/>18.3.2 XMl Representation of UML Schemas<br/>18.4 Bibliographical Notes<br/>18.5 Exercises<br/>References<br/>Index1 Introduction<br/>1.1 Functions of an Information System<br/>1.1.1 The Memory Function<br/>1.1.2 The Informative Function<br/>1.1.3 The Active Function<br/>1.1.4 Examples of Information Systems<br/>1.2 Conceptual Modeling<br/>1.2.1 The Structural Schema<br/>1.2.2 The Information Base<br/>1.2.3 The Behavioral Schema<br/>1.2.4 Integrity Constraints<br/>1.2.5 Derivation Rules<br/>1.2.6 The Principle of Necessity for Conceptual Schemas<br/>1.3 The Abstract Architecture of an Information System<br/>1.4 Requirements Engineering<br/>1.5 Quality of Conceptual Schemas<br/>1.6 A Brief History of Conceptual Modeling<br/>1.6.1 Logical Models<br/>1.6.2 Semantic Data Models<br/>1.6.3 Conceptual Models of Information Systems<br/>1.6.4 Object Orientation<br/>1-7 Bibliographical Notes<br/>2 Entity Types<br/>2.1 Introduction<br/>21.1 Definitional Concepts<br/>2.1.2 Functions of a Concept<br/>2.1.3 Prototypical Concepts<br/>2.1.4 Exemplar-Based Concepts<br/>2.2 Design of Concepts<br/>2.3 Definition of Entity Types<br/>2.3.1 Names<br/>2.3.2 Population<br/>2.3.3 Subsumption<br/>2.4 Representation in an Information System<br/>2.4.1 State of the Information Base<br/>2.4.2 Logical Representation<br/>2.4.3 Representation in UML<br/>2.4.4 Conceptual Models; Single or Multiple Classification<br/>2.4.5 Conceptual Models: Static or Dynamic Classification<br/>2.4.6 Properties of the Representation<br/>2.5 Data Types<br/>2.5.1 Data Types in UML<br/>2.6 Bibliographical Notes<br/>2.7 Exercises<br/>3 Relationship Types<br/>3.1 Definition<br/>3.1.1 Degree<br/>3.1.2 Pattern Sentence<br/>3.1.3 Unary Relationship Types<br/>3.1.4 Population<br/>3.1.5 Subsumption<br/>3.2 Representation in an Information System<br/>3.2.1 State of the Information Base<br/>3.2.2 Logical Representation<br/>3.2.3 Representation in UML<br/>3-2.4 Properties of the Representation<br/>3.3 Attributes<br/>3.3.1 Conceptual Models Based on Attributes<br/>3.3.2 Attribute Pattern Sentence<br/>3.3.3 Representation in UML<br/>3.3.4 On the Use of Attributes<br/>3.4 Bibliographical Notes<br/>3.5 Exercises<br/>4 Cardinality Constraints<br/>4.1 Cardinality Constraints of Binary Relationship Types<br/>4 r.2 Relationship Types<br/>4.1.2 Recursive Relationship Types<br/>4.1.3 Satisfiability of Cardinality Constraints<br/>4.2 Cardinality Constraints of n-ary Relationship Types<br/>4.2.1 Consistency and Inference Rules<br/>4.3 Maximal Participation<br/>4.4 Bibliographical Notes<br/>4.5 Exercises<br/>5 Particular Kinds of Relationship Type<br/>5.1 Reference Relationship Types<br/>5.1.1 Simple Reference<br/>5.1.2 Compound Reference<br/>5.1.3 Set Reference<br/>5.2 Identification<br/>5.2.1 Identifiability of Entity Types<br/>5.3 Replacing Entities with Identifiers in Relationships<br/>5.4 Elementary Relationship Types<br/>5.5 Decomposing NonElementary Relationship Types<br/>5.5.1 Decomposition Based on Functional Dependencies<br/>5.5.2 Decomposition Based on Multivalued Dependencies<br/>5.5.3 Decomposition by Absorbing a Constant Entity Type<br/>5.6 Bibliographical Notes<br/>5.7 Exercises<br/>6 Reification<br/>6.1 Definition<br/>6.2 Representation in UML<br/>6.2.1 Association Classes<br/>6.2.2 Implicit Reification<br/>6.2.3 Implicit Reification as a Schema Transformation<br/>6.3 Partial Reification<br/>6.4 Bibliographical Notes<br/>6.5 Exercises<br/>7 Generic Relationship Types<br/>7.1 Definition<br/>7.2 Representation in an Information System<br/>7.2.1 Logical Representation<br/>7.2.2 Representation in UML<br/>7.3 Part-Whole Relationships<br/>7.3.1 Description<br/>7.3.2 Representation in UML<br/>7.3.3 Part Sharing<br/>7.3.4 Part Dependency<br/>7.4 Grouping<br/>7.4.1 Description<br/>7.4.2 Representation in UML<br/>7.4.3 Homogeneous Versus Heterogeneous Groups<br/>7.5 Roles<br/>7.5.1 Description<br/>7.5.2 Representation in UML<br/>7.5.3 Propagation<br/>7.6 Materialization<br/>7.6.1 Description<br/>7.6.2 Representation in UML<br/>7.6.3 Inheritance<br/>7.7 Bibliographical Notes<br/>7.8 Exercises<br/>8 Derived Types<br/>8.1 Derivability<br/>8.1.1 Base Types<br/>8.1.2 Derived Types<br/>8.1.3 Hybrid Types<br/>8.1.4 Transformation of Hybrid Types into Derived Types<br/>8.1.5 Design of Derivability<br/>8.2 Representation in an Information System<br/>8.2.1 Logical Representation<br/>8.2.2 Representation in UML<br/>8.2.3 Representation of Derivation Rules by Operations<br/>8.3 Particular Kinds of Derived Type<br/>8.3.1 Derived by Union<br/>8.3.2 Derived by Specialization<br/>8.3.3 Derived by Exclusion<br/>8.3.4 Derived by Participation<br/>8.3.5 Transitive Closure<br/>8 s '^ules for Constant Relationship Types 8.5 Hybrid Types m UML 8.6 Justification for Derived Types<br/>8.7 Bibliographical Notes<br/>8.8 Exercises<br/>9 Integrity Constraints<br/>9.1 The Concept of an Integrity Constraint<br/>9.1.1 Integrity = Validity + Completeness<br/>9.1.2 Integrity Constraints<br/>9.1.3 Violation of Integrity Constraints<br/>9.1.4 Violation Response Actions<br/>9.2 Classification of Integrity Constraints<br/>9.2.1 Classification According to Source<br/>9.2.2 Classification According to Scope<br/>9.2.3 Classification According to Cause of Violation<br/>9.3 Representation in an Information System<br/>9.3.1 Logical Representation<br/>9.3.2 Representation in UML<br/>9.3.3 Representation of Constraints by Operations<br/>9.4 Particular Kinds of Static Constraint<br/>9.4.1 Key Constraints<br/>9.4.2 Reference Constraints<br/>9.4.3 Inclusion Constraints<br/>9.4.4 Disjunction Constraints<br/>9.4.5 Covering Constraints<br/>9.4.6 Constraints of Recursive Binary Relationship Types<br/>9.4.7 Entity Type Cardinality Constraints<br/>9.5 Creation-Time Constraints<br/>9.6 Bibliographical Notes<br/>9.7 Exercises<br/>10 Taxonomies<br/>10.1 Specialization.<br/>10.1.1 The/5/1 Relationship<br/>10.1.2 Entity Types Derived by Intersection and Multiple<br/>Classification<br/>10.1.3 The Entity Type Entity<br/>10.2 Generalization<br/>10.2.1 The Gens Relationship<br/>10.2.2 Constraints on Generalizations<br/>10.2.3 Generalization/Specialization Dimension<br/>10.2.4 Explicit Subtypes versus Explicit Dimension Attributes<br/>10.2.5 Partitions<br/>10.3 The Taxonomy of a Conceptual Schema<br/>10.3.1 Valid Type Configurations<br/>10.3.2 Taxonomic Constraints and Derivability<br/>10.3.3 Partitions and Derivability<br/>10.4 Relationship Type Refinement<br/>10.4.1 Participant Refinement<br/>10.4.2 Particular Kinds of Participant Refinement<br/>10.4.3 Cardinality Constraint Strengthening<br/>10.4.4 Interaction of/.svl and Cardinality Constraints<br/>10.4.5 Derivation Rule Redefinition<br/>10.4.6 Redefining a Base Relationship Type as Derived<br/>10.5 Constraint Specialization<br/>10.6 Specialization/Generalization of Relationship Types<br/>10.6.1 IsA and Gens Between Relationship Types<br/>10.6.2 Reification and Specialization<br/>10.7 Bibliographical Notes<br/>10.8 Exercises<br/>11 Domain Events<br/>11.1 Domain Events as Sets of Structural Events<br/>11.1.1 Structural Events<br/>11.1.2 Domain Events<br/>11.2 Representation in an Information System<br/>11.2.1 Domain Events as Entities<br/>11.2.2 Logical Representation<br/>11.2.3 UML Representation<br/>11.3 Domain Event Constraints<br/>11.3.1 Logical Representation<br/>11.3.2 UML Representation<br/>11.4 Event Effects: The Postcondition Approach<br/>11.4.1 Logical Representation<br/>11.4.2 UML Representation<br/>11.4.3 The Frame Problem<br/>11.5 Event Effects: The Procedural Approach<br/>11.5.1 Logical Representation<br/>11.5.2 UML Representation<br/>11.6 Consistency with the Structural Schema<br/>11.7 Bibliographical Notes<br/>11.8 Exercises<br/>12 Action Request Events<br/>12.1 Actions and Action Request Events<br/>12.1.1 Scope of this Chapter<br/>12.2 Action Request Event Types<br/>12.2.1 Characteristics of Action Request Events.<br/>12.2.2 Constraints of Action Request Events<br/>12.3 Effects of Queries<br/>12.4 Effects of Action Request Events<br/>12.4.1 Effects of Domain Event Notifications<br/>12.5 Event Specialization<br/>12.6 Generating Conditions<br/>12.7 Bibliographical Notes<br/>12.8 Exercises<br/>13 State Transition Diagrams<br/>13.1 Finite State Machines<br/>13.1.1 Finite Automata<br/>13.1.2 Moore and Mealy Machines<br/>13.2 Entities as State Machines<br/>13.2.1 Entity Life Cycle<br/>13.3 State Transition Diagrams in UML<br/>13.3.1 Transitions Triggered by Change and Time Events<br/>13.3.2 Unexpected-Event Reception<br/>13.3.3 Initial State<br/>13.3.4 Final State<br/>13.3.5 Junction<br/>13.3.6 Choice<br/>13.4 From Domain and Action Request Events to Call Events<br/>13.4.1 Localization of Event Constraints and Effects<br/>13.5 Entity Types with Multiple State Transition Diagrams<br/>13.6 Bibliographical Notes<br/>13.7 Exercises<br/>14 Statecharts<br/>14.1 The State Hierarchy<br/>14.1.1 Simple Composite States<br/>14.1.2 State Configuration and Entity Life Cycle<br/>14.1.3 Initial Pseudostate<br/>14.1.4 Conflicting Transitions<br/>14.2 Parallelism<br/>14.2.1 Initial Pseudostate<br/>14.2.2 Firing Multiple Transitions<br/>14.2.3 Fork<br/>14.2.4 Join<br/>14.3 Bibliographical Notes<br/>14.4 Exercises<br/>15 Use Cases<br/>15.1 Actors<br/>15.2 Use Cases<br/>15.2.1 Definition<br/>15.2.2 Use Case Actors<br/>15.2.3 Use Case Specification<br/>15.2.4 Relationships Between Use Cases<br/>15.2.5 Use Case Model<br/>15.3 Mapping Use Cases to Requests<br/>15.3.1 Textual References<br/>15.3.2 Creation Dependencies<br/>15.3.3 Sequence Diagrams<br/>15.4 Bibliographical Notes<br/>15.5 Exercises<br/>16 Case Study<br/>16.1 Main Domain Concepts<br/>16.2 Store Configuration<br/>16.2.1 Store Data<br/>16.2.2 Minimum Values<br/>16.3 Store Administration<br/>16.3.1 Manufacturers<br/>16.3.2 Categories<br/>16.3.3 Products<br/>16.4 Customers<br/>16.5 Online Catalog<br/>16.5.1 Shopping Carts<br/>16.5.2 Orders<br/>16.5.3 Show Previous Orders<br/>17 Metamodeling<br/>17.1 Meta Entity Types<br/>17.1.1 Definition<br/>17.1.2 Classification Level<br/>17.1.3 InstanceOf versus Is A<br/>17.1.4 Monolevel and Multilevel Information Bases<br/>17.1.5 Logical Representation<br/>17.1.6 Representation in UML<br/>17.2 Powertypes,<br/>17.3 Class Relationship Types<br/>17.4 Meta Relationship Types<br/>17.4.1 Definition<br/>17.4.2 Logical Representation<br/>17.4.3 Representation in UML<br/>17.5 Metaschemas<br/>17.5.1 Definition<br/>17.5.2 Example of a Metaschema<br/>17.5.3 Levels of a Meta Information Base<br/>17.5.4 The Importance of Metaschemas<br/>17.5.5 Conceptual Models versus Metaschemas<br/>17.5.6 The UML Metaschema.<br/>17.6 Stereotypes<br/>17.6.1 Definition<br/>17.6.2 Stereotypes in the Metaschema<br/>17.7 Bibliographical Notes<br/>17.8 Exercises<br/>18 The MOF and XMl<br/>18.1 Meta-Metaschemas<br/>18.1.1 Definition.<br/>18.1.2 The MOF<br/>18.2 The MOF as a Conceptual Modeling Language<br/>18.2.1 The MOF as an w-metaschema<br/>18.3 XMl<br/>18.3.1 XMl Representation of Entities and Relationships<br/>18.3.2 XMl Representation of UML Schemas<br/>18.4 Bibliographical Notes<br/>18.5 Exercises<br/>References<br/>Index
650 #0 - SUBJECT
Keyword	Database Design.
650 #0 - SUBJECT
Keyword	System Design.
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type	General Books

Holdings
Withdrawn status	Lost status	Damaged status	Not for loan	Home library	Current library	Shelving location	Date acquired	Full call number	Accession number	Date last seen	Date last checked out	Koha item type
				Central Library, Sikkim University	Central Library, Sikkim University	General Book Section	01/06/2016	004 OLI/C	P32077	14/07/2018	14/07/2018	General Books