An Executable Concurrent Model for OWL-S Process Models

This paper investigates an executable concurrent model for OWL-S process models. To this end, a concurrent temporal logic programming language, Framed Temporal Logic Programming Language (FTLL), and OWL-S process models are briefly introduced. Further, the computational model, Kripke Transition Syst...

Full description

Saved in:
Bibliographic Details
Published in:2010 10th International Conference on Quality Software pp. 405 - 413
Main Authors: Zhenhua Duan, Cong Tian
Format: Conference Proceeding
Language:English
Published: IEEE 01.07.2010
Subjects:
Computational modeling
Data models
Kripke Transition System
Logic programming
Ontologies
OWL-S process model
Process control
Semantic Web
Simulation
Temporal Logic Programming Language
Verification
Web services
ISBN:1424480787, 9781424480784
ISSN:1550-6002
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Abstract This paper investigates an executable concurrent model for OWL-S process models. To this end, a concurrent temporal logic programming language, Framed Temporal Logic Programming Language (FTLL), and OWL-S process models are briefly introduced. Further, the computational model, Kripke Transition System (KTS), is inductively defined for processes of OWL-S. Moreover, an algorithm K-F is formalized to translate KTS into FTLL. Thus, an executable subset of FTLL, Framed Tempura, can be employed to simulate OWL-S process models. In addition, an example is given to show how our method works.
AbstractList This paper investigates an executable concurrent model for OWL-S process models. To this end, a concurrent temporal logic programming language, Framed Temporal Logic Programming Language (FTLL), and OWL-S process models are briefly introduced. Further, the computational model, Kripke Transition System (KTS), is inductively defined for processes of OWL-S. Moreover, an algorithm K-F is formalized to translate KTS into FTLL. Thus, an executable subset of FTLL, Framed Tempura, can be employed to simulate OWL-S process models. In addition, an example is given to show how our method works.
Author Zhenhua Duan
Cong Tian
Author_xml – sequence: 1
  surname: Zhenhua Duan
  fullname: Zhenhua Duan
  email: zhhduan@mail.xidian.edu.cn
  organization: Inst. of Comput. Theor. & Technol., Xidian Univ., Xi'an, China
– sequence: 2
  surname: Cong Tian
  fullname: Cong Tian
  email: ctian@mail.xidian.edu.cn
  organization: Inst. of Comput. Theor. & Technol., Xidian Univ., Xi'an, China
BookMark eNotjM1KAzEURiNWsFO7c-cmLzD15ucmk2UZqhZGqrTgsiTpDYyMMzJpQd_eQv02h3MWX8Em_dATY_cCFkKAe3zfruuFhLPq6ooVYI1DLZRQ16wQWmpdga3shE0FIpQGQN6yec6fcJ5GKZ2YMrvs-eqH4unoQ0e8Hvp4Gkfqj_x1OFDH0zDyzUdTbvnbOETK-dLzHbtJvss0_-eM7Z5Wu_qlbDbP63rZlK2DYxkcROUSBl8FQKkiHgyhTtIaEUwwJH2VkgCvPEBKVuhkEF0K0RhNWqkZe7jctkS0_x7bLz_-7hGNdE6rP-HwR74
ContentType Conference Proceeding
DBID 6IE
6IL
CBEJK
RIE
RIL
DOI 10.1109/QSIC.2010.48
DatabaseName IEEE Electronic Library (IEL) Conference Proceedings
IEEE Xplore POP ALL
IEEE Xplore All Conference Proceedings
IEEE Electronic Library (IEL)
IEEE Proceedings Order Plans (POP All) 1998-Present
DatabaseTitleList
Database_xml – sequence: 1
  dbid: RIE
  name: IEEE Electronic Library (IEL)
  url: https://ieeexplore.ieee.org/
  sourceTypes: Publisher
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
EISBN 0769541313
9780769541310
EndPage 413
ExternalDocumentID 5562994
Genre orig-research
GroupedDBID 23M
29O
6IE
6IF
6IH
6IK
6IL
6IM
6IN
AAJGR
AAWTH
ADZIZ
ALMA_UNASSIGNED_HOLDINGS
BEFXN
BFFAM
BGNUA
BKEBE
BPEOZ
CBEJK
CHZPO
IEGSK
IPLJI
M43
OCL
RIE
RIL
RNS
ID FETCH-LOGICAL-i90t-b90c39f5ba8b0523c5d6e54f2761b6b6e2a8ff10a3a00ff714f6559fbc664e433
IEDL.DBID RIE
ISBN 1424480787
9781424480784
ISSN 1550-6002
IngestDate Wed Aug 27 02:59:22 EDT 2025
IsPeerReviewed false
IsScholarly false
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-i90t-b90c39f5ba8b0523c5d6e54f2761b6b6e2a8ff10a3a00ff714f6559fbc664e433
PageCount 9
ParticipantIDs ieee_primary_5562994
PublicationCentury 2000
PublicationDate 2010-July
PublicationDateYYYYMMDD 2010-07-01
PublicationDate_xml – month: 07
  year: 2010
  text: 2010-July
PublicationDecade 2010
PublicationTitle 2010 10th International Conference on Quality Software
PublicationTitleAbbrev QSIC
PublicationYear 2010
Publisher IEEE
Publisher_xml – name: IEEE
SSID ssj0000452291
ssib026768167
ssj0045089
Score 1.4540098
Snippet This paper investigates an executable concurrent model for OWL-S process models. To this end, a concurrent temporal logic programming language, Framed Temporal...
SourceID ieee
SourceType Publisher
StartPage 405
SubjectTerms Computational modeling
Data models
Kripke Transition System
Logic programming
Ontologies
OWL-S process model
Process control
Semantic Web
Simulation
Temporal Logic Programming Language
Verification
Web services
Title An Executable Concurrent Model for OWL-S Process Models
URI https://ieeexplore.ieee.org/document/5562994
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV3LS8MwGA_b8ODJxya-ycGjcX3k0RxlbCiMOdnA3UaSfYGBdLJ14p9v0rTVgxdvSaBQkjbfly-_B0J3NDIxNdISwzUnFJggSqsVMTaBLKEG4iCZPxaTSbZYyGkL3TdcGAAowWfw4JvlXf5qY_a-VNZnLlhLSduoLQQPXK3620m4y5srUnfYhb1UuGzgHtQlIrLUTmXuuOS2gZrk5fXWRa39VPVpg5CX_dfZ8yAgwLxF0C8HljIAjY7-9-rHqPfD5MPTJkadoBbkp-iotnLA1Z_dReIxx8MvMPvCU6mwe9oE4SbszdLesUtt8cvbmMxwxSwI47semo-G88ETqTwVyFpGBdEyMqm0TKtM-4KwYSsOjNpE8Fi71YJEZdbGkUpVFFkrYmq5O3NYbTinQNP0DHXyTQ7nCAuVWM2yjMdKUqt8BcnwCGSagmWxzS5Q10_D8iOoZiyrGbj8e_gKHYZ7eQ-EvUadYruHG3RgPov1bntbLvU3F9KgaQ
linkProvider IEEE
linkToHtml http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV3NS8MwFA9zCnqauonf5uDRuH4kaXOUMdmwzskG7jbS7AUG0snWiX--SdNWD168JYFCSdq8l5ffB0K31FM-VUITxVNOKLCIyFQuiNIBxAFV4DvJ_CQajeLZTIwb6K7mwgBAAT6De9ss7vIXK7W1pbIuM8FaCLqDdpmVtXNsrerrCbjJnEtat9uHrVi4qAEf1KQiolBPZebAZDaCiuZlFdejSv2p7NMaIy-6r5Nhz2HArEnQLw-WIgQ9tv738oeo88Plw-M6Sh2hBmTHqFWZOeDy326j6CHD_S9Q29ySqbB5WjnpJmzt0t6xSW7xy1tCJrjkFrjxTQdNH_vT3oCUrgpkKbycpMJTodAslXFqS8KKLTgwqoOI-6lZLwhkrLXvyVB6ntaRTzU3pw6dKs4p0DA8Qc1slcEpwpEMdMrimPtSUC1tDUlxD0QYgma-js9Q207D_MPpZszLGTj_e_gG7Q-mz8k8GY6eLtCBu6W3sNhL1MzXW7hCe-ozX27W18WyfwOvEaOy
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=proceeding&rft.title=2010+10th+International+Conference+on+Quality+Software&rft.atitle=An+Executable+Concurrent+Model+for+OWL-S+Process+Models&rft.au=Zhenhua+Duan&rft.au=Cong+Tian&rft.date=2010-07-01&rft.pub=IEEE&rft.isbn=9781424480784&rft.issn=1550-6002&rft.spage=405&rft.epage=413&rft_id=info:doi/10.1109%2FQSIC.2010.48&rft.externalDocID=5562994
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1550-6002&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1550-6002&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1550-6002&client=summon