Formal analysis of object-oriented mograms

Moussa Amrani; Pierre Yves Schobbens

doi:10.1145/3103111.3104042

Formal analysis of object-oriented mograms

Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

Abstract

A mogram designates a software language implemented in either a programming or a modelling language. Object-Oriented mograms share many common language features, but also have specificities related to inheritance, collection values, opposite and contained references, or overloading. We propose a mathematical framework that captures the semantics of such mograms with a precise characterisation of the variation points. We implemented a prototype tool that enables formal analysis in a uniform way.

Original language	English
Title of host publication	Proceedings of the 19th Workshop on Formal Techniques for Java-Like Programs, FTfJP 2017 - Co-located with ECOOP 2017
Publisher	ACM Press
Pages	1-6
Number of pages	6
ISBN (Electronic)	9781450350983
DOIs	https://doi.org/10.1145/3103111.3104042
Publication status	Published - 18 Jun 2017
Event	19th Workshop on Formal Techniques for Java-Like Programs, FTfJP 2017 - Barcelona, Spain Duration: 20 Jun 2017 → …

Publication series

Name	Proceedings of the 19th Workshop on Formal Techniques for Java-like Programs - FTFJP'17

Conference

Conference	19th Workshop on Formal Techniques for Java-Like Programs, FTfJP 2017
Country/Territory	Spain
City	Barcelona
Period	20/06/17 → …

Keywords

Formal verification
OO languages
Semantics
Formal Verification
OO Languages

Access to Document

10.1145/3103111.3104042

Cite this

@inproceedings{92f5dbedc5474f06ada55f74de207977,

title = "Formal analysis of object-oriented mograms",

abstract = "A mogram designates a software language implemented in either a programming or a modelling language. Object-Oriented mograms share many common language features, but also have specificities related to inheritance, collection values, opposite and contained references, or overloading. We propose a mathematical framework that captures the semantics of such mograms with a precise characterisation of the variation points. We implemented a prototype tool that enables formal analysis in a uniform way.",

keywords = "Formal verification, OO languages, Semantics, Formal Verification, OO Languages",

author = "Moussa Amrani and Schobbens, {Pierre Yves}",

year = "2017",

month = jun,

day = "18",

doi = "10.1145/3103111.3104042",

language = "English",

series = "Proceedings of the 19th Workshop on Formal Techniques for Java-like Programs - FTFJP'17",

publisher = "ACM Press",

pages = "1--6",

booktitle = "Proceedings of the 19th Workshop on Formal Techniques for Java-Like Programs, FTfJP 2017 - Co-located with ECOOP 2017",

address = "United States",

note = "19th Workshop on Formal Techniques for Java-Like Programs, FTfJP 2017 ; Conference date: 20-06-2017",

}

Amrani, M & Schobbens, PY 2017, Formal analysis of object-oriented mograms. in Proceedings of the 19th Workshop on Formal Techniques for Java-Like Programs, FTfJP 2017 - Co-located with ECOOP 2017. Proceedings of the 19th Workshop on Formal Techniques for Java-like Programs - FTFJP'17, ACM Press, pp. 1-6, 19th Workshop on Formal Techniques for Java-Like Programs, FTfJP 2017, Barcelona, Spain, 20/06/17. https://doi.org/10.1145/3103111.3104042

Formal analysis of object-oriented mograms. / Amrani, Moussa ; Schobbens, Pierre Yves.
Proceedings of the 19th Workshop on Formal Techniques for Java-Like Programs, FTfJP 2017 - Co-located with ECOOP 2017. ACM Press, 2017. p. 1-6 (Proceedings of the 19th Workshop on Formal Techniques for Java-like Programs - FTFJP'17).

Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Formal analysis of object-oriented mograms

AU - Amrani, Moussa

AU - Schobbens, Pierre Yves

PY - 2017/6/18

Y1 - 2017/6/18

N2 - A mogram designates a software language implemented in either a programming or a modelling language. Object-Oriented mograms share many common language features, but also have specificities related to inheritance, collection values, opposite and contained references, or overloading. We propose a mathematical framework that captures the semantics of such mograms with a precise characterisation of the variation points. We implemented a prototype tool that enables formal analysis in a uniform way.

AB - A mogram designates a software language implemented in either a programming or a modelling language. Object-Oriented mograms share many common language features, but also have specificities related to inheritance, collection values, opposite and contained references, or overloading. We propose a mathematical framework that captures the semantics of such mograms with a precise characterisation of the variation points. We implemented a prototype tool that enables formal analysis in a uniform way.

KW - Formal verification

KW - OO languages

KW - Semantics

KW - Formal Verification

KW - OO Languages

UR - http://www.scopus.com/inward/record.url?scp=85026431371&partnerID=8YFLogxK

UR - http://dl.acm.org/citation.cfm?doid=3103111.3104042

UR - http://www.mendeley.com/research/formal-analysis-objectoriented-mograms

U2 - 10.1145/3103111.3104042

DO - 10.1145/3103111.3104042

M3 - Conference contribution

AN - SCOPUS:85026431371

T3 - Proceedings of the 19th Workshop on Formal Techniques for Java-like Programs - FTFJP'17

SP - 1

EP - 6

BT - Proceedings of the 19th Workshop on Formal Techniques for Java-Like Programs, FTfJP 2017 - Co-located with ECOOP 2017

PB - ACM Press

T2 - 19th Workshop on Formal Techniques for Java-Like Programs, FTfJP 2017

Y2 - 20 June 2017

ER -

Formal analysis of object-oriented mograms

Abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

Fingerprint

MPM4CPS: Multi-Paradigm Modelling for Cyber-Physical Systems

Cite this

Formal analysis of object-oriented mograms

Abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Projects

MPM4CPS: Multi-Paradigm Modelling for Cyber-Physical Systems

Cite this