Skip to main content
SpringerLink
Log in
SpringerLink
Log in

User Interface Prototyping Based on UML Scenarios and High-Level Petri Nets

  • Conference paper
  • First Online:
Application and Theory of Petri Nets 2000 (ICATPN 2000)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1825))

Included in the following conference series:

Abstract

In this paper, we suggest a requirement engineering process that generates a user interface prototype from scenarios and yields a formal specification of the system in form of a high-level Petri net. Scenarios are acquired in the form of sequence diagrams as defined by the Unified Modeling Language (UML), and are enriched with user interface information. These diagrams are transformed into Petri net specifications and merged to obtain a global Petri net specification capturing the behavior of the entire system. From the global specification, a user interface prototype is generated and embedded in a user interface builder environment for further refinement. Based on end user feedback, the input scenarios and the user interface prototype may be iteratively refined. The result of the overall process is a specification consisting of a global Petri net, together with the generated and refined prototype of the user interface.

This work is supported by FCAR (Fonds pour la formation des chercheurs et l’aide à la recherche au Québec) and NSERC (National Sciences and Research Council of Canada).

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Bibliography

  1. J. Clark. SX: An SGML System Conforming to International Standard ISO 8879, <http://www.jclark.com/sp/sx.htm>.

  2. K. W. Derr, Applying OMT: A practical step-by-step guide to using the Object Modeling Technique, SIGS BOOKS/Prentice Hall, 1996.

    Google Scholar 

  3. designCPN: version 3, Meta Software Corp. <http://www.daimi.aau.dk/~designcpn>.

  4. M. Elkoutbi, User Interface Engineering based on Prototyping and Formal Methods. PhD thesis, Université de Montréal, Canada, April 2000. French title: Ingénierie des interfaces usagers à l’aide du prototypage et des méthodes formelles. To appear.

    MATH  Google Scholar 

  5. M. Elkoutbi, I. Khriss, and R. K. Keller, Generating User Interface Prototypes from Scenarios, in Proceedings of the Fourth IEEE International Symposium on Requirements Engineering (RE’99), pages 150–158, Limerick, Ireland, June 1999.

    Google Scholar 

  6. M. Elkoutbi and R. K. Keller, Modeling Interactive Systems with Hierarchical Colored Petri Nets, In Proc. of 1998 Adv. Simulation Technologies Conf., pp. 432–437, Boston, MA, April 1998. Soc. for Comp. Simulation Intl. HPC98 Special session on Petri-Nets.

    Google Scholar 

  7. P. Hsia, J. Samuel, J. Gao, D. Kung, Y. Toyoshima, and C. Chen. Formal approach to scenario analysis, IEEE Software, (11)2, March 1994, pp. 33–41.

    Article  Google Scholar 

  8. IBM, Systems Application Architecture: Common User Access — Guide to User Interface Design — Advanced Interface Design Reference, IBM, 1991.

    Google Scholar 

  9. IBM, XML Parser for Java, in Java Report’s February 1999, <http://www.alphaworks.ibm.com/formula/xml>.

  10. K. Jensen, Coloured Petri Nets, Basic concepts, Analysis methods and Pratical Use, Springer, 1995.

    Google Scholar 

  11. M. Kishinevsky, J. Cortadella, A. Kondratyev, L. Lavagno, A. Taubin, and A. Yakovlev. Coupling asynchrony and interrupts: Place chart nets. In P. Azema and G. Balbo, editors, ATPN’97, pp.328–347, Toulouse, France, June 1997. Springer-Verlag. LNCS 1248.

    Google Scholar 

  12. Koskimies K. and Makinen E.: Automatic Synthesis of State Machine from Trace Diagrams, Software Practice & Experience (1994), 643–658.

    Google Scholar 

  13. Ismail Khriss, Mohammed Elkoutbi, and R. K. Keller. Automating the synthesis of UML statechart diagrams from multiple collaboration diagrams. In J. Bezivin and P. A. Muller, ed., «UML»’98: Beyond the Notation, pp.132–147. Springer,’ 99. LNCS 1618.

    Google Scholar 

  14. B. A. Nardi, The Use of Scenarios in Design, SIGCHI Bulletin, 24(4), October 1992.

    Google Scholar 

  15. P. Palanque and R. Bastide, Modeling clients and servers in the Web using Interactive Cooperative Objects, Formals Methods in HCI, Springer, 1997, pp.175–194.

    Google Scholar 

  16. C. Potts, K. Takahashi and A. Anton, Inquiry-Based Scenario Analysis of System Requirements, Technical Report GIT-CC-94/14, Georgia Institute of Technology, 1994.

    Google Scholar 

  17. F. de Rosis, S. Pizzutilo and B De Carolis: A tool to support specification and evaluation of context-customized interfaces. SIGCHI Bulletin, 28, 3, 1996.

    Article  Google Scholar 

  18. M. B. Rosson. Integrating Development of Task and Object Models, Communications of the ACM, 42(1), January 1999, pp. 49–56.

    Article  MathSciNet  Google Scholar 

  19. J. Rumbaugh, I. Jacobson, and G. Booch, The Unified Modeling Language Reference Manual, Addison Wesley, Inc., 1999.

    Google Scholar 

  20. E. Schlungbaum and T. Elwert, Modeling a Netscape-like browser Using TADEUS Dialogue graphs, In Handout of CHI’96 Workshop on Formal Methods in Computer Human Interaction: Comparison, Benefits, Open Questions, Vancouver, 1996, pp.19–24.

    Google Scholar 

  21. Siegfried Schönberger, Rudolf K. Keller, and Ismail Khriss. Algorithmic Support for Model Transformation in Object-Oriented Software Development. Theory and Practice of Object Systems (TAPOS), 2000. John Wiley and Sons. to appear.

    Google Scholar 

  22. SUIP. Scenario-based user interface prototyping: Website and public domain software distribution, September 1999. <http://www.iro.umontreal.ca/labs/gelo/suip/>.

  23. Symantec, Inc. Visual Café for Java: User Guide, Symantec, Inc., 1997.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Département d’informatique et de recherche opérationnelle, Université de Montréal, C.P. 6128, succursale Centre-ville, Montréal, Québec, H3C 3J7, Canada

    Mohammed Elkoutbi & Rudolf K. Keller

Authors
  1. Mohammed Elkoutbi
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Rudolf K. Keller
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, University of Aarhus, Ny Munkegade bldg 540, 8000, Aarhus C, Denmark

    Mogens Nielsen

  2. University of Brighton, Watts Building Lewes Road, Brighton, East Sussex, BN2 4GJ, UK

    Dan Simpson

Rights and permissions

Reprints and permissions

Copyright information

© 2000 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Elkoutbi, M., Keller, R.K. (2000). User Interface Prototyping Based on UML Scenarios and High-Level Petri Nets. In: Nielsen, M., Simpson, D. (eds) Application and Theory of Petri Nets 2000. ICATPN 2000. Lecture Notes in Computer Science, vol 1825. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44988-4_11

Download citation

  • DOI: https://doi.org/10.1007/3-540-44988-4_11

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-67693-5

  • Online ISBN: 978-3-540-44988-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation