Verification of Semantic Web Service Annotations Using Ontology-Based Partitioning

Research output: Contribution to journal › Article › peer-review

Original language	English
Article number	6419692
Pages (from-to)	515-528
Number of pages	14
Journal	IEEE Transactions on Services Computing
Volume	7
Issue number	3
Early online date	24 Jan 2013
DOIs	https://doi.org/10.1109/TSC.2013.4
Publication status	Published - 2014

Keywords

@article{d4469812e2bb4c769ae3635a01dbd76d,

title = "Verification of Semantic Web Service Annotations Using Ontology-Based Partitioning",

keywords = "model-based test generation, semantic annotations, Semantic web services, specification-based testing, test adequacy",

author = "Khalid Belhajjame and Embury, {Suzanne M} and Paton, {Norman W}",

year = "2014",

doi = "10.1109/TSC.2013.4",

language = "English",

volume = "7",

pages = "515--528",

journal = "IEEE Transactions on Services Computing",

issn = "1939-1374",

publisher = "IEEE",

number = "3",

}

TY - JOUR

T1 - Verification of Semantic Web Service Annotations Using Ontology-Based Partitioning

AU - Belhajjame, Khalid

AU - Embury, Suzanne M

AU - Paton, Norman W

PY - 2014

Y1 - 2014

KW - model-based test generation

KW - semantic annotations

KW - Semantic web services

KW - specification-based testing

KW - test adequacy

U2 - 10.1109/TSC.2013.4

DO - 10.1109/TSC.2013.4

M3 - Article

SN - 1939-1374

VL - 7

SP - 515

EP - 528

JO - IEEE Transactions on Services Computing

JF - IEEE Transactions on Services Computing

IS - 3

M1 - 6419692

ER -