You are in : Home » Results & submissions » Select UOA » 11 - Computer Science and Informatics » View submission: Royal Holloway, University of London » Outputs » Detail

Output details

11 - Computer Science and Informatics

Royal Holloway, University of London

Return to search Previous output Next output

Output 0 of 0 in the submission

Article title

A formal model for service-oriented interactions

Type

D - Journal article

DOI

10.1016/j.scico.2011.12.003

Title of journal

Science of Computer Programming

Article number

Volume number

Issue number

First page of article

577

ISSN of journal

0167-6423

Year of publication

2012

URL

http://www.sciencedirect.com/science/article/pii/S0167642311002255

Number of additional authors

Additional information

<07> This paper presents a semantics and specification logic for the reference modeling language developed in the FP6 Integrated Project SENSORIA for service-oriented software engineering. Associated model-checking techniques were developed and presented at FORTE/FMOODS 2009. Applications to several software engineering domains were presented at COORDINATION 2008, COMPSAC 2008, ISOLA 2008, and FESCA/ETAPS 2009. Invited tutorials were given at SFM 2009, DISCOTEC 2009, SBC 2010 (Brazil), Jiangxi Normal University (China) in 2010, the Technical University of Valencia (Spain) in 2010, and ONERA (France) in 2010.

Interdisciplinary

Cross-referral requested

Research group

D - Distributed and Global Computing

Citation count

Proposed double-weighted

Double-weighted statement

Reserve for a double-weighted output

Non-English

English abstract