Formal Templates for Metamodels in Z
Nicolas Wu ( ComLab )
- 14:00 23rd October 2009 ( week 2, Michaelmas Term 2009 )479
In this talk we discuss the Formal Template Language, and its
applications for metamodel design in Z. We focus on database design as
a case study to motivate the discussion, and demonstrate how standard
Z notation is unable to capture database design in a way that is both
accessible and fully formal. We suggest the FTL as a means of solving this
problem, and present extensions that make it further amenable for our
purposes.
applications for metamodel design in Z. We focus on database design as
a case study to motivate the discussion, and demonstrate how standard
Z notation is unable to capture database design in a way that is both
accessible and fully formal. We suggest the FTL as a means of solving this
problem, and present extensions that make it further amenable for our
purposes.
Share this:
