Return to search

Elektroninių paslaugų modelių verifikavimo galimybių tyrimas / Study of web service model verification possibilities

Web services provide means to computerize e-business processes. To be able to satisfy business requirements web services must be developed rapidly and in high quality. Code generation techniques are frequently employed. In such context, verification of web service models emerges as a relevant issue: model verification makes it easier to detect and remove errors of system specification at the early stages of software development cycle. Available model verification tools require transformation of the objective model into complex formal notations, supported by the tool. It would be convenient to implement model verification directly in a CASE tool. This thesis describes a method for checking web service models based on verification of UML state machines. Conceptual algorithms for checking state machine’s safety criteria: reachability, completeness and consistency are provided. These algorithms, implemented in CASE tools could help to ensure the correctness and consistency of behavioral models. Also, a state machine template for composite web services is presented. Template complements state machine with transitions representing unsuccessful scenarios. Designer is freed from necessity to repeat reoccurring unsuccessful transitions for every event. This template is useful for automatic code generation.

Identiferoai:union.ndltd.org:LABT_ETD/oai:elaba.lt:LT-eLABa-0001:E.02~2005~D_20050524_175118-23127
Date24 May 2005
CreatorsMickūnas, Viktoras
ContributorsJasinevičius, Raimundas, Barauskas, Rimantas, Maciulevičius, Stasys, Plėštys, Rimantas, Telksnys, Laimutis, Nemuraitė, Lina, Pranevičius, Henrikas, Lenkevičius, Antanas, Mockus, Jonas, Kaunas University of Technology
PublisherLithuanian Academic Libraries Network (LABT), Kaunas University of Technology
Source SetsLithuanian ETD submission system
LanguageLithuanian
Detected LanguageEnglish
TypeMaster thesis
Formatapplication/pdf
Sourcehttp://vddb.library.lt/obj/LT-eLABa-0001:E.02~2005~D_20050524_175118-23127
RightsUnrestricted

Page generated in 0.0017 seconds