Exercises

 

Chapter 1     Chapter 2       Chapter 3    Chapter 4     Chapter 5      Chapter 6      Chapter 7      

Chapter 8    Chapter 9     Chapter 10    Chapter 11    Chapter 12    Chapter 13   Chapter 14   

 

Chapter 4

 

<<bicycle>>

 

 

From the structure perspective, a bicycle is made of a frontwheel, a backwheel, and a handlebar!

 

From the equipment perspective, the handlebar is made of a bell, a brake, and speedometer!

 

The frontwheel has a radius and a circumference!

The range of frontwheel's radius is double with values [10,20]!

 

The backwheel has a radius, a circumference, and an rpm!

The range of backwheel's radius is double with values (10,30]!

 

The speedometer has a speed!

 

<<bicycleWithRiderSpec>>

 

 

A bicycle can be childBike or adultBike in rider!

A childBike has a height!

The range of a childBike's height is double with values [5,10] !

 

An adultBike has a height!

The range of an adultBike's height is double with values [20,30]

 

<<book>>

 

From the physical perspective, a book is made of a frontCover and a backCover!

 

 

From the content perspective, a book is made of a preface and a mainBody!

 

frontCover can be red, green, or blue in color!

 

backCover is like frontCover in color!

 

frontCover can be cardboard or paper in material !

 

backCover is like frontCover in material !

 

<<bookColorDifferentSpec>>

 

From the physical perspective, a book is made of a frontCover and a backCover!

 

 

backCover can be cardboard or paper in material !

 

cardboard can be white or brown in color!

 

paper can be red, green, or blue in color!

 

<<bookPages>>

 

 

From the physical perspective, a book is made of a frontCover, pages, and a backCover!

 

From the mult perspective, pages is made of more than one page!

 

<<bookPages.xml>>

 

<?xml version="1.0" encoding="UTF-8"?>

<book xmlns:xsi =  "http://www.w3.org/2001/XMLSchema-instance" xsi:noNamespaceSchemaLocation="xmlinSCH.xsd">

<aspectsOfbook>

<book-physicalDec>

<backCover/>

    <pages>

        <aspectsOfpages>

            <pages-multMultiAsp  numContainedInpages = "2">

            <page/>

                        <page/>

            </pages-multMultiAsp>

        </aspectsOfpages>

    </pages>

<frontCover/>

</book-physicalDec>

</aspectsOfbook>

</book>

 

<<house>>

 

 

From the functional perspective, a house is made of a livingroom, bedroom, and kitchen!

 

 

 

NOTE on Aspect Pruning :

 

 

In generating PES's, aspects are selected at random. For example, sometimes contentDec

 will be selected from aspectsOfBook, other times physicalDec will be selected.

 

To try one out, you can alternate between Schema and ToPES tabs.

 

 

 

NOTE OnConformance Vs Validation:

 

 

The difference between Conforms To SES and Validate can be seen in selecting from frontCover-colorSpec.

Validation requires a single choice,

 e.g.,  <red/>;

 

while conformance allows any subset,

 

e.g.        <red/>

        <blue/>

 

 

NOTE OnMultiApsectPruning:

 

The additional variable, e.g., numContainedInpages, associated with a multiAspect

enables validation/conformance to check that that number of selected instances

populating the multiAspect is as stated.

 

This check is in addition to the check that the populated number is within the bounds

specified.

 

 

BUG in GUI -- the minOccurs and maxOccurs do not show up in Schema, e.g. as attributes of page,

 but they are in effect.oteOnMultiAspectPruning>>