Sciweavers

FMCO   2008 Formal Methods for Components and Objects
Wall of Fame | Most Viewed FMCO-2008 Paper
FMCO
2008
Springer
167views Formal Methods» more  FMCO 2008»
13 years 6 months ago
Formal Behavioral Modeling and Compliance Analysis for Service-Oriented Systems
In this paper, we present a framework for formal modeling and verification of service-based business processes with focus on their compliance to external regulations such as Segreg...
Natallia Kokash, Farhad Arbab
Disclaimer and Copyright Notice
Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.
IdReadViewsTitleStatus
1Download preprint from source167
2Download preprint from source143
3Download preprint from source133
4Download preprint from source120
5Download preprint from source117
6Download preprint from source110
7Download preprint from source109