Project 3. Formal Methods for the Synthesis of Modular Systems with Real-Time Rule Checking. |
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. |