An integrated framework for formal development of open distributed systems

Information and Software Technology

Volumn 46, Issue 5 SPEC. ISS., 2004, Pages 281-286

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

^a UNIVERSITY OF VICTORIA   (Canada)

^b NORWEGIAN COMPUTING CENTER   (Norway)

Author keywords

Formal methods; Multi formalism; Object orientated programming; Open distributed systems; Prototype Verification System; Unified Modeling Language

Indexed keywords

DISTRIBUTED COMPUTER SYSTEMS; OBJECT ORIENTED PROGRAMMING; SEMANTICS; SOFTWARE PROTOTYPING;

FORMAL METHODS; MULTI FORMALISM; OPEN DISTRIBUTED SYSTEMS; PROTOTYPE VERIFICATION SYSTEM; UNIFIED MODELING LANGUAGE (UML);

OPEN SYSTEMS;

EID: 1142263486     PISSN: 09505849     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.infsof.2003.09.012     Document Type: Conference Paper

References (8)

1. Dahl O.J., Owe O. Formal Methods and the RMODP. Research Report No. 261. 1998;Department of Informatics, University of Oslo, Norway.
2. A. Evans, UML class diagrams-filling the semantic gap, Technical Report, York University, 1998.
3. IEEE, IEEE Standard for a High Performance Serial Bus, Standard 1394-1995, August 1995.
4. ISO-IEC JTC1/SC21/WG7, The Reference Model of Open Distributed Processing, 1995.
5. M. Liu Yanguo, Proof Patterns for UML-based Verification, Master Thesis, ECE Department, University of Victoria, Victoria, Canada, October 2002.
6. The OMG, OMG Unified Modeling Language Specification, version 1.3, OMG standard document, June 1999.
7. S. Owre, N. Shankar, J. Rushby, D.W. Stringer-Calvert, PVS Language Reference, version 2.3, September 1999.
8. Warmer J.B., Kleppe A.G. The Object Constraint Language: Precise Modeling with UML. 1999;Addison Wesley Longman Inc. Readign, MA.