Model Checking Semantically Annotated Services

Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behavior at process level. It has been used as a basic tool in several scenarios such as service selection, service validation, and service composition. The impor...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	IEEE transactions on software engineering 2012-05, Vol.38 (3), p.592-608
Hauptverfasser:	Di Pietro, I., Pagliarecci, F., Spalazzi, L.
Format:	Artikel
Sprache:	eng
Schlagworte:	Algorithms Biological system modeling Computational modeling description logic Formal methods Fuzzy logic intelligent web services Internet service providers Mathematical models model checking Ontologies Semantic web Semantics Studies Switches Syntactics temporal logic Web services
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!