Precise steps for choreography modeling for SOA validation and verification

Proceedings of the 4th IEEE International Symposium on Service-Oriented System Engineering, SOSE 2008

Volumn , Issue , 2008, Pages 148-153

  Wieczorek, Sebastian ^a   Roth, Andreas ^a   Ştefànescu, Alin ^a   Charfi, Anis ^a  

^a SAP RESEARCH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

INFORMATION SERVICES; SPECIFICATIONS; SYSTEMS ENGINEERING;

AUTOMATED VERIFICATIONS; FLEXIBLE BUSINESS PROCESS; FORMAL SPECIFICATIONS; INTER-ACTION PROTOCOLS; IT INFRASTRUCTURES; MODELING REQUIREMENTS; SERVICE COMPONENTS; SERVICE-ORIENTED ARCHITECTURES; STANDARD SERVICES; VALIDATION AND VERIFICATIONS;

SERVICE ORIENTED ARCHITECTURE (SOA);

EID: 62249142159     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SOSE.2008.43     Document Type: Conference Paper

References (17)

1. A. Barros, M. Dumas, A. ter Hofstede, Service interaction patterns, In Proc. of Conf. on Business Process Management (BPM'05), Springer, 2005, pp. 302-318.
2. C. Benedetto, SOA and integration testing: The end-toend view, SOA World Magazine 6(8), 2006. Online at: http://webservices.sys-con.com/read/ 275057.htm
3. G. Decker and A. Barros, Interaction modeling using BPMN, In Proc. of Business Process Management Workshop 2007 (BPM'07), LNCS 4928, Springer, 2007, pp. 208-219.
4. G. Decker and M. Weske, Behavioral consistency for B2B process integration. In Proc. of 19th Int. Conf. on Advanced Information Systems Engineering (CAiSE'07), LNCS 4495, Springer, 2007, pp. 81-95.
5. N. Kavantzas, D. Burdett, G. Ritzinger, Y. Lafon, Web Services Choreography Description Language Version 1.0, W3C Candidate Recommendation, Technical report, 2005, Online at: http://www.w3.org/TR/ws-cdl-10
6. D.E. O'Leary, Enterprise resource planning systemssystems, life cycle, electronic commerce and risks. Cambridge University Press, 2000.
7. C. Métayer, J. R. Abrial, and L. Voisin, Event-B Language, RODIN Deliverable D7 [Rodin], 2005. Available at http://rodin.cs.ncl.ac.uk
8. Object Management Group (OMG), Business Process Modeling Notation (BPMN) Specification, Final Adopted Specification, Technical Report, 2006. Online at: http://www.bpmn.org/
9. SAP AG, Enterprise SOA in a Nutshell, 2007. Online: http://help.sap.com/redirect-sdn-esoa/redirect-esoainanutsh ell.htm
10. M. Utting and B. Legeard, Practical model-based testing, a tools approach. Morgan Kaufmann Publ., 2007.
11. S. Wieczorek, A. Stefanescu, and J. Großmann, Enabling model-based testing for SOA integration testing, In Proc. of Model-based testing in practice (MOTIP'08), satellite workshop of ECMDA'08, 2008, pp. 77-82.
12. S. Wieczorek, A. Stefanescu, and I. Schieferdecker, Test data provision for ERP systems, In Proc. of Int. Conf. on Software Testing, Verification and Validation (ICST'08), IEEE Computer Society, 2008, pp 396-403.
13. D. Woods, and T. Mattern, Enterprise SOA - Designing IT for Business Innovation, O'Reilly, 2006.
14. J.M. Zaha, A. Barros, M. Dumas, A. ter Hofstede, A Language for Service Behavior Modeling, In Proc. of Int. Conf. on Cooperative Information Systems (CoopIS'06), Springer, 2006.
15. J.M. Zaha, M. Dumas, A. ter Hofstede, A. Barros, G. Decker, Service interaction modeling: bridging global and local views. In Proc. of Enterprise Distributed Object Computing. (EDOC'06), IEEE Computer Society, pp. 45-55.
16. G. Decker, O. Kopp, F. Leymann, K. Pfitzner, M. Weske, Modeling service choreographies using BPMN and BPEL4Chor. In Proc. of Advanced Information Systems Engineering (CAiSE'08), LNCS 5074, Springer, pp. 79-93.
17. The Unified Modeling Language (UML). Object Management Group (OMG). http://www.uml.org.