A K-based language for Design Patterns

Douibi, Halima; Smaali, Sahar; Belala, Faïza

doi:10.1109/aiccsa.2014.7073256

Search citation statements

Order By: Relevance

Paper Sections

Select...

Our Design Patterns Formalization Approach1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2019

Publication Types

Select...

Article1

Relationship

Self Cite0

Independent1

Authors

Journals

Cited by 1 publication

(1 citation statement)

References 11 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In the following, the main features of our meta-model of patterns (Douibi et al, 2014) are recalled,itsmotivationthroughanillustrativeexample,andthentheK-DPLlanguagefeaturesare graduallypresented. Theoriginalityofourcontributioninthispaperisnoticedthroughtheaddedclassesspecifying thepossibleinter-connectionofmorethanonepattern.…”

Section: Our Design Patterns Formalization Approachmentioning

confidence: 99%

Design Patterns Formal Composition and Analysis

Douibi

Belala

2019

International Journal of Information Technologies and Systems Approach

View full text Add to dashboard Cite

Informaldescriptionofdesignpatternswasadoptedtofacilitatetheirunderstandingbysoftware developers. However, these descriptions lead to ambiguities limiting their successful use in real applications.Recently,severalformalmethodshavebeenemployedtoguaranteeprecisespecification ofdesignpatternelementswithoutinsistingontheirbehavior.Themaingoalofthisarticleisto propose a rewriting logic-based framework for enhancing formal description and reasoning on designpatternscomposition.TheproposedmodelisintegratedandexecutedunderMaudeusing K-Maudetool.Itallowsfirsttoassociateametamodelnotation,accordingtoMDAapproach,to alldesignpatternselementsandthen,aMaudesemanticbasisforspecifyingboththeirstructural anddynamicaspects,isgiven.Inparticular,itwillbeshownhowtheauthors'combinedmodeling approachisexploitedfordefiningasetofoperationsonpatterns,andhowitwillbeusedtoformal analyzepatternscomposition.

show abstract

Section: Our Design Patterns Formalization Approachmentioning

confidence: 99%