Behavioral models as service descriptions

ICSOC '04: Proceedings of the Second International Conference on Service Oriented Computing

Volumn , Issue , 2004, Pages 163-172

  Hall, Robert J ^a   Zisman, Andrea ^b  

^a AT AND T LABS RESEARCH   (United States)

^b CITY UNIVERSITY   (United Kingdom)

Author keywords

Behavioral Model; Executable Specification; Execution Monitoring; Service discovery; Validation

Indexed keywords

BEHAVIORAL RESEARCH; COMPUTER PROGRAMMING; COMPUTER SOFTWARE SELECTION AND EVALUATION; CONTRACTS; SEMANTICS; TELECOMMUNICATION SERVICES; WORLD WIDE WEB;

BEHAVIORAL MODELS; EXECUTABLE SPECIFICATION; EXECUTION MONITORING; SERVICE DISCOVERY; VALIDATION;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 20444435184     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1035167.1035191     Document Type: Conference Paper

References (17)

1. The alloy analyzer, alloy.mit.edu.
2. L. Baresi, E. DiNitto, and C. Ghezzi. Inconsistency and ephemerality in a world of e-services. In Proc. 2003 Workshop on Requirements Engineering for Open Systems, in conjunction with 11th IEEE Intl. Requirements Engineering Conf., 2003.
3. B. Benatallah, F. Casati, and F. Toumani. Web services conversation modeling: a cornerstone for e-business automation. IEEE Internet Computing, 8(1):46-54, 2004.
4. B. Berard, M. Bidoit, A. Finkel, F. Laroussinie, A. Petit, L. Petrucci, P. Schnoebelen, and P. McKenzie. Systems and Software Verification: Model-checking techniques and tools. Springer, 2001.
5. Business process execution language for web services. www-106.ibm.com/developerworks/library/ws-bpel/.
6. R. J. Hall. Open modeling in multi-stakeholder distributed systems: Model-based requirements engineering for the 21st century. In Proc. 2002 ISR Workshop on State of the Art in Automated Software Engineering. UC Irvine ISR, 2002.
7. R. J. Hall and A. Zisman. Model interchange and integration for web services. In Proc. 2004 ACM SIGSOFT Workshop on Testing, Analysis, and Verification of Web Services, 2004.
8. R. J. Hall and A. Zisman. Omml: A behavioural model interchange format. In Proc. 2004 IEEE Intl. Requirements Engineering Conference. IEEE Computer Society, 2004.
9. R. J. Hall and A. Zisman. Validating personal requirements by assisted symbolic behavior browsing. In Proc. 2004 IEEE Intl. Conf. on Automated Software Engineering. IEEE Computer Society, 2004.
10. D. Harel. Statecharts: a visual approach to complex systems. Science of Computer Programming, 8(3):231-274, 1987.
11. C. Heitmeyer, J. Kirby, B. Labaw, and R. Bharadwaj. Scr*: A toolset for specifying and analyzing software requirements. In Proc. 10th Computer-Aided Verification Conf, 1998.
12. L. Meredith and S. Bjorg. Contracts and types. Communications of the ACM, 46(10):41-47, 2003.
13. Openmodel home page, www.research.att.com/~hall/openmodel-project.html.
14. http ://www.daml.org/services/owl-s/.
15. W. Robinson. Monitoring web services requirements. In Proc. Eleventh IEEE Intl. Requirements Engineering Conf, pages 65-74. IEEE Computer Society, 2003.
16. Web service conversation language (wscl) 1.0 web page. http://www.w3.org/TR/2002/NOTE-wscl10-20020314/.
17. Web service definition language (wsdl) web page. http://www.w3.org/TR/wsdl.