ACM Portal
  Subscribe (Full Service)    Register (Limited Service, Free)    Login
  Search:   The ACM Digital Library   The Guide
  
ACM Home Page
Please provide us with feedback. Feedback
Digital Library logoTake a look at the new version of this page: [ beta version ]. Tell us what you think.
Applying Reo to service coordination in long-running business transactions
Full text PdfPdf (547 KB)
Source
Symposium on Applied Computing archive
Proceedings of the 2009 ACM symposium on Applied Computing table of contents
Honolulu, Hawaii
POSTER SESSION: Poster papers table of contents
Pages: 1381-1382  
Year of Publication: 2009
ISBN:978-1-60558-166-8
Authors
Natallia Kokash  CWI, Amsterdam, The Netherlands
Farhad Arbab  CWI, Amsterdam, The Netherlands
Sponsor
SIGAPP: ACM Special Interest Group on Applied Computing
Publisher
ACM  New York, NY, USA
Bibliometrics
Downloads (6 Weeks): 8,   Downloads (12 Months): 49,   Citation Count: 0
Additional Information:

abstract   references   index terms   collaborative colleagues  

Tools and Actions: Request Permissions Request Permissions    Review this Article  
DOI Bookmark: Use this link to bookmark this Article: http://doi.acm.org/10.1145/1529282.1529590
What is a DOI?

ABSTRACT

This paper presents an approach to formal modeling of long-running business transactions. Our solution is based on the channel-based exogenous coordination language Reo, which is an expressive, compositional and semantically precise design language that admits formal reasoning.


REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

 
1
Farhad Arbab, Reo: a channel-based coordination model for component composition, Mathematical Structures in Computer Science, v.14 n.3, p.329-366, June 2004  [doi>10.1017/S0960129504004153]
 
2
F. Arbab, N. Kokash, and M. Sun. Towards using Reo for compliance-aware business process modelling. In Proc. of the Int. Symposium on Leveraging Applications of Formal Methods, Verification and Validation, volume 17 of LNCS. Springer, 2008.

INDEX TERMS

Keywords:
Reo coordination, business process modeling, transaction

Collaborative Colleagues:
Natallia Kokash: colleagues
Farhad Arbab: colleagues

The ACM Portal is published by the Association for Computing Machinery. Copyright © 2010 ACM, Inc.
Terms of Usage   Privacy Policy   Code of Ethics   Contact Us

Useful downloads: Adobe Acrobat    QuickTime    Windows Media Player    Real Player