Loading...
Please wait, while we are loading the content...
Similar Documents
Une approche de méta-modélisation formelle des méthodes de conception des systèmes automatisés de production
| Content Provider | Semantic Scholar |
|---|---|
| Author | Denis, Bruno |
| Copyright Year | 2001 |
| Abstract | La conception des systèmes automatisés de production (SAP) passe par la construction de modèles. La qualité du système conçu dépend de la qualité des modèles produits, et donc des langages et méthodes utilisés pour construire ces modèles. De nombreux travaux cherchent à améliorer la qualité de ces langages et de ces méthodes grâce à la méta-modélisation. Cependant, tous ces travaux ne s’intéressent qu’à des aspects particuliers des langages et méthodes. Le travail présenté ici [8] a au contraire pour but de définir rigoureusement et complètement les langages et les méthodes de conception. Pour cela les différents aspects à méta-modéliser sont définis, permettant ainsi de choisir un langage fomel, le langage Z, couvrant l’ensemble des besoins. Notre approche est validée sur deux exemples types. Mots-clés : langage formel Z, méta-modélisation, validation |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://lpietrac.free.fr/publis/Pietrac-1999-jda.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
