APSEC’12: A Formal Approach For The Iterative Deisgn Of Behavioural Models


Is there a way to shave years off of the trial and error implementing Agile?
Find Out Now.


00:11 start
00:32 information systems
00:42 guarded operations
00:43 guarded workflows
00:47 An Iterative Process of Critical System Development
01:55 References
02:13 Iterative Design of Behavioural Models
04:28 Example: A Hotel Reservation System (HRS)
04:36 Data Model: classes & associations
04:50 Behavioural Model: operations as predicates
05:48 Implementing Predicate Specification
06:41 Behavioural Model: combining operations as workflows
06:51 A Testing Methodology for Behavioural Models
08:38 An Example of Applying the Rewriting Rules
09:52 Laws of Equivalence and Refinement
10:39 Mathematical Foundation for Rewriting Laws
12:05 Formal Development of Rewriting Rules
12:11 Step 1 of 4: Implementing Predicates as GSL Programs
12:36 Step 2 of 4: Defining a wp Semantics for GSL Programs
12:54 Step 3 of 4: Deriving Laws for GSL Programs
13:28 Step 4 of 4: Deriving Laws for Predicates
14:14 Putting Everything Together: Proof of Law 3 (b)
14:32 Conclusion
15:12 Q & A

APSEC (Asia-Pacific Software Engineering Conference)
Hong Kong