Using Abstract State Machines at Microsoft: A Case Study

Author(s):  
Mike Barnett ◽  
Egon Börger ◽  
Yuri Gurevich ◽  
Wolfram Schulte ◽  
Margus Veanes
Author(s):  
Anne Brüggemann-Klein ◽  
Jose Tomas Robles Hahn ◽  
Marouane Sayih

As eBooks evolve into interactive applications, our vision at Electronic Publishing Group (EPT) is to empower authors to write and deploy not only documents and eBooks but whole Web applications using widely available tools without system lock-in. We envision XML technology as open, accessible, well supported technology to be leveraged for Web applications: Information is represented and manipulated with XML technology. Data and programs are deployed on a Web server, stored in an XML database, run by XML processors (XSLT, XQuery, XProc) and accessed from XML-aware Web clients (XForms) via the HTTP protocol. We document a calendar system, CalendarX, as a case study. We illustrate our use of XML technology and the methodology we employed, drawing on ideas from Domain-Driven Design and Abstract State Machines.


Sign in / Sign up

Export Citation Format

Share Document