Output details
11 - Computer Science and Informatics
University of Leicester
Return to search
Output 0 of 0 in the submission
Article title
From StPowla processes to SRML models
Type
D - Journal article
Title of journal
FORMAL ASPECTS OF COMPUTING
Article number
-
Volume number
22
Issue number
3-4
First page of article
243
ISSN of journal
0934-5043
Year of publication
2010
URL
-
Number of additional authors
2
Additional information
<08>The aim of FP6 IP SENSORIA (www.sensoria-ist.eu) was to develop a comprehensive approach to the engineering of service-oriented systems where foundational theories, techniques and methods are fully integrated. This paper (a further development of a FASE'09 paper) introduces StPowla, the Sensoria language for high-level modelling of flexible SOA-based business applications. StPowla is targeted at business users through use of workflows and policies (typical notations in that domain), but by the presented mapping to SRML it also provides a rigorous semantics and thus achieves access to the formal analysis techniques.
Interdisciplinary
-
Cross-referral requested
-
Research group
None
Citation count
0
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
