Formal analysis of object-oriented mograms

Moussa Amrani; Pierre Yves Schobbens

doi:10.1145/3103111.3104042

Formal analysis of object-oriented mograms

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

Résumé

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.

langue originale	Anglais
titre	Proceedings of the 19th Workshop on Formal Techniques for Java-Like Programs, FTfJP 2017 - Co-located with ECOOP 2017
Editeur	ACM Press
Pages	1-6
Nombre de pages	6
ISBN (Electronique)	9781450350983
Les DOIs	https://doi.org/10.1145/3103111.3104042
Etat de la publication	Publié - 18 juin 2017
Evénement	19th Workshop on Formal Techniques for Java-Like Programs, FTfJP 2017 - Barcelona, Espagne Durée: 20 juin 2017 → …

Série de publications

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

Une conférence

Une conférence	19th Workshop on Formal Techniques for Java-Like Programs, FTfJP 2017
Pays/Territoire	Espagne
La ville	Barcelona
période	20/06/17 → …

Accès au document

10.1145/3103111.3104042

Autres fichiers et liens

MPM4CPS: Multi-Paradigm Modelling for Cyber-Physical Systems
Schobbens, P. Y., Heymans, P. & Amrani, M.
21/11/14 → 24/11/18
Projet: Recherche

Contient cette citation

@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. Dans 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, p. 1-6, 19th Workshop on Formal Techniques for Java-Like Programs, FTfJP 2017, Barcelona, Espagne, 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).

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

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

Résumé

Série de publications

Une conférence

Accès au document

Autres fichiers et liens

Empreinte digitale

Projets

MPM4CPS: Multi-Paradigm Modelling for Cyber-Physical Systems

Contient cette citation