Skip to main content
SpringerLink
Log in

Prototype Tool for Supporting a Formal Engineering Approach to Service-Based Software Modeling

  • Conference paper
  • First Online:
Structured Object-Oriented Formal Language and Method (SOFL+MSVL 2013)

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

  • 725 Accesses

Abstract

Despite the advances in service-based software modeling, few existing approaches and tools support a systematic engineering process in which precise specification construction and accurate web service selection are integrated coherently. Due to this reality, how to carry out service-based software modeling so that existing services can be accurately discovered, selected, and effectively reused in the system under development is still a challenge. To solve this problem, this paper describes a prototype tool that supports a formal engineering framework for service-based software modeling. Formal specification can be constructed in an evolutionary manner; meanwhile, appropriate services are discovered and selected through the specification evolution. We illustrate the basic principle underlying the tool. The tool design and its implementation are also described. An example is presented to demonstrate major features of this tool.

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 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

Institutional subscriptions

References

  1. http://www.bpmn.org/ (2011) (Online)

  2. http://docs.oasis-open.org/wsbpel/2.0/wsbpel-v2.0.pdf (2011) (Online)

  3. Bai, L., Wei, J.: A service-oriented business process modeling methodology and implementation. In: International Conference on Interoperability for Enterprise Software and Applications China, 2009, IESA ’09, April 2009, pp. 201–205 (2009)

    Google Scholar 

  4. Bozzon, A., Brambilla, M., Facca, F., Carughu, G.: A conceptual modeling approach to business service mashup development. In: IEEE International Conference on Web Services (ICWS), July 2009, pp. 751–758 (2009)

    Google Scholar 

  5. Decker, G., Kopp, O., Leymann, F., Weske, M.: BPEL4Chor: extending BPEL for modeling choreographies. In: International Conference on Web Services (ICWS), July 2007, pp. 296–303 (2007)

    Google Scholar 

  6. Klusch, M., Fries, B., Sycara, K.: Automated semantic web service discovery with OWLS-MX. In: Fifth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS), Hakodate, Japan, May 2006, pp. 915–922 (2006)

    Google Scholar 

  7. Liu, S., Chen, Y., Nagoya, F., McDermid, J.: Formal specification-based inspection for verification of programs. IEEE Trans. Softw. Eng. 99 (2011, PrePrints)

    Google Scholar 

  8. Liu, S.: Integrating specification-based review and testing for detecting errors in programs. In: Butler, M., Hinchey, M.G., Larrondo-Petrie, M.M. (eds.) ICFEM 2007. LNCS, vol. 4789, pp. 136–150. Springer, Heidelberg (2007)

    Google Scholar 

  9. Liu, S., McDermid, J., Chen, Y.: A rigorous method for inspection of model-based formal specifications. IEEE Trans. Reliab. 59(4), 667–684 (2010)

    Article  Google Scholar 

  10. Liu, S., Nakajima, S.: A “Vibration” method for automatically generating test cases based on formal specifications. In: 18th Asia-Pacific Software Engineering Conference (APSEC2011), Ho Chi Minh, Vietnam, December 2011, pp. 73–80 (2011)

    Google Scholar 

  11. Meditskos, G., Bassiliades, N.: Structural and role-oriented web service discovery with taxonomies in OWL-S. IEEE Trans. Knowl. Data Eng. 22(2), 278–290 (2010)

    Article  Google Scholar 

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

    Article  Google Scholar 

  13. Papazoglou, M.P., Traverso, P., Dustdar, S., Leymann, F.: Service-oriented computing: state of the art and research challenges. Computer 40, 38–45 (2007)

    Article  Google Scholar 

  14. Liu, S.: Formal Engineering for Industrial Software Development Using the SOFL Method. Springer, Heidelberg (2004)

    Book  MATH  Google Scholar 

  15. Liu, S., Offutt, A.J., Ho-Stuart, C., Sun, Y., Ohba, M.: SOFL: a formal engineering methodology for industrial applications. IEEE Trans. Softw. Eng. 1, 24–45 (1998)

    Google Scholar 

  16. Spanoudakis, G., Zisman, A.: Discovering services during service-based system design using UML. IEEE Trans. Softw. Eng. 36(3), 371–389 (2010)

    Article  Google Scholar 

  17. Wong, P.Y.H., Gibbons, J.: A process semantics for BPMN. In: Liu, S., Maibaum, T., Araki, K. (eds.) ICFEM 2008. LNCS, vol. 5256, pp. 355–374. Springer, Heidelberg (2008)

    Google Scholar 

  18. Ye, J., Sun, S., Song, W., Wen, L.: Formal semantics of BPMN process models using YAWL. In: Second International Symposium on Intelligent Information Technology Application, December 2008, vol. 2, pp. 70–74 (2008)

    Google Scholar 

Download references

Acknowledgement

This research is supported by SCAT research Foundation. This research is also supported by IDEA4CPS, MT-LAB (VKR Centre of Excellence), Shanghai Knowledge Service Platform for Trustworthy Internet of Things No. ZF1213 and NSFC Project No.91118007.

Author information

Authors and Affiliations

  1. Shanghai Key Laboratory of Trustworthy Computing, Software Engineering Institute, East China Normal University, Shanghai, China

    Weikai Miao

  2. Department of Computer Science, Hosei University, Tokyo, Japan

    Shaoying Liu

Authors
  1. Weikai Miao
    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 Weikai Miao .

Editor information

Editors and Affiliations

  1. Hosei University, Koganei-shi, Tokyo, Japan

    Shaoying Liu

  2. Technology, Xidian University, Xi’an, China

    Zhenhua Duan

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer International Publishing Switzerland

About this paper

Cite this paper

Miao, W., Liu, S. (2014). Prototype Tool for Supporting a Formal Engineering Approach to Service-Based Software Modeling. In: Liu, S., Duan, Z. (eds) Structured Object-Oriented Formal Language and Method. SOFL+MSVL 2013. Lecture Notes in Computer Science(), vol 8332. Springer, Cham. https://doi.org/10.1007/978-3-319-04915-1_7

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-04915-1_7

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-04914-4

  • Online ISBN: 978-3-319-04915-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation