Verification of Web Service Compositions: An Operationalization of Correctness and a Requirements Framework for Service-oriented Modeling Techniques
Year of publication: |
2009
|
---|---|
Authors: | Röglinger, Maximilian |
Published in: |
Business & Information Systems Engineering. - Springer, ISSN 1867-0202. - Vol. 1.2009, 6, p. 429-437
|
Publisher: |
Springer |
Subject: | Web service compositions | Service-oriented modeling | Formal methods |
-
Mohammadi, Mohsen, (2017)
-
Mohammadi, Mohsen, (2017)
-
The Methods of Professional Development within the Higher Educational Institutions
Nicolau, Claudia Mihaela, (2009)
- More ...
-
Statements on the Contribution by Grisold et al. from Issue 2/2022
Weinhardt, Christof, (2023)
-
Value Orientation in Process Management
Buhl, Hans, (2011)
-
The Business Value of Process Flexibility
Afflerbach, Patrick, (2014)
- More ...