Skip to main content
SpringerLink
Log in

Navigational Web-Interfaces from Formal Tropos Specification

  • Conference paper
Engineering Societies in the Agents World X (ESAW 2009)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 5881))

Included in the following conference series:

  • 389 Accesses

Abstract

This paper presents a method of building executable and interactive application interface prototypes from requirements. The specification of the requirements uses i* and Formal Tropos languages.

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

References

  1. Pistore, M., Fuxman, A., Kazhamiakin, R., Roveri, M.: Formal Tropos: Language and Semantics. Technical Report 4, University of Trento (November 2003)

    Google Scholar 

  2. Cimatti, A., Clarke, E., Giunchiglia, E., Giunchiglia, F., Pistore, M., Roveri, M., Sebastiani, R., Tacchella, A.: NuSMV Version 2: An OpenSource Tool for Symbolic Model Checking. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol. 2404, p. 359. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  3. Weldemariam, K.: An Agent Oriented Approach for Rapid Application Prototyping. Master’s thesis, Indian Institute of Technology, Bombay, Powai, Mumbai-400076, India (August 2006)

    Google Scholar 

  4. Yu, E.S.-K.: Modelling Strategic Relationships for Process Reengineering. PhD Thesis, Dept. of Computer Science, University of Toronto, Toronto, Canada (1995)

    Google Scholar 

  5. Giunchiglia, F., Mylopoulos, J., Perini, A.: The Tropos Software Development Methodology: processes, models and diagrams. In: AAMAS 2002: Proceedings of the first international joint conference on Autonomous agents and multiagent systems, pp. 35–36. ACM, New York (2002)

    Chapter  Google Scholar 

  6. Pistore, M., Kazhamiakin, R., Roveri, M.: T-Tool Tutorial. Technical report, University of Trento (2003)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Center for Information Technology, FBK-Irst, via Sommarive 18, Trento, 38100, Italy

    Komminist Weldemariam

Authors
  1. Komminist Weldemariam
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institute for Computing and Information Sciences, Universiteit Utrecht, Padualaan 14, P.O.Box 80.089, 3508, Utrecht, TB, The Netherlands

    Huib Aldewereld  & Virginia Dignum  & 

  2. Industrial Engineering and Computer Sciences, École Nationale Supérieure des Mines de Saint-Étienne, 158, cours Fauriel, 42023, SAINT-ÉTIENNE cedex 2, France

    Gauthier Picard

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Weldemariam, K. (2009). Navigational Web-Interfaces from Formal Tropos Specification. In: Aldewereld, H., Dignum, V., Picard, G. (eds) Engineering Societies in the Agents World X. ESAW 2009. Lecture Notes in Computer Science(), vol 5881. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-10203-5_20

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-10203-5_20

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-10202-8

  • Online ISBN: 978-3-642-10203-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation