Home  David Frankel Consulting

Seminar

 

 

Articles
Biography
1st MDA Book
The MDA Journal
Resources
Services

Design by ContractTM with MDA®

Promoting Rigor in Software Development and Outsourcing

Audience: IT managers, architects, and senior developers

Duration: One hour

Prerequisites: A basic knowledge of UML is helpful but not required.

Abstract: Design by Contract (DBC) is a technique for formally specifying rules about information integrity and service behavior.  Many such rules align closely with business rules.  DBC rules can also provide precise instructions to a programmer, a code generator, an outsourcing group, or a partner in a value chain.  UML and its sister standard MOFTM (Meta Object Facility) support DBC via Object Constraint Language (OCL).  This seminar provides an introduction to DBC and OCL that is sufficient to get an experienced IT person started on using this approach. 

Outline

      Formal vs. Informal Modeling
      Design by Contract Background
      OCL Background
      A Web Services Example
      An Internal Processing Example
      Syntactic Interoperability vs. Semantic Interoperability
      Quality Assurance
      Error Handling

 

MDA is a registered trademark of the Object Management Group.  MOF is a trademark of the Object Management Group.  Design by Contract is a trademark of Interactive Software Engineering.

 

Home ] Articles ] Biography ] 1st MDA Book ] The MDA Journal ] Resources ] Services ]