Leveraging Eclipse for integrated model-based engineering of web service compositions

Proceedings of the 2005 OOPSLA Workshop on Eclipse Technology eXchange, eclipse'05

Volumn , Issue , 2005, Pages 95-99

  Foster, Howard ^a   Uchitel, Sebastian ^a   Magee, Jeff ^a   Kramer, Jeff ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

Eclipse plug in; Model checking; Validation; Verification; Web service choreography; Web service composition and orchestration

Indexed keywords

BPEL4WS; DESIGN TIME; DISTRIBUTED PROCESS; FORMAL MODELING; MESSAGE SEQUENCE CHARTS; MODEL BASED APPROACH; MODEL-BASED ENGINEERING; PLUG-INS; SERVICE CHOREOGRAPHIES; SERVICE INTERACTION; VALIDATION; VERIFICATION RESULTS; WEB SERVICE CHOREOGRAPHY; WEB SERVICE COMPOSITION; WEB SERVICE COMPOSITION AND ORCHESTRATION;

ANIMATION; CELL CULTURE; DESIGN; FINITE AUTOMATA; FLOWCHARTING; INTEGRATION; MODEL CHECKING; SEMANTIC WEB; SEMANTICS; USER INTERFACES;

WEB SERVICES;

EID: 79960197014     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1117696.1117716     Document Type: Conference Paper

References (14)

1. H. Foster, S. Uchitel, J. Magee, and J. Kramer, "Compatibility for Web Service Choreography, " presented at 2nd IEEE International Conference on Web Services (ICWS'04), San Diego, CA, 2004.
2. H. Foster, S. Uchitel, J. Magee, and J. Kramer, "Model-based Verification of Web Service Compositions, " presented at Eighteenth IEEE International Conference on Automated Software Engineering (ASE), Montreal, Canada, 2003.
3. H. Foster, S. Uchitel, J. Magee, and J. Kramer, "Tool Support for Model-Based Engineering of Web Service Compositions, " presented at 3rd IEEE International Conference on Web Services (ICWS'05), Orlando, FL, 2005.
4. J. Magee and J. Kramer, Concurrency - State Models and Java Programs: John Wiley, 1999.
5. T. Andrews, F. Curbera, H. Dholakia, Y. Goland, J. Klein, F. Leymann, K. Liu, D. Roller, D. Smith, S. Thatte, I. Trickovic, and S. Weerawarana, "Business Process Execution Language for Web Services Version 1.1, " 2004.
6. N. Kavantzas, D. Burdett, G. Ritzinger, T. Fletcher, and Y. Lafon, "Web Services Choreography Description Language Version 1.0 - W3C Working Draft 17 December 2004, " 2004.
7. B. Nuseibeh and S. Easterbrook, "Requirements engineering: A roadmap, " presented at International Conference on Software Engineering (ICSE'00), Limerick, 2000.
8. S. Uchitel, R. Chatley, J. Kramer, and J. Magee, "Fluent- Based Animation: Exploiting the Relation between Goals and Scenarios for Requirements Validation, " presented at Requirements Engineering (RE'04), 2004.
9. J. Yang and M. P. Papazoglou, "Service Components for Managing the Life-Cycle of Service Compositions, " Information Systems, 2003.
10. M. Larrson and I. Crnkovic, "New Challenges for Configuration Management, " presented at 9th Software Configuration Management Workshop, Toulouse, France, 1999.
11. S. Iyengar, "Business Process Integration Using UML and BPEL4WS, " presented at XML Conference and Exposition 2003, Philadelphia, PA, 2003.
12. F. Curbera, M. J. Duftler, R. Khalaf, N. Mukhi, W. A. Nagy, and S. Weerawarana, "BPWS4J: A platform for creating and executing BPEL4WS processes, " Component Systems group, International Business Machines (IBM), 2002.
13. F. Budinsky, D. Steinberg, E. Merks, R. Ellersick, and T. Grose, Eclipse Modeling Framework: Addison Wesley Professional, 2003.
14. OMG, "Meta-Object Facility (MOF), Version 1.4, " Object Management Group, 2002.