In this thesis we present Form-Oriented Analysis, a new analysis technique for an ubiquitous type of business applications. We define a precise semantic class of applications we call submit/response style applications, under which typical enterprise applications and web applications can be subsumed. Applications in this class are characterized by their type of user interface. The user of a submit/response style application fills out an electronic form, submits it to the system and receives a response page with data and new forms. The user then again submits data, partly under usage of the previously received data and so forth. We model such a submit/response style application with a bipartite finite state machine. This bipartite state machine is depicted in the key artifact of Form-Oriented Analysis, the form chart. Our analysis technique is firmly based on existing well-understood analysis notions and techniques, and consequently extends these methods. This thesis introduces Form-Oriented Analysis by defining and explaining the visual artifacts of our technique. Specifically, the form chart is defined as a class diagram, over which the object net is always a path. We give formal semantics of the artifacts based on UML. Form-Oriented Analysis fosters a design according to established architectures for enterprise applications. Our new method is accompanied by a fully implemented tool called Gently, which allows the automatic generation of prototypes from a form-oriented specification.
In der vorliegenden Arbeit wird die Methode formularorientierte Analyse vorgestellt, eine neue Analysetechnik für einen weitverbreiteten Typ formularbasierter Systeme. Wir definieren eine präzise semantische Applikationsklasse, die wir engl. submit/response style applications nennen. Typische Unternehmensanwendungen und Webapplikationen können zu dieser Klasse gezählt werden. Applikationen in dieser Klasse sind charakterisiert durch ihre Benutzerschnittstelle. Der Benutzer einer solchen Anwendung füllt ein elektronisches Formular aus, schickt es an das System und erhält eine Antwortseite mit Daten und neuen Formularen. Der Benutzer sendet dann erneut Daten, teilweise unter Verwendung der zuvor empfangenen Daten usw. Wir modellieren ein solches formularbasiertes System mit einem bipartiten endlichen Zustandsautomaten. Dieser Automat wird im zentralen Dokumententyp der formularorientierten Analysetechnik, dem Formulardiagramm (form chart) dargestellt. Unsere Analysemethode baut strikt auf wohlvestandenen Begrifflichkeiten und Methoden für die Analysephase auf und bereichert diese. Die vorliegende Arbeit führt die formularorientierte Analyse ein, indem die Diagrammtypen unserer Methode definiert und erläutert werden. Insbesondere wird das Formulardiagram als Klassendiagramm definiert, über dem das zugehörige Objeknetz immer ein Pfad ist. Die formale Semantik der Diagrammtypen wird auf der Basis von UML ausgearbeitet. Formularorientierte Analyse fördert ein Design basierend auf etablierten Architekturen für Unternehmensapplikationen. Unsere Methode wird ergänzt durch Gently, ein vollständig implementiertes Tool zur automatischen Prototypenerzeugung.
