Checking complex compositions of web services against policy constraints

Proceedings of the 5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - MSVVEIS 2007; In Conjunction with ICEIS 2007

Volumn , Issue , 2007, Pages 94-103

  Dingwall Smith, Andrew ^a   Finkelstein, Anthony ^a  

^a UNIVERSITY COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

INFORMATION SYSTEMS; MARKUP LANGUAGES; TECHNICAL PRESENTATIONS; WEB SERVICES; WORLD WIDE WEB;

COMPLEX COMPOSITIONS; COMPLEX SERVICES; POLICY CONSTRAINTS; SERVICE COMPOSITIONS; XLINKIT; XML DOCUMENTS;

CHEMICAL ANALYSIS;

EID: 58149134836     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (9)

1. W3C: Web services choreography description language version 1.0. http://www.w3.org/TR/2005/CR-ws-cdl-10-20051109/(2005)
2. Nentwich, C., Capra, L., Emmerich, W., Finkelstein, A.: xlinkit: A consistency checking and smart link generation service. ACM Transactions on Internet Technology 2 (2002) 151-185
3. Nentwich, C., Emmerich, W., Finkelstein, A., Ellmer, E.: Flexible consistency checking. ACM Transactions on Software Engineering and Methology 12 (2003) 28-63
4. Nentwich, C., Emmerich, W., Finkelstein, A.: Consistency management with repair actions. In: the 25th International Conference on Software Engineering, IEEE Press (2003) 455-464
5. Marconi, M., Nentwich, C.: Clix language specification version 1.0. http://www.clixml.org/clix/1.0/clix.xml(2004)
6. W3C: Xml path language (xpath) version 1.0. http://www.w3.org/TR/xpath (1999)
7. ECMA: Ecmascript language specification. http://www.ecma-international. org/publications/standards/Ecma-262.htm (1999)
8. W3C: Web services choreography description language: Primer. http://www.w3.org/TR/ws-cdl-10-primer (2006)
9. Piccinelli, G., Finkelstein, A., Nentwich, C.: Web services need consistency. In: OOPSLA 2002 Workshop on Object-Oriented Web Services. (2002)