lnu.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Monitoring safety properties of composite web services at runtime using CSP
Univ Tarbiat Modares, Iran.
Univ Tarbiat Modares, Iran.
Univ Tarbiat Modares, Iran.ORCID iD: 0000-0002-0377-5595
The University of Auckland, New Zealand.
2009 (English)In: 13th Enterprise Distributed Object Computing Conference Workshops, 2009. EDOCW 2009, IEEE Computer Society, 2009, p. 107-113Conference paper, Published paper (Refereed)
Abstract [en]

Nowadays, service oriented architecture has been given strong attention as an important approach to integrate heterogeneous systems, in which complex services are created by composing simplerservices offered by various systems. The correctness of composition requires techniques to verify if the composite service behaves properly. To this end, in this paper we propose a new method forruntime monitoring of composite services which uses Communicating Sequential Processes (CSP) to specify properties formally. Then, the CSP specification of properties is translated to a Labeled Transition System (LTS). In order to verify the safety of a composite service, we traverse the generated LTS at runtime. Existing methods almost use temporal logic to specify safety properties. There are two advantages in using CSP: 1) similarity of CSP operators and service composition patterns makes CSPstraightforward to be used by users. 2) there are some properties which can not be specified by temporal logic, while they can be expressed using CSP.

Place, publisher, year, edition, pages
IEEE Computer Society, 2009. p. 107-113
National Category
Computer Sciences
Identifiers
URN: urn:nbn:se:lnu:diva-42247DOI: 10.1109/EDOCW.2009.5332007ISBN: 978-1-4244-5563-8 (print)OAI: oai:DiVA.org:lnu-42247DiVA: diva2:803851
Conference
13th Enterprise Distributed Object Computing Conference Workshops, 2009. EDOCW 2009, 1-4 Sept. 2009, Auckland
Available from: 2015-04-13 Created: 2015-04-13 Last updated: 2018-01-11Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full text

Authority records BETA

Khakpour, Narges

Search in DiVA

By author/editor
Khakpour, Narges
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 69 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf