OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

xFFBD: towards a formal yet functional modeling language for system designers

Aizier, Bruno and Lizy-Destrez, Stéphanie and Schneider, Charlotte and Chapurlat, Vincent and Prun, Daniel and Wippler, Jean-Luc xFFBD: towards a formal yet functional modeling language for system designers. (2012) Incose International Symposium, 22 (1). 170-183.

[img]
Preview
(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
1MB

Official URL: https://doi.org/10.1002/j.2334-5837.2012.tb01329.x

Abstract

Although the eFFBD formalism dates back to the 1990s (or even, in a simplified form, the 1950s), it seems that it is still not as much used by the Systems Engineering community as it could. Indeed, eFFBD is a modeling language focusing on functional paradigm i.e. allowing functional and behavioral modeling and reasoning about a system. Currently, it is often confronted or compared to other languages such as SysML for activity modeling (activity diagrams) based on object paradigm. This paper aims to demonstrate the interest and the potential advantages for systems designers, like most of the discipline-oriented designers to dispose of an enriched (conceptually and semantically) eFFBD modeling language called here xFFBD. This has to be a credible framework for modeling, communicating and reasoning about complex systems. After shortly recalling the history, the key concepts and capabilities of eFFBD, this paper compares eFFBD with other formalisms considered here as relevant for the study, Petri nets and SysML. Several leads are then identified and discussed in order to improve the eFFBD language and to provide a first draft version of xFFBD specification.

Item Type:Article
Audience (journal):Special issue journal
Uncontrolled Keywords:
Institution:French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Ecole Nationale de l'Aviation Civile - ENAC (FRANCE)
Other partners > Ecole Nationale Supérieure de Techniques Avancées - ENSTA (FRANCE)
Université de Toulouse > Institut Supérieur de l'Aéronautique et de l'Espace - ISAE-SUPAERO (FRANCE)
Other partners > Institut Mines-Télécom (FRANCE)
Other partners > Université de Nantes (FRANCE)
Other partners > LUCA Ingénierie (FRANCE)
Laboratory name:
Statistics:download
Deposited On:19 Apr 2021 11:22

Repository Staff Only: item control page