Form oriented analysis is an approach tailored to the modeling of systems with submit/response based interfaces. Form oriented analysis models the system interface as bipartite state transition diagram and relates it to a semantic data model. We introduce dialogue constraint writing based on an OCL extension. Model decomposition is explained and different grades of completeness for form oriented analysis models are defined. We outline the integration with form storyboarding, a compatible requirements engineering technique.
Get the report here or by anonymous ftp: Server: fubinf.inf.fu-berlin.de File: pub/reports/tr-b-02-08.ps.gz