Semantics of form oriented analysis

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 gemas Promotionsordnung 99 Literatur 105

[1]  Ruth E. Smilan,et al.  Reaping benefits with object-oriented technology , 1993, AT&T Technical Journal.

[2]  Mary Shaw,et al.  Software architecture - perspectives on an emerging discipline , 1996 .

[3]  Ivar Jacobson,et al.  Object-oriented software engineering - a use case driven approach , 1993, TOOLS.

[4]  Dirk Draheim,et al.  An overview of state of the art architectures for active web sites , 2002 .

[5]  Axel van Lamsweerde,et al.  Requirements engineering in the year 00: a research perspective , 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.

[6]  Dirk Draheim,et al.  Form charts and dialogue constraints , 2002 .

[7]  Stefano Ceri,et al.  Web Modeling Language (WebML): a modeling language for designing Web sites , 2000, Comput. Networks.

[8]  Kendall Scott,et al.  UML distilled - applying the standard object modeling language , 1997 .

[9]  Mark A. Neerincx,et al.  Support concepts for Web navigation: a cognitive engineering approach , 2001, WWW '01.

[10]  Bernhard Thalheim,et al.  SiteLang: Conceptual Modeling of Internet Sites , 2001, ER.

[11]  Colin Atkinson,et al.  Strict Profiles: Why and How , 2000, UML.

[12]  G. L. Schaps,et al.  COMPILER CONSTRUCTION WITH ANTLR AND JAVA : TOOLS FOR BUILDING TOOLS , 1999 .

[13]  Jakob Nielsen,et al.  User interface directions for the Web , 1999, CACM.

[14]  Martin Gogolla,et al.  On Formalizing the UML Object Constraint Language OCL , 1998, ER.

[15]  David Garlan,et al.  Formal modeling and analysis of the HLA component integration standard , 1998, SIGSOFT '98/FSE-6.

[16]  Gill Smith,et al.  Object-oriented analysis , 1988, WADAS '88.

[17]  John Wordsworth.  Software development with Z - a practical approach to formal methods in software engineering , 1992, International computer science series.

[18]  Barbara Liskov,et al.  Program Development in Java - Abstraction, Specification, and Object-Oriented Design , 1986 .

[19]  Gerald Weber,et al.  Matching Convex Shapes with Respect to the Symmetric Difference , 1996, Algorithmica.

[20]  Gerald Weber,et al.  An Application of Point Pattern Matching in Astronautics , 1994, J. Symb. Comput..

[21]  Martín Abadi,et al.  A Theory of Objects , 1996, Monographs in Computer Science.

[22]  Martin Gogolla,et al.  On Constraints and Queries in UML , 1997, UML Workshop.

[23]  Mark Green,et al.  A survey of three dialogue models , 1986, TOGS.

[24]  Mayer D. Schwartz,et al.  The Dexter Hypertext Reference Model , 1994, CACM.

[25]  Marc A. de Kruijf.  Compiler Construction , 1996, Lecture Notes in Computer Science.

[26]  Edward Yourdon,et al.  Modern structured analysis , 1989 .

[27]  Anthony I. Wasserman,et al.  Extending State Transition Diagrams for the Specification of Human–Computer Interaction , 1985, IEEE Transactions on Software Engineering.

[28]  Julie Johnson.  What is the Rational Unified Process ? , 1999 .

[29]  Gustavo Rossi,et al.  Improving Web Information Systems with Navigational Patterns , 1999, Comput. Networks.

[30]  Lennart Augustsson,et al.  Cayenne—a language with dependent types , 1998, ICFP '98.

[31]  Günther Lamprecht.  Einführung in die Programmiersprache SIMULA , 1976 .

[32]  Ivar Jacobson,et al.  The unified modeling language reference manual , 2010 .

[33]  Martin Gogolla,et al.  Conceptual modelling of database applications using extended ER model , 1992, Data Knowl. Eng..

[34]  Craig Larman,et al.  Applying UML and patterns , 1997 .

[35]  Jean-Marc Nerson,et al.  Object-Oriented Analysis and Design , 1992, TOOLS.

[36]  Massachusett Framingham,et al.  The Common Object Request Broker: Architecture and Specification Version 3 , 2003 .

[37]  P Heinckiens.  Building scalable database applications , 1998 .

[38]  Nenad Medvidovic,et al.  Software Architecture: Foundation of a Software Component Marketplace , 1997 .

[39]  Jim Conallen,et al.  Modeling Web application architectures with UML , 1999, CACM.

[40]  Dirk Draheim,et al.  An introduction to form storyboarding , 2002 .

[41]  Clemens A. Szyperski,et al.  Component software - beyond object-oriented programming , 2002 .

[42]  Terry Quatrani.  Visual modeling with rational Rose and UML , 1998, Addison-Wesley object technology series.

[43]  Thomas J. Mowbray,et al.  CORBA design patterns , 1997 .

[44]  William E. Lorensen,et al.  Object-Oriented Modeling and Design , 1991, TOOLS.

[45]  Helmut Balzert.  From OOA to GUIs: The JANUS System , 1995, J. Object Oriented Program..

[46]  Robert Winter,et al.  Formal Validation of Schema Clustering for Large Information Systems , 1995 .

[47]  Bertrand Meyer,et al.  Applying 'design by contract' , 1992, Computer.

[48]  James D. Davidson,et al.  Java Servlet Specification, v2.2 , 1999 .

[49]  Robert van Liere,et al.  User Interface Management Systems , 1987, Advances in Computer Graphics.

[50]  Jürgen Ziegler.  ViewNet - Conceptual Design and Modelling of Navigation , 1997, INTERACT.

[51]  Stefano Ceri,et al.  Modeling Data Entry and Operations in WebML , 2000, WebDB.

[52]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[53]  Amnon Naamad,et al.  The STATEMATE semantics of statecharts , 1996, TSEM.

[54]  Oliver Sims.  Business Objects: Delivering Cooperative Objects for Client-Server , 1994 .

[55]  Nuno Jardim Nunes,et al.  Towards a UML profile for interaction design: the Wisdom approach , 2000, UML.

[56]  Ivar Jacobson,et al.  The Unified Software Development Process , 1999 .

[57]  Peretz Shoval,et al.  ADISSA: architectural design of information systems based on structured analysis , 1988, Inf. Syst..

[58]  Dov Dori,et al.  From object-process analysis to object-process design , 1996, Ann. Softw. Eng..

[59]  Claus Brabrand,et al.  PowerForms: Declarative client-side form field validation , 2004, World Wide Web.

[60]  Ian J. Hayes,et al.  Specification case studies , 1987 .

[61]  Martin Gaedke,et al.  Development and Evolution of Web-Applications Using the WebComposition Process Model , 2001, Web Engineering.

[62]  Louis B. Rosenfeld,et al.  Information architecture for the world wide web - designing large-scale web sites , 1998 .

[63]  Alan M. Davis,et al.  Operational prototyping: a new development approach , 1992, IEEE Software.

[64]  Peretz Shoval,et al.  OO and EER Conceptual Schemas: A Comparison of User Comprehension , 1994 .

[65]  John Nicholls,et al.  Z notation , 1994 .

[66]  Patricia Vilain,et al.  A Diagrammatic Tool for Representing User Interaction in UML , 2000, UML.

[67]  Martin Fowler,et al.  Analysis patterns - reusable object models , 1996, Addison-Wesley series in object-oriented software engineering.

[68]  Michael J. Muller,et al.  “Equal opportunity” PD using PICTIVE , 1993, CACM.

[69]  Philip A. Bernstein,et al.  Principles of transaction processing: for the systems professional , 1996 .

[70]  Nicholas Kassem,et al.  Designing enterprise applications with the Java 2 platform, enterprise edition/ Nicholas Kassem and the Enterprise Tea , 2000 .

[71]  Chris Gane.  Rapid System Development: Using Structured Techniques and Relational Technology , 1989 .

[72]  Robert J. K. Jacob,et al.  Using formal specifications in the design of a human-computer interface , 1983, CACM.

[73]  Daniel Ingalls,et al.  The Smalltalk-76 Programming System. , 1978 .

[74]  Claus Brabrand,et al.  A Runtime System for Interactive Web Services , 1999, Comput. Networks.

[75]  Philip J. Hayes,et al.  Executable interface definitions using form-based interface abstractions , 1984 .

[76]  Dirk Draheim,et al.  Strongly complex typed, dialogue oriented server pages , 2002 .

[77]  Dirk Draheim,et al.  Strongly Typed Server Pages , 2002, NGITS.

[78]  Kent L. Beck,et al.  Extreme programming explained - embrace change , 1990 .

[79]  Dirk Draheim,et al.  An introduction to state history diagrams , 2002 .

[80]  David Harel,et al.  LSCs: Breathing Life into Message Sequence Charts , 1999, Formal Methods Syst. Des..

[81]  Peter Coad,et al.  Object-oriented patterns , 1992, CACM.

[82]  Tomás Isakowitz,et al.  RMM: a methodology for structured hypermedia design , 1995, CACM.

[83]  Tam Nguyen,et al.  Accessing relational databases from the World Wide Web , 1996, SIGMOD '96.

[84]  Mark Mayfield,et al.  Object Models: Strategies, Patterns, and Applications , 1995 .

[85]  Jakob Nielsen,et al.  The art of navigating through hypertext , 1990, CACM.

[86]  August-Wilhelm Scheer,et al.  ARIS — Modellierungsmethoden, Metamodelle, Anwendungen , 1998 .

[87]  Michael J. Muller.  Retrospective on a year of participatory design using the PICTIVE technique , 1992, CHI.

[88]  Patricia Vilain,et al.  Modeling Interactions and Navigation in Web Applications , 2000, ER.

[89]  Andy Evans,et al.  Engineering Modelling Languages: A Precise Meta-Modelling Approach , 2002, FASE.

[90]  Paulo Pinheiro,et al.  User Interface Declarative Models and Development Environments: A Survey , 2000, DSV-IS.

[91]  Stephen Travis Pope,et al.  A cookbook for using the model-view controller user interface paradigm in Smalltalk-80 , 1988 .

[92]  Enno Scholz,et al.  Hype - A Java Tool for the Rapid Development of Hyperdocument Management Applications for the WWW , 1999, Java-Informations-Tage.

[93]  Peretz Shoval,et al.  FOOM: Functional and Object-Oriented Analysis and Design of Information Systems: An Integrated Methodology , 2001, J. Database Manag..

[94]  Norman W. Paton,et al.  UMLi: The Unified Modeling Language for Interactive Applications , 2000, UML.

[95]  Reiko Heckel,et al.  Dynamic Meta Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML , 2000, UML.

[96]  Fred P. Brooks,et al.  The Mythical Man-Month , 1975, Reliable Software.

[97]  de Ng Dick Bruijn,et al.  The mathematical language AUTOMATH, its usage, and some of its extensions , 1970 .

[98]  Thomas Ball,et al.  Mawl: A Domain-Specific Language for Form-Based Services , 1999, IEEE Trans. Software Eng..

[99]  강문설.  [서평]「The Unified Modeling Language User Guide」 , 1999 .

[100]  Dov Dori,et al.  Object-Process Methodology Applied to Modeling Credit Card Transactions , 2001, J. Database Manag..

[101]  Bertrand Meyer,et al.  Eiffel: The Language , 1991 .

[102]  Bjorn Kirkerud.  Object-Oriented Programming with SIMULA , 1989 .

[103]  Dirk Draheim,et al.  An analytical comparison of generative programming technologies , 2004 .

[104]  Rob Pooley,et al.  The unified modelling language , 1999, IEE Proc. Softw..

[105]  P. Kidwell,et al.  The mythical man-month: Essays on software engineering , 1996, IEEE Annals of the History of Computing.

[106]  David Harel,et al.  Executable object modeling with statecharts , 1996, Proceedings of IEEE 18th International Conference on Software Engineering.

[107]  Colin Atkinson,et al.  The Essence of Multilevel Metamodeling , 2001, UML.

[108]  Luciano Baresi,et al.  From Web Sites to Web Applications: New Issues for Conceptual Modeling , 2000, ER.