1 / 7

Experimental Frames methodology

Experimental Frames methodology. Mamadou K . Traoré Universit é Blaise Pascal LIMOS CNRS UMR 6158 Clermont-Ferrand , France. ME. EF. Model/Frame duality. Model. Frame. COMPOSABILITY. REUSE. PATTERNS. MULTI-CONCEPTS. Approaches Roles. MRMPM …. Relation to Science Of Design.

johannes
Download Presentation

Experimental Frames methodology

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Experimental Frames methodology MamadouK. Traoré Université Blaise PascalLIMOS CNRS UMR 6158 Clermont-Ferrand, France

  2. ME EF Model/Frame duality

  3. Model Frame COMPOSABILITY REUSE PATTERNS MULTI-CONCEPTS • Approaches • Roles • MRMPM • … Relation to Science Of Design

  4. Model Frame FORMALIZATION MATCHING Capturing the Objectives, Assumptions and Constraints Verifying Objectives, Assumptions and Constraints satisfaction Issues HOW? LEGITIMACY

  5. (Plug-in) OM IM POCC PICC CPIC OE EICC CEOC CCC IE Plug-in approach Observable Model/System Frame EI = <T, IM, IE, OM, OE> ES = <T, IM, IE, OM, OE,M, E,C, SU> EN = <T, IM, IE, OM, OE,M, E,C, D, {Cd, d  D}, PICC, CPIC, EICC, POCC, CEOC, CCC>

  6. Model/Frame matching • Conditions: sets inclusion • Objective satisfaction::signature matching • Injective/surjective morphism (objectives match  signature match) • Full/partial match, match factor • Objectives satisfaction = filter MatchObjectives: E  M  Bool • Adapted satisfaction: model augmentation • Constraints satisfaction • Exact satisfaction is rarely expected • Assumptions satisfaction::specification matching • Prover • Theorem prover, computational cost • Various possible specifications for abstract sets(enumeration, combination, formulae, cross-products…)

  7. Many propects… • Automated processes for retrieval, evaluation and adptation • Reverse documentation • Analysis, design and recognition of patterns • Meta-modeling • Frame morphism • …

More Related