[Left] [Up] [Right] Project 3. Formal Methods for the Synthesis of Modular Systems with Real-Time Rule Checking. [Left] [Up] [Right]

Semi-Formal Representation for Object-Specification Pairs

We assume that "some requirements" can be expressed in a template format. For example: 

    The
        <subject> 
    of the
        <object> 
    shall be
        <constraintt>.

The requirement: 

    The "price" of the "amplifier system" shall be < US $400.00

The corresponding markup in XML might look like: 

    <requirement>
        <template>    1 </template>
        <subject> price </subject>
        <object> amplifier system </object>
        <constraint>
            <mathML>
                less than 400
            </mathML>
        </constraint>
    </requirement>

An object-specification pair defines a set of behaviors can be offered by a component/object.

Section 11-6: April, 2003. [Left] [Up] [Right]