An integrated framework for formal development of open distributed systems

Proceedings of the ACM Symposium on Applied Computing

Volumn , Issue , 2003, Pages 1078-1085

  Traoré, Issa ^a   Aredo, Demissie B ^b   Ye, Hong ^a  

^a UNIVERSITY OF VICTORIA   (Canada)

^b NORWEGIAN COMPUTING CENTER   (Norway)

Author keywords

Formal Methods; Multi formalism; Object orientation; Open Distributed Systems; PVS; UML

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; DISTRIBUTED COMPUTER SYSTEMS; FORMAL LANGUAGES; OBJECT ORIENTED PROGRAMMING;

FORMAL DEVELOPMENT;

COMPUTER SCIENCE;

EID: 0038649324     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/952742.952744     Document Type: Conference Paper

References (10)

1. G. Agha, I.A. Mason, S. Smith, and C. Talcott. A Foundation for Actor Computation. Journal of Functional Programming, 7, 1997.
2. O. J. Dahl and O. Owe. Formal Methods and the RM-ODP. Research report No. 261, March 1998. Department of Informatics, University of Oslo, Norway.
3. A. Evans. UML class diagrams - filling the semantic gap. Technical Report, 1998. York University.
4. IEEE. IEEE Standard for a High Performance Serial Bus, August 1995. Standard 1394-1995.
5. ISO-IEC JTC1/SC21/WG7. The Reference Model of Open Distributed Processing, 1995.
6. R. Kneuper. Limits of Formal Methods. Formal Aspects of Computing, 9, 1997.
7. R. Milner, J. Parrow, and D. Walker. A Calculus of Mobile Processes part I and II. Information and Computation, 100, 1992.
8. The OMG. OMG Unified Modeling Language Specification, version 1.3, June 1999. OMG standard document.
9. S. Owre, N. Shankar, J. Rushby, and D. W. Stringer-Calvert. PVS Language Reference, version 2.3, September 1999.
10. J. B. Warmer and A. G. Kleppe. The Object Constraint Language: Precise Modeling with UML. Addison Wesley Longman Inc., Reading Massachusetts 01867, 1999.