Skip to main content
SpringerLink
Log in
Book cover

International Conference on Computational Science and Its Applications

ICCSA 2017: Computational Science and Its Applications – ICCSA 2017 pp 273–283Cite as

A Comparative Study of a GUI-Aided Formal Specification Construction Approach

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 10404))

Abstract

Formal specification techniques still remain a challenge for applying formal methods in practice how to reduce unnecessary changes during and after writing formal specifications. We proposed a GUI-aided approach to constructing formal specifications, but its effectiveness has not been evaluated. This paper describes an experiment we have conducted to systematically evaluate the GUI-aided approach by comparing it with the existing refinement approach for constructing a formal specification based on an informal requirements specification. We chose a travel reservation system as the target system for the experiment, and developed half of its functions using the GUI-aided approach and the other using the existing refinement approach. The comparative experiment shows how we analyzed the data collected during the development and presents the findings. The result indicates that the GUI-aided approach is superior to the existing refinement approach due to focus on adequate requirement acquisitions in the early phase of software design.

This is a preview of subscription content, 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 EPUB and 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

Learn about institutional subscriptions

References

  1. Law, E.L.C., Roto, V., Hassenzahl, M., Vermeeren, A.P., Kort, J.: Understanding, scoping and defining user experience: a survey approach. In: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, CHI 2009, New York, NY, USA, ACM (2009) 719–728

    Google Scholar 

  2. Spohrer, J.C., Freund, L.E. (eds.): Advances in the Human Side of Service Engineering. Advances in Human Factors and Ergonomics Series. CRC Press, Boca Raton (2012)

    Google Scholar 

  3. Axure Software Solutions Inc.: Axure RP. https://www.axure.com/

  4. Balsamiq Studios LLC.: Balsamiq mockups. https://balsamiq.com/

  5. Liu, S.: A GUI-Aided approach to formal specification construction. In: Liu, S., Duan, Z. (eds.) SOFL+MSVL 2015. LNCS, vol. 9559, pp. 44–56. Springer, Cham (2016). doi:10.1007/978-3-319-31220-0_4

    Chapter  Google Scholar 

  6. Nagoya, F., Liu, S.: A case study of a GUI-Aided approach to constructing formal specifications. In: Liu, S., Duan, Z., Tian, C., Nagoya, F. (eds.) SOFL+MSVL 2016. LNCS, vol. 10189, pp. 74–84. Springer, Cham (2017). doi:10.1007/978-3-319-57708-1_5

    Chapter  Google Scholar 

  7. Gomaa, H.: The impact of rapid prototyping on specifying user requirements. SIGSOFT Softw. Eng. Notes 8, 17–27 (1983)

    Article  Google Scholar 

  8. Meghanathan, N., Chaki, N., Nagamalai, D. (eds.): CCSIT 2012. LNICSSITE, vol. 86. Springer, Heidelberg (2012)

    Google Scholar 

  9. Liu, S.: Formal Engineering for Industrial Software Development. Springer, Heidelberg (2004)

    Book  MATH  Google Scholar 

  10. Miao, W., Liu, S.: A formal engineering framework for service-based software modeling. IEEE Trans. Serv. Comput. 6, 536–550 (2013)

    Article  Google Scholar 

  11. Li, M., Liu, S.: Integrating animation-based inspection into formal design specification construction for reliable software systems. IEEE Trans. Reliab. 65, 88–106 (2016)

    Article  Google Scholar 

  12. Liu, S., Nakajima, S.: A decompositional approach to automatic test case generation based on formal specifications. In: Proceedings of the 2010 Fourth International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2010, IEEE Computer Society, Washington, DC, pp. 147–155 (2010)

    Google Scholar 

  13. Jones, C.B.: Systematic Software Development Using VDM. Prentice Hall International (UK) Ltd., Upper Saddle River (1986)

    MATH  Google Scholar 

  14. DeMarco, T.: Structured Analysis and System Specification. Prentice Hall PTR, Upper Saddle River (1979)

    Google Scholar 

  15. Reisig, W.: Petri Nets: An Introduction. Springer, New York (1985)

    Book  MATH  Google Scholar 

  16. Rudd, J., Stern, K., Isensee, S.: Low vs. high-fidelity prototyping debate. Interactions 3, 76–85 (1996)

    Article  Google Scholar 

  17. Carter, A.S., Hundhausen, C.D.: How is user interface prototyping really done in practice? A survey of user interface designers. In: 2010 IEEE Symposium on Visual Languages and Human-Centric Computing, pp. 207–211 (2010)

    Google Scholar 

  18. Myers, B., Park, S.Y., Nakano, Y., Mueller, G., Ko, A.: How designers design and program interactive behaviors. In: Proceedings of the 2008 IEEE Symposium on Visual Languages and Human-Centric Computing, VLHCC 2008. IEEE Computer Society, Washington, DC pp. 177–184 (2008)

    Google Scholar 

Download references

Acknowledgement

We would like to thank Daisuke Noguchi for developing GUI models, including writing the SOFL specifications and completing the implementation in Java. This work was supported by JSPS KAKENHI Grant Number 26240008.

Author information

Authors and Affiliations

  1. College of Commerce, Nihon University, Tokyo, Japan

    Fumiko Nagoya

  2. Faculty of Computer and Information Sciences, Hosei University, Tokyo, Japan

    Shaoying Liu

Authors
  1. Fumiko Nagoya
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Shaoying Liu
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Fumiko Nagoya .

Editor information

Editors and Affiliations

  1. University of Perugia, Perugia, Italy

    Osvaldo Gervasi

  2. University of Basilicata, Potenza, Italy

    Beniamino Murgante

  3. Covenant University, Ota, Nigeria

    Sanjay Misra

  4. University of Trieste, Trieste, Italy

    Giuseppe Borruso

  5. Polytechnic University of Bari, Bari, Italy

    Carmelo M. Torre

  6. University of Minho, Braga, Portugal

    Ana Maria A.C. Rocha

  7. Monash University, Clayton, Victoria, Australia

    David Taniar

  8. Kyushu Sangyo University, Fukuoka, Japan

    Bernady O. Apduhan

  9. Saint Petersburg State University, Saint Petersburg, Russia

    Elena Stankova

  10. University of Trieste, Trieste, Italy

    Alfredo Cuzzocrea

Rights and permissions

Reprints and permissions

Copyright information

© 2017 Springer International Publishing AG

About this paper

Cite this paper

Nagoya, F., Liu, S. (2017). A Comparative Study of a GUI-Aided Formal Specification Construction Approach. In: Gervasi, O., et al. Computational Science and Its Applications – ICCSA 2017. ICCSA 2017. Lecture Notes in Computer Science(), vol 10404. Springer, Cham. https://doi.org/10.1007/978-3-319-62392-4_20

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-62392-4_20

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-62391-7

  • Online ISBN: 978-3-319-62392-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation