TY - GEN
T1 - Prototype tool for supporting a formal engineering approach to service-based software modeling
AU - Miao, Weikai
AU - Liu, Shaoying
PY - 2014
Y1 - 2014
N2 - 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.
AB - 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.
UR - https://www.scopus.com/pages/publications/84897798381
U2 - 10.1007/978-3-319-04915-1_7
DO - 10.1007/978-3-319-04915-1_7
M3 - 会议稿件
AN - SCOPUS:84897798381
SN - 9783319049144
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 89
EP - 103
BT - Structured Object-Oriented Formal Language and Method - Third International Workshop, SOFL+MSVL 2013, Revised Selected Papers
PB - Springer Verlag
T2 - 3rd International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2013
Y2 - 29 October 2013 through 29 October 2013
ER -