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, 107-113 p.Conference 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. 107-113 p.
National Category
Computer Science
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: 2015-08-18Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full text

Search in DiVA

By author/editor
Khakpour, Narges
Computer Science

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 61 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