dc.contributor.author
Weber, Gerald
dc.date.accessioned
2018-06-07T22:41:02Z
dc.date.available
2003-03-18T00:00:00.649Z
dc.identifier.uri
https://refubium.fu-berlin.de/handle/fub188/9532
dc.identifier.uri
http://dx.doi.org/10.17169/refubium-13731
dc.description
Title, contents
1\. Introduction 1
2\. A Motivating Case Study 5
3\. Related Work 21
4\. Form Charts and Dialogue Constraints 31
5\. The Formal Semantics of Form Charts 45
6\. Conclusion and Reflection 69
A. Example Dialogue Constraints 75
B. The Gently Tool 83
C. Anlagen gemäß Promotionsordnung 99
Literatur 105
dc.description.abstract
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.
de
dc.description.abstract
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.
de
dc.rights.uri
http://www.fu-berlin.de/sites/refubium/rechtliches/Nutzungsbedingungen
dc.subject
analysis phase
dc.subject
enterprise applications
dc.subject
request/response
dc.subject.ddc
000 Informatik, Informationswissenschaft, allgemeine Werke::000 Informatik, Wissen, Systeme::004 Datenverarbeitung; Informatik
dc.title
Semantics of form-oriented analysis
dc.contributor.firstReferee
Prof. Dr. Elfriede Fehr
dc.contributor.furtherReferee
Dr. habil. Martin Große-Rhode
dc.date.accepted
2002-11-29
dc.date.embargoEnd
2003-03-20
dc.identifier.urn
urn:nbn:de:kobv:188-2003000724
dc.title.translated
Semantik der formularorientierten Analyse
de
refubium.affiliation
Mathematik und Informatik
de
refubium.mycore.fudocsId
FUDISS_thesis_000000001185
refubium.mycore.transfer
http://www.diss.fu-berlin.de/2003/72/
refubium.mycore.derivateId
FUDISS_derivate_000000001185
dcterms.accessRights.dnb
free
dcterms.accessRights.openaire
open access