· Rules-Driven Method Invocation (RDMI)

 

· Components

 

· Warning Constraints

 

· Example 3: Checking an Email Address

 

· Example 4: Sending a Mail

 

· INVOKE: Example 1

 

· Standard Protocol and Query Protocol for Method Calling

 

· Overview of Constraints

 

· Restrictive Constraints

 

· Corrective Constraints