Skip to main content
Top
Published in: Wireless Personal Communications 2/2017

11-04-2016

Development of a Web Dictionary System Using SOFL

Authors: Fumiko Nagoya, Ph.D, Shaoying Liu, Ph.D

Published in: Wireless Personal Communications | Issue 2/2017

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

Component-based software development can help reduce time and cost by means of reusing software components, but the quality of the software may not be ensured if the adopted components contain errors. The Structured Object-oriented Formal Language (SOFL) is a formal specification language that can be used for quality software development. This paper describes a development of desktop application software by connecting with several software components, and how it is developed using SOFL. We introduce how the requirements are analyzed through writing an informal specification and then refining it into a semi-formal specification. We also discuss how the design is carried out by constructing a formal specification in SOFL. Finally, we present the implementation and explain the details of a testing conducted for the quality assurance of the system.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Literature
1.
go back to reference Herzum, P., & Sims, O. (2000). Business components factory: A comprehensive overview of component-based development for the enterprise (1st ed.). New York, NY: Wiley. Herzum, P., & Sims, O. (2000). Business components factory: A comprehensive overview of component-based development for the enterprise (1st ed.). New York, NY: Wiley.
2.
go back to reference Crnkovic, I., Sentilles, S., Aneta, V., & Chaudron, M. R. V. (2011). A classification framework for software component models. IEEE Transactions on Software Engineering, 37(5), 593–615.CrossRef Crnkovic, I., Sentilles, S., Aneta, V., & Chaudron, M. R. V. (2011). A classification framework for software component models. IEEE Transactions on Software Engineering, 37(5), 593–615.CrossRef
3.
go back to reference Quadri, A. T., Abubakar, M., & Sirshar, M. (2015). Software quality assurance in component based software development—A survey analysis. International Journal of Computer and Communication System Engineering, 2(2), 305–315. Quadri, A. T., Abubakar, M., & Sirshar, M. (2015). Software quality assurance in component based software development—A survey analysis. International Journal of Computer and Communication System Engineering, 2(2), 305–315.
4.
go back to reference Almeida, J. B., Frade, M. J., Pinto, J. S., & Melo de Sousa, S. (2011). Rigorous software development: An introduction to program verification, ser. Undergraduate topics in computer science. London: Springer.CrossRefMATH Almeida, J. B., Frade, M. J., Pinto, J. S., & Melo de Sousa, S. (2011). Rigorous software development: An introduction to program verification, ser. Undergraduate topics in computer science. London: Springer.CrossRefMATH
5.
6.
go back to reference Liu, S., Asuka, M., Komaya, K., & Nakamura, Y. (1998). An approach to specifying and verifying safety-critical systems with practical formal method sofl. In Proceedings of the fourth IEEE international conference on engineering of complex computer systems, 1998. ICECCS’98 (pp. 100–114). Liu, S., Asuka, M., Komaya, K., & Nakamura, Y. (1998). An approach to specifying and verifying safety-critical systems with practical formal method sofl. In Proceedings of the fourth IEEE international conference on engineering of complex computer systems, 1998. ICECCS’98 (pp. 100–114).
7.
go back to reference Liu, S., Hayashi, T., Takahashi, K., Kimura, K., Nakayama, T., & Nakajima, S. (2010). Automatic transformation from formal specifications to functional scenario forms for automatic test case generation. In Proceedings of the 2010 conference on new trends in software methodologies, tools and techniques (pp. 383–397). Amsterdam, The Netherlands. The Netherlands: IOS Press. Liu, S., Hayashi, T., Takahashi, K., Kimura, K., Nakayama, T., & Nakajima, S. (2010). Automatic transformation from formal specifications to functional scenario forms for automatic test case generation. In Proceedings of the 2010 conference on new trends in software methodologies, tools and techniques (pp. 383–397). Amsterdam, The Netherlands. The Netherlands: IOS Press.
8.
go back to reference Miao, W., & Liu, S. (2013). A formal engineering framework for service-based software modeling. IEEE Transactions on Services Computing, 6(4), 536–550.CrossRef Miao, W., & Liu, S. (2013). A formal engineering framework for service-based software modeling. IEEE Transactions on Services Computing, 6(4), 536–550.CrossRef
9.
go back to reference Nagoya, F., & Liu, S. (2015). Development of a web-based conference management system using SOFL. In Proceedings of the 2015 conference on research in adaptive and convergent systems, ser. RACS (pp. 337–342). New York, NY: ACM. Nagoya, F., & Liu, S. (2015). Development of a web-based conference management system using SOFL. In Proceedings of the 2015 conference on research in adaptive and convergent systems, ser. RACS (pp. 337–342). New York, NY: ACM.
10.
go back to reference Liu, S., Chen, Y., Nagoya, F., & McDermid, J. A. (2012). Formal specification-based inspection for verification of programs. IEEE Transactions on Software Engineering, 38(5), 1100–1122.CrossRef Liu, S., Chen, Y., Nagoya, F., & McDermid, J. A. (2012). Formal specification-based inspection for verification of programs. IEEE Transactions on Software Engineering, 38(5), 1100–1122.CrossRef
11.
go back to reference Liu, S., Tamai, T., & Nakajima, S. (2011). A framework for integrating formal specification, review, and testing to enhance software reliability. International Journal of Software Engineering and Knowledge Engineering, 21(2), 259–288.CrossRef Liu, S., Tamai, T., & Nakajima, S. (2011). A framework for integrating formal specification, review, and testing to enhance software reliability. International Journal of Software Engineering and Knowledge Engineering, 21(2), 259–288.CrossRef
12.
go back to reference Liu, S., & Shen, W. (2012). A formal approach to testing programs in practice. In 2012 international conference on systems and informatics (ICSAI) (pp. 2509–2515). Liu, S., & Shen, W. (2012). A formal approach to testing programs in practice. In 2012 international conference on systems and informatics (ICSAI) (pp. 2509–2515).
15.
go back to reference Jones, C. B. (1986). Systematic software development using VDM. Englewood Cliffs, NJ: Prentice Hall International (UK) Ltd.MATH Jones, C. B. (1986). Systematic software development using VDM. Englewood Cliffs, NJ: Prentice Hall International (UK) Ltd.MATH
16.
go back to reference DeMarco, T. (1979). Structured analysis and system specification. Upper Saddle River, NJ: Prentice Hall. DeMarco, T. (1979). Structured analysis and system specification. Upper Saddle River, NJ: Prentice Hall.
18.
go back to reference Liu, S., & Nakajima, S. (2010). 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, ser. SSIRI’10 (pp. 147–155). Washington, DC: IEEE Computer Society. Liu, S., & Nakajima, S. (2010). 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, ser. SSIRI’10 (pp. 147–155). Washington, DC: IEEE Computer Society.
19.
go back to reference Dick, J., & Faivre, A. (1993). Automating the generation and sequencing of test cases from model-based specifications. In FME ’93: Proceedings of the first international symposium of formal Methods Europe on industrial-strength formal methods (pp. 268–284). Springer: Berlin. Dick, J., & Faivre, A. (1993). Automating the generation and sequencing of test cases from model-based specifications. In FME ’93: Proceedings of the first international symposium of formal Methods Europe on industrial-strength formal methods (pp. 268–284). Springer: Berlin.
21.
go back to reference Booch, G., Rumbaugh, J., & Jacobson, I. (2005). Unified modeling language user guide, the 2nd edition (Addison-Wesley Object Technology Series) (2nd ed.). Reading, MA: Addison-Wesley. Booch, G., Rumbaugh, J., & Jacobson, I. (2005). Unified modeling language user guide, the 2nd edition (Addison-Wesley Object Technology Series) (2nd ed.). Reading, MA: Addison-Wesley.
22.
go back to reference Warmer, J., & Kleppe, A. (2003). The object constraint language: Getting your models ready for MDA (2nd ed.). Boston, MA: Addison-Wesley Longman Publishing Co., Inc. Warmer, J., & Kleppe, A. (2003). The object constraint language: Getting your models ready for MDA (2nd ed.). Boston, MA: Addison-Wesley Longman Publishing Co., Inc.
23.
go back to reference Cabot, J., & Gogolla, M. (2012). Object constraint language (OCL): A definitive guide, in Proceedings of the 12th international conference on formal methods for the design of computer, communication, and software systems: Formal methods for model-driven engineering, ser. SFM’12 (pp. 58–90). Berlin, Heidelberg: Springer. Cabot, J., & Gogolla, M. (2012). Object constraint language (OCL): A definitive guide, in Proceedings of the 12th international conference on formal methods for the design of computer, communication, and software systems: Formal methods for model-driven engineering, ser. SFM’12 (pp. 58–90). Berlin, Heidelberg: Springer.
24.
go back to reference Jackson, D. (2002). Alloy: A lightweight object modelling notation. ACM Transactions on Software Engineering and Methodology, 11(2), 256–290.CrossRef Jackson, D. (2002). Alloy: A lightweight object modelling notation. ACM Transactions on Software Engineering and Methodology, 11(2), 256–290.CrossRef
25.
go back to reference Cook, S., & Daniels, J. (1994). Designing object systems: Object-oriented modelling with syntropy. Upper Saddle River, NJ: Prentice-Hall Inc.MATH Cook, S., & Daniels, J. (1994). Designing object systems: Object-oriented modelling with syntropy. Upper Saddle River, NJ: Prentice-Hall Inc.MATH
26.
go back to reference Woodcock, J., & Davies, J. (1996). Using Z: Specification, refinement, and proof. Upper Saddle River, NJ: Prentice-Hall Inc.MATH Woodcock, J., & Davies, J. (1996). Using Z: Specification, refinement, and proof. Upper Saddle River, NJ: Prentice-Hall Inc.MATH
27.
go back to reference Meyer, B. (1992). Applying ’design by contract’. Computer, 25(10), 40–51.CrossRef Meyer, B. (1992). Applying ’design by contract’. Computer, 25(10), 40–51.CrossRef
28.
go back to reference Mitchell, R., McKim, J., & Meyer, B. (2002). Design by contract, by example. Redwood City, CA: Addison Wesley Longman Publishing Co., Inc. Mitchell, R., McKim, J., & Meyer, B. (2002). Design by contract, by example. Redwood City, CA: Addison Wesley Longman Publishing Co., Inc.
29.
go back to reference Liu, S., Offutt, A. J., Ho-Stuart, C., Ohba, M., & Sun, Y. (1998). SOFL: A formal engineering methodology for industrial applications. IEEE Transactions on Software Engineering, 24(1), 24–45.CrossRef Liu, S., Offutt, A. J., Ho-Stuart, C., Ohba, M., & Sun, Y. (1998). SOFL: A formal engineering methodology for industrial applications. IEEE Transactions on Software Engineering, 24(1), 24–45.CrossRef
31.
go back to reference D’Souza, D. F., & Wills, A. C. (1999). Objects, components, and frameworks with UML: The catalysis approach. Boston, MA: Addison-Wesley Longman Publishing Co., Inc. D’Souza, D. F., & Wills, A. C. (1999). Objects, components, and frameworks with UML: The catalysis approach. Boston, MA: Addison-Wesley Longman Publishing Co., Inc.
32.
go back to reference Jackson, D. (2006). Software abstractions: Logic, language, and analysis. Cambridge, MA: MIT Press. Jackson, D. (2006). Software abstractions: Logic, language, and analysis. Cambridge, MA: MIT Press.
33.
go back to reference Abrial, J.-R. (1996). The B-book: Assigning programs to meanings. New York, NY: Cambridge University Press.CrossRefMATH Abrial, J.-R. (1996). The B-book: Assigning programs to meanings. New York, NY: Cambridge University Press.CrossRefMATH
34.
go back to reference Gogolla, M., Bohling, J., & Richters, M. (2005). Validating UML and OCL models in use by automatic snapshot generation. Journal on Software and System Modeling, 4(4), 386–398.CrossRef Gogolla, M., Bohling, J., & Richters, M. (2005). Validating UML and OCL models in use by automatic snapshot generation. Journal on Software and System Modeling, 4(4), 386–398.CrossRef
35.
go back to reference Kuhlmann, M., Hamann, L., & Gogolla, M. (2011). Extensive validation of OCL models by integrating sat solving into use. In Proceedings of the 49th international conference on objects, models, components, patterns, ser. TOOLS’11 (pp. 290–306). Berlin: Springer. Kuhlmann, M., Hamann, L., & Gogolla, M. (2011). Extensive validation of OCL models by integrating sat solving into use. In Proceedings of the 49th international conference on objects, models, components, patterns, ser. TOOLS’11 (pp. 290–306). Berlin: Springer.
36.
go back to reference Liu, S., & Xue, X. (2009). Automated software specification and design using the sofl formal engineering method. In WRI World Congress on Software Engineering, 2009. WCSE ’09 (Vol. 4, pp. 283–289). Liu, S., & Xue, X. (2009). Automated software specification and design using the sofl formal engineering method. In WRI World Congress on Software Engineering, 2009. WCSE ’09 (Vol. 4, pp. 283–289).
37.
go back to reference Liu, S. (2010). An approach to applying SOFL for agile process and its application in developing a test support tool. Innovations in Systems and Software Engineering, 6(1–2), 137–143.CrossRef Liu, S. (2010). An approach to applying SOFL for agile process and its application in developing a test support tool. Innovations in Systems and Software Engineering, 6(1–2), 137–143.CrossRef
38.
go back to reference Nagoya, F., Liu, S., & Y. Chen. (2005). A tool and case study for specification-based program review. In 29th annual international conference on computer software and applications conference, 2005. COMPSAC 2005 (Vol. 1, 2, pp. 375–380). Nagoya, F., Liu, S., & Y. Chen. (2005). A tool and case study for specification-based program review. In 29th annual international conference on computer software and applications conference, 2005. COMPSAC 2005 (Vol. 1, 2, pp. 375–380).
39.
go back to reference Li, M., & Liu, S. (2015). Integrating animation-based inspection into formal design specification construction for reliable software systems. In IEEE transactions on reliability (Vol. 99, pp. 1–19). Li, M., & Liu, S. (2015). Integrating animation-based inspection into formal design specification construction for reliable software systems. In IEEE transactions on reliability (Vol. 99, pp. 1–19).
Metadata
Title
Development of a Web Dictionary System Using SOFL
Authors
Fumiko Nagoya, Ph.D
Shaoying Liu, Ph.D
Publication date
11-04-2016
Publisher
Springer US
Published in
Wireless Personal Communications / Issue 2/2017
Print ISSN: 0929-6212
Electronic ISSN: 1572-834X
DOI
https://doi.org/10.1007/s11277-016-3291-z

Other articles of this Issue 2/2017

Wireless Personal Communications 2/2017 Go to the issue