Abstract specification in Object-Z and CSP

Smith, G. P. and Derrick, J. (2002). Abstract specification in Object-Z and CSP. In: C. George and H. Miao, Formal Methods And Software Engineering, Proceedings. 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, (108-119). 21-25 October, 2002.

Author Smith, G. P.
Derrick, J.
Title of paper Abstract specification in Object-Z and CSP
Conference name 4th International Conference on Formal Engineering Methods, ICFEM 2002
Conference location Shanghai, China
Conference dates 21-25 October, 2002
Proceedings title Formal Methods And Software Engineering, Proceedings   Check publisher's open access policy
Journal name Formal Methods and Software Engineering, Proceedings   Check publisher's open access policy
Place of Publication Heidelberg
Publisher Springer-Verlag
Publication Year 2002
Sub-type Fully published paper
ISBN 3-540-00029-1
ISSN 0302-9743
Editor C. George
H. Miao
Volume LNCS 2495
Start page 108
End page 119
Total pages 12
Collection year 2002
Language eng
Abstract/Summary A number of integrations of the state-based specification language Object-Z and the process algebra CSP have been proposed in recent years. In developing such integrations, a number of semantic decisions have to be made. In particular, what happens when an operation's precondition is not satisfied? Is the operation blocked, i.e., prevented from occurring, or can it occur with an undefined result? Also, are outputs from operations angelic, satisfying the environment's constraints on them, or are they demonic and not influenced by the environment at all? In this paper we discuss the differences between the models, and show that by adopting a blocking model of preconditions together with an angelic model of outputs one can specify systems at higher levels of abstraction.
Subjects E1
280302 Software Engineering
700199 Computer software and services not elsewhere classified
Keyword Computer science
Theory and methods
Q-Index Code E1

 
Versions
Version Filter Type
Citation counts: TR Web of Science Citation Count  Cited 6 times in Thomson Reuters Web of Science Article | Citations
Google Scholar Search Google Scholar
Access Statistics: 104 Abstract Views  -  Detailed Statistics
Created: Fri, 24 Aug 2007, 01:02:40 EST