APSEC'12: Calculating Preconditions for Concurrent Workflows

Описание: 01:08 start
01:30 information systems
02:02 An Iterative Process of Critical System Development
03:47 References
04:14 Guarded Transactions
05:14 Workflows
05:54 Correctness of Workflows
08:29 Example: An Online Auction System (OAS)
08:34 Data Model of an OAS: classes & associations
08:54 Behaviour Model of an OAS: operations
10:17 Behaviour Model of an OAS: workflows
11:18 Relational Semantics of Workflows
13:24 A Motivating Scenario
14:46 A Strategy for Precondition Calculation
15:07 Extracting Successfully-Terminating Traces
15:24 A Naive, Inefficient Strategy
16:30 Exploiting the Notion of Event Commutativity
16:59 An Efficient Strategy: Computation
18:36 Proof of Correctness
19:44 Revisiting the Example
19:58 Conclusion
20:34 Q & A

APSEC (Asia-Pacific Software Engineering Conference)
Hong Kong