Overview of OpenModel-based validation with partial information

Proceedings - 18th IEEE International Conference on Automated Software Engineering, ASE 2003

Volumn , Issue , 2003, Pages 347-350

  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

MESSAGE PASSING; WEB SERVICES;

BEHAVIORAL MODEL; BUSINESS WEBS; EBUSINESS; INSTANT MESSAGING; MESSAGING SYSTEM; MULTI-STAKEHOLDER; PARTIAL INFORMATION; REQUIREMENT ENGINEERING; SYSTEMS ANALYSTS; WEB SERVICES NETWORKS;

ELECTRONIC MAIL;

EID: 15844395630     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.2003.1240335     Document Type: Conference Paper

References (8)

1. S. Fickas, L. Ehlhardt, M. Sohlberg, and B. Todis. Towards personal re: a challenging case study. Technical Report 45-02, University of Oregon, Computer Science Dept, 2002.
2. D. Giannakopoulou, J. Kramer, and S. Cheung. Analysing the behaviour of distributed systems using tracta. Automated Software Engineering, 6(1):7-35, 1999.
3. R. J. Hall. Systematic incremental validation of reactive systems via sound scenario generalization. Automated Software Engineering, 2(2):131-166, 1995.
4. 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.
5. R. J. Hall. Specification, validation, and synthesis of email agent controllers: a case study in function rich reactive system design. Automated Software Engineering, 9:233-261, 2002.
6. D. Harel. Statecharts: a visual approach to complex systems. Science of Computer Programming, 8(3):231-274, 1987.
7. C. L. Heitmeyer, R. D. Jeffords, and B. G. Labaw. Automated consistency checking of requirements specifications. ACM Transactions on Software Engineering and Methodology, 5(3):231-261, 1996.
8. Openmodel home page. www.research.att.com/~hall/openmodel-project.html.