Translating the OMT Dynamic Model into Object-Z

Dupuy, Sophie; Ledru, Yves; Chabre-Peccoud, Monique

doi:10.1007/978-3-540-49676-2_23

Search citation statements

Order By: Relevance

Paper Sections

Select...

Related Work1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

1998

2012

Publication Types

Select...

Book3

Other2

Relationship

Self Cite0

Independent5

Authors

Journals

Cited by 7 publications

(1 citation statement)

References 6 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Several projects have studied the problem of integrating SSADM and Z [14], OMT and LOTOS [20] -VDM [7] or Z [5,6].…”

Section: Related Workmentioning

confidence: 99%

A Systematic Approach to Transform OMT Diagrams to a B Specification

Meyer¹,

Souquières²

1999

FM’99 — Formal Methods

View full text Add to dashboard Cite

Abstract. This paper presents a systematic transformation of semiformal specifications expressed with OMT notations into formal specifications. The object model is first transformed into a specification composed of a set of B machines. Then each component of the dynamic model is transformed and integrated into the previous specification leading to a single specification. Transformations are presented as generic templates. When using these templates, the generated specification is automatically proved within the B prover relatively to the invariant preservation.

show abstract

“…Several projects have studied the problem of integrating SSADM and Z [14], OMT and LOTOS [20] -VDM [7] or Z [5,6].…”

Section: Related Workmentioning

confidence: 99%