An approach to object-orientation in action systems

Bonsangue, Marcello M.; Kok, Joost N.; Sere, Kaisa

doi:10.1007/bfb0054286

Cited by 32 publications

(29 citation statements)

References 23 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Other investigations into modifying class structure in a formal context were made by Bonsangue et al [1,2]. Here, object orientation was modelled by extending the action system formalism to support objects and classes.…”

Section: Related Workmentioning

confidence: 99%

Refactoring Object-Z Specifications

McComb

2004

Fundamental Approaches to Software Engineering

View full text Add to dashboard Cite

Abstract. Object-Z offers an object-oriented means for structuring formal specifications. We investigate the application of refactoring rules to add and remove structure from such specifications to forge objectoriented designs. This allows us to tractably move from an abstract functional description of a system toward a lower-level design suitable for implementation on an object-oriented platform.

show abstract

Section: Related Workmentioning

confidence: 99%

Refactoring Object-Z Specifications

McComb

2004

Fundamental Approaches to Software Engineering

View full text Add to dashboard Cite

show abstract

“…[1,2,6,4,8,29]. There are a number of recent articles on Hoare Logics for object-oriented programming (see, e.g.…”

Section: Law 21mentioning

confidence: 99%

A Relational Model for Object-Oriented Designs

Liu

et al. 2004

Programming Languages and Systems

View full text Add to dashboard Cite

Abstract. This paper develops a mathematical characterisation of object-oriented concepts by defining an observation-oriented semantics for an object-oriented language (OOL) with a rich variety of features including subtypes, visibility, inheritance, dynamic binding and polymorphism. The language is expressive enough for the specification of object-oriented designs and programs. We also propose a calculus based on this model to support both structural and behavioural refinement of object-oriented designs. We take the approach of the development of the design calculus based on the standard predicate logic in Hoare and He's Unifying Theories of Programming (UTP). We also consider object reference in terms of object identity as values and mutually dependent methods.

show abstract

“…There has been extensive study of formal type-systems for object-oriented languages, and some study of formal specification, but formalization of development methods [BKS98,Lan95] lags behind both the language features and the informal methods presently used. This paper presents a semantic basis for formal development of programs in languages like Java and C++.…”

Section: Introductionmentioning

confidence: 99%