OMML: A behavioural model interchange format

Proceedings of the IEEE International Conference on Requirements Engineering

Volumn , Issue , 2004, Pages 272-282

  Hall, Robert J ^a   Zisman, Andrea ^b  

^a AT AND T LABS RESEARCH   (United States)

^b CITY UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; DATA PROCESSING; FORMAL LOGIC; INTEGRATION; SOFTWARE PROTOTYPING; STANDARDIZATION;

CHOREOGRAPHIC LANGUAGES; CONVERSATION CONSTRAINTS; OPENMODEL MODELING LANGUAGES (OMML); PROCEDURAL LANGUAGES;

REQUIREMENTS ENGINEERING;

EID: 17044383024     PISSN: 1090705X     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (23)

1. th IEEE Intl. Requirements Engineering Conference, 2003.
2. R. Bharadwaj and S. Sims. "Salsa: Combining constraint solvers with BDDs for automatic invariant checking". In Proc. of Tools and Algorithms for the Construction and Abnalysis of Systems (TACAS 2000). LNCS., Springer.
3. BPEL4WS. Business Process Execution Language for Web Services 1.1. www-106.ibm.com/developerworks/webservices/library/ws-bpel.
4. st Intl. Semantic Web Conference, vol. 342 of LNCS, pages 348-363, 2002.
5. J.C. Fernandez, H. Garavel, L. Mounie, A. Rasse, C. Rodr'iguez and J. Sifakis. "A toolbox for the verification of LOTOS programs". In Proc. of the 14th International Conference on Software Engineering ICSE'14, Melbourne, Australia, 1992.
6. X. Fu, T. Bultan, and J. Su. "A top down approach to modelling global behaviors of web services". Workshop on Requirement Engineering and Open Systems (REOS), California, USA, September 2003.
7. th International Workshop on Feature Interactions in Telecommunications and Software Systems.IOS Press, 2000.
8. st century". In Proc. 2002 ISR Workshop on State of the Art in Automated Software Engineering. UC Irvine ISR, 2002.
9. R.J. Hall. "Specification, validation, and synthesis of email agent controllers: a case study in function rich reactive system design".. Automated Software Engineering Journal, 9, pages 233-261, 2002.
10. th IEEE International Conference on Automated Software Engineering (ASE 2004). IEEE Computer Society, 2004.
11. R.J.Hall and A. Zisman. "OpenModel-based validation with missing information", 2003 (forthcoming).
12. R.J. Hall and A. Zisman. "Model interchange and integration for web services". Workshop on Testing, Analysing and Verification of Web Services (TAV-WEB), Boston, USA, ACM SIGSOFT Software Engineering Notes, 2004.
13. D. Harel. Satecharts: A visual approach to complex systems. Sci. of Computer Programming, 8(3), 1987.
14. C.L. Heitmeyer and R.D. Jeffords. "The SCR tabular notation: A formal foundation". NRL Memorandum Report NLR/MR/5546-03-8678.
15. C.L. Heitmeyer, R.D. Jeffords, and B.C. Labaw. "Automated consistency checking of requirements specifications". ACM Trans. on Software Engineering and Methodology, 5(3), pages 231-261, 1996.
16. G.J. Holzmann. Design and Validation of Computer Protocols. Englewood Cliffs, NJ: Prentice Hall.
17. J. Niu, J.M. Atlee and N.A. Day. "Template semantics for model-based notations". IEEE Transactions on Software Engineering,29(10), October 2003.
18. OpenModel home page. www.research.att.com/~hall/openmodel-project.html.
19. rd International Conference on Software Engineering (ICSE 2001), Canada, 2001.
20. Web Services Choreography Interface (WSCI) 1.0. http://www.w3.org/TR/ wsci.
21. Web Services Conversation Language (WSCL) 1.0. http://www.w3.org/TR/ wscl10.
22. Web Services Description Language (WSDL) 1.1. http://www.w3.org/TR/wsdl.
23. T. Yavuz-Kahveci and T. Bultan. "Specification, verification, and synthesis of concurrency control components". In Proc. ACM/SIGSOFT Intl. Symp. On Software Testing and Analysis, 2002.