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. © 2014 Springer International Publishing Switzerland.
CITATION STYLE
Miao, W., & Liu, S. (2014). Prototype tool for supporting a formal engineering approach to service-based software modeling. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8332 LNCS, pp. 89–103). Springer Verlag. https://doi.org/10.1007/978-3-319-04915-1_7
Mendeley helps you to discover research relevant for your work.