Viewpoints for modeling choreographies in service-oriented architectures

2009 Joint Working IEEE/IFIP Conference on Software Architecture and European Conference on Software Architecture, WICSA/ECSA 2009

Volumn , Issue , 2009, Pages 11-20

  Wieczorek, Sebastian ^a   Roth, Andreas ^a   Stefanescu, Alin ^a   Kozyura, Vitaly ^a   Charfi, Anis ^a   Kraft, Frank Michael ^a   Schieferdecker, Ina ^b  

^a SAP RESEARCH   (Germany)

^b FRAUNHOFER FOKUS   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPONENT INTEGRATION; ENTERPRISE INTEGRATION; INTEGRATION TESTING; META MODEL; MODEL VERIFICATION; MODEL-BASED; SERVICE INTEGRATION; TECHNICAL IMPLEMENTATION;

ARCHITECTURE; INFORMATION SERVICES; MIDDLEWARE; SEMANTIC WEB; SERVICE ORIENTED ARCHITECTURE (SOA);

SOFTWARE ARCHITECTURE;

EID: 74349110035     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WICSA.2009.5290787     Document Type: Conference Paper

References (16)

1. Business Process Modeling Notation (BPMN) Specification 2.0, Submitted Draft Proposal V0.9. Online at: http://www.omg.org/cgi-bin/doc?bmi/08-11-01.
2. Decker, G., Kopp, O., Leymann, F., Weske M.: BPEL4Chor: Extending BPEL for Modeling Choreographies. In: International Conference on Web Services Oriented Computing (ICWS'07), pp. 296-303. IEEE Computer Society (2007).
3. Decker, G., Weske, M.: Behavioral Consistency for B2B Process Integration. In: Proc. of CAiSE'07. LNCS, vol. 4495, pp. 81-95. Springer (2007).
4. Decker, G., Weske, M.: Local Enforceability in Interaction Petri Nets. In: Proc. of BPM'07, LNCS, vol. 4714, pp. 305-319. Springer (2007).
5. Dijkman, R., Dumas: Service-Oriented Design: A Multi-Viewpoint Approach. In: Int. J. Cooperative Inf. Syst. 13(4), pp. 337-368. World Scientific (2004).
6. Kazhamiakin, R., Pistore, M.: Choreography Conformance Analysis: Asynchronous Communications and Information Alignment. In: Proc. of WS-FM'09, LNCS, vol. 4184, pp. 227-241. Springer (2006).
7. Kätker, S., Patig, S.: Model-driven Development of Service-oriented Business Application Systems. In: Business Services: Konzepte, Technologien, Anwendungen, 9. Internationale Tagung Wirtschaftsinformatik. Band 1, pp. 171-180. Österreichische Computer Gesellschaft (2009).
8. Kavantzas, N., Burdett, D., Ritzinger, G., Lafon, Y.: Web Services Choreography Description Language Version 1.0. W3C Candidate Recomm., Technical report (2005).
9. Métayer, C., Abrial, J.R., Voisin, L.: Event-B Language, Online at: http://rodin.cs.ncl.ac.uk.
10. O'Leary, D.E.: Enterprise Resource Planning Systems - Systems, Life Cycle, Electronic Commerce and Risks. Cambridge University Press (2000).
11. Stefanescu, A., Wieczorek, S., Kirshin, A.: MBT4Chor: A Model-based Testing Approach for Service Choreographies. In: Proc. of ECMDA'09, LNCS, vol. 5562, pp. 313-324. Springer (2009).
12. van der Aalst, W.M.P., Weske, M.: The P2P Approach to Interorganizational Workflows. In: Proc. of CAiSE'01. LNCS, vol. 2068, pp. 140-156. Springer (2001).
13. Wieczorek, S., Roth, A., Stefanescu, A., Charfi, A.: Precise Steps for Choreography Modeling for SOA Validation and Verification. In: International Symposium on Service-Oriented Software Engineering (SOSE'08). IEEE Computer Society (2008).
14. Web Services Reliable Messaging (WS-Reliable-Messaging), Vers. 1.1. OASIS Consortiom. Online at: http://docs.oasis-open.org/ws-rx/wsrm/v1.1/wsrm.pdf.
15. Woods, D., Mattern, T.: Enterprise SOA - Designing IT for Business Innovation. O'Reilly (2006).
16. Zaha, J. M., Barros, A., Dumas, M., ter Hofstede, A.: Let's Dance: A Language for Service Behavior Modeling. In: Proc. of CoopIS'06, LNCS, vol. 4275, pp. 145-162. Springer (2006).