Yetenek Modeli ve Üstmodel Senkronizasyonu için bir Yöntem FerhatErata ferhat.erata@unitbilisim.com -Ge Ltd
Ar-Ge Bölümü Urla
MoharramChallenger moharram.challenger@ege.edu.tr -Ge Ltd
Ar-Ge Bölümü Urla
SerhatGezgin serhat.gezgin@unitbilisim.com -Ge Ltd
Ar-Ge Bölümü Urla
MehmetÖnat mehmet.onat@kocsistem.com.tr -Ge Ltd
Ar-Ge Bölümü Urla
KoçSistem Ar-Ge Merkezi Yetenek Modeli ve Üstmodel Senkronizasyonu için bir Yöntem 57E847FCC417C740245A4656CCB00723 GROBID - A machine learning software for extracting information from scholarly documents Alana Özgü Diller Alloy Clafer ECore Y

Y yetenek modelleri ya da alana özgü diller ile ifade edilirken, ürün ailesi için senkronizasyon yöntemi önermektedir. Yöntemin SAT ve CSP çözücüleri ile entegrasyonu sayesinde alana özgü dilin de Bu yönendüstriyel ar-ge
Eclipse

Modeling Framework) teknolojisidir [7]. Bir tür DSL olan yetenek modelleme dillerini, Pure::Variants [20] ve Gears [21 8] ve Clafer [ Örnek bir konfigürasyon Tablo 3 delleme ile EDM 12 Web Web List kadar içerik türü (content type) . 4. Otomatik üretilen mdd4cca üstmodeli (mdd4cca.ecore) 13 modelinde otomatik olarak saklanmakta ve uygulanabilmektedir. sync.ecore üstmodeline uygundur. Araç, mdd4caa.cfr yetenek modelinden, ekil 4'da yer limitleri gösterilen mdd4cca.ecore üst tir. Konfigürasyona dair Clafer'leri ise mdd4cca.ecore üstmodeline uygun örnek moinstances.mdd4cca

c. Case1.des (Clafer Desugared Notation) d. Case1.des (Alloy Notation) abstract 0..* c1_A : clafer 0..* { 0..* c2_name : string 1..1 { } 0..* c3_age : integer 1..1 { } 0..* c4_b : c15_B 1..1 { } 0..* c5_c ->> c16_C 1..1 { } [all disj x; y: this.c5_c | x.ref != y.ref] } abstract 0..* c15_B : clafer 0..* { } abstract 0..* c16_C : c15_B 0..* { } open util/integer pred show {} run show for 1 but 1 c15_B abstract sig c1_A { r_c2_name : one c2_name , r_c4_b : one c4_b , r_c5_c : one c5_c } { all disj x, y : this.@r_c5_c | (x.@ref) != (y.@ref) } sig c2_name { ref : one Int } { one @r_c2_name.this } sig c3_age { ref : one Int } { one @r_c3_age.this } sig c4_b extends c15_B {} { one @r_c4_b.this } sig c5_c { ref : one c16_C } { one @r_c5_c.this } abstract sig c15_B {} abstract sig c16_C extends c15_B {} m-
3 Yöntem ve Mimariçoklu örnekleme,9(ecore.ecore 3 ).9]. tenek modelleme dili ise Nesne Yönetim Grubu'nun multiple instantiation Group) (OMG) 1 <<conforms to>>1] Object Management Ecore Concrete Syntax (Ecore Model Editor)Common Variability Language) [10 <<syntax mapping>> <<transforms to>> <<syntax mapping>>arihte henüz <<syntax mapping>> <<syntax mapping>>lerin<<conforms to>>aktivitelerinden biri olan üst modellemeye OMG'nin önerisinde bir model analiz yöntemi ihti-akademik <<conforms to>><<conforms to>><<conforms to>>Boolean Satisfiability Problem çözücüleri ile entegrasyonu sayesinde a mümkündür. leme dilleri ile belirtmesi [4]. mdd4cca.des <<syntax mapping>> <<conforms to>>Constraint Satisfaction Problem) 3,4]. DSL'ler, yetenek model-mdd4cca.sync mdd4cca.ecore <<conforms to>> <<transforms>> <<transforms>>Bildirinin takip eden ikinci bölümünde, yöntemimize uygun yetenek modelleme instances.mdd4cca Alloy Concrete Syntax <<transforms>>da gramer ya da üstmodel., Clafer ve ECore dilleri ara-kaynak kodlu Eclipse Model-Dördüncü bölümde önerilen yöntemin Eclipse Modeling Platform soyutgerçek bir endüstriyel ar-ge[18].Eclipse EMF teknolojisi, ECore[7]. Bolan Xtext 2Son bölüm ise önerilen yöntemin bir ise programlama dilleri ve alana özgü dillerinni ve ileriye yö-nelikAraç, ECore ve EBNF.2Yetenek Modelleme ve Alana Özgü DillerClafer (class, feature, reference),lmetinsel bir dildir. Dil,Yöntemindir.-ve ilitemel alan söz dizim ve semantik saye-sinde SAT çözücülerine Alloy [6 analiz edilebilmesidir. Bu sebeple sözdizimine özgü kontrol-otomatik analiz edilmesi ATL [17] gibi bir dil kullanmak yerine n .temel alan formal birBirinci Derece Yüklem M . Clafer somut sözdizimi 'ndanFirst-Order Predicate Logic) yararlanarak yüklemleri olan Ecore, bir OM dili, [2]'denpredicate) büyük Meta-Object Facility) (clafer.bnf 4 ) ileBoolean ifadelere çevirebilmektedir. Daha sonra da bu ifadeler SAT çözücüleri tara-(MOF) alt temsil edilmektedir. Bu gramer, EMF entegrasyonu için bir ECore üstmodeline dö-ik olarak analiz edilebilmektedir kümesi olan Essential clafer.ecore 5 ) veXtextAlloy Analyzer14Bu bildiride önerilen yöntem, SAT çözücüsüText-based Variabi-lity Language) (TVL) [8
<<mapping>> . 1. Yöntem Mimarisi Eclipse eklentisi, en gün concise notation .cfr uzan-(Tablo 1.des ve tam notasyonu temsil eden desugared notation .b). Bu notasyon bir BNF gramer ile gösterilebilmektedir. Bu durumda, "concise notation" somut sözdizimini "desugared notation"3 Tam ECore üstmodeli: http://www.mdd4cca.com/metamodels/ecore.ecore4 Tam BNF: http://www.mdd4cca.com/grammars/clafer.ebnf5 Tam Clafer üstmodeli: http://www.mdd4cca.com/metamodels/clafer.ecore . 2. Clafer yetenek modelleme dili soyut sözdizimi (clafer.bnf 4 ) Tablo 1. Clafer, ü için bir örnek senaryo gösterimi a. Case1.cfr (Clafer Concise Notation) b. Case1.ecore (ECore Notation) abstract A name : string age : integer b : B c -> C abstract B abstract C : B
.sync.ecore üstmodeli gösteril-mektedir.ben-Clafer.Önerilen yöntem sayesindeString, Integer (built-in types) üzere pEAttribute (EString, EInt)Clafer Typingiçermesi sebebiyleEAttribute (EBoolean, EDate, EDouble) [3]üstmo-Reference Clafer delineEReference.Reference Clafer (':' ve '->') modellerinden ise platforma aitEReference.IsContainment: EBoolean i otomatik üretilebilmektedir.ReferenceEReference.IsOpposite: EBooleanTablo 3.i (mdd4cca.cfr) 11Clafer Inheritance a. Clafer Yetenek ModeliSingle Inheritance b. Clafer KonfigürasyonClafer Merging abstract NamedElementMultiple InheritanceClafer Nesting name: stringEcore, iç içe EClass'lar yuvalanmaz (innerabstract ContentModel : NamedElementweb -> Web +Cardinality (lone, some, any, one, interval) ownedEntityModel->EntityModel?(EAttribute | EReference)abstract Web : NamedElement.Multiplicity.(LowerBound and UpperBound)Group Cardinality (xor, or, mux, opt) ownedList : List *üretilir.ownedWeb : Web *EClass.IsAbstract: EBooleanabstract List : NamedElementSingleton Concrete Clafers contentTypes -> ContentType * xor TypeECore InstancesLibraryListabstract ContentType : NamedElementProjede, ebir Kur isAbstract : integer ? ownedField : Field *olan Microsoft SharePoint Foun-dation 9 (MSF) üzeri lookupEntity -> Entity ?10Temel d abstract Field: NamedElementxor Type Number Alana özgü kavra Booleanbüyük Örnek bir yetenek modeli, Tablo 1.a'da, otomatik olarak etleri yürütül-Text Referenceo 11.c Claferotasyonu gösterirken Tablo 1.d ise bu gösterimden üreti-contentType -> ContentTypelen Alloy modelidir. gerekli pa tür. SCla-fer yetenek modelleri bu kavramlar üzerindentur.modeli,örnek konfigürasyonlar-(roundtrip) ileiki tir. Bu yetenek modellerindenolaraksync.ecore üstmodeli bu dilin soy 7 Tam sync.ecore üstmodeli: http://www.mdd4cca.com/metamodels/sync.ecore Bu üstmodel, Xtext sel somut 8 Model-driven Development for Composite Content Applications: http://www.mdd4cca.com.9 Microsoft SharePoint Foundation: http://technet.microsoft.com/library/cc303422.aspx10 Composite Content Applications: https://www.gartner.com/doc/1286414/
ecore.ecore ve clafer.ecore .3.senkronizasyon ve izlenebilirlik üstmodeli (sync.ecore) 74 imarisisi8 (mdd4cca) isimli endüstriyel ar-ge projesinin tüm alana özgü görsel ve metinsel
Object Management Group: http://www.omg.org/ Xtext framework, http://eclipse.org/Xtext Xtend Java dialect, http://www.eclipse.org/Xtend/ Tam yetenek modeli: http://www.mdd4cca.com/features/mdd4cca.cfr Ecore to Clafer Translator: http://gsd.uwaterloo.ca/ecore2clafer
Feature and meta-models in Clafer: mixed, specialized, and coupled KCzarnecki Software Language Engineering
Berlin Heidelberg
 Springer 2011 Modeling and Analysis of Software Product Line Variability in Clafer 2013 Diss. University of Waterloo Aspect-oriented model-driven software product line engineering IGroher MVoelter Transactions on aspect-oriented software development
Berlin
 Springer 2009 Product line engineering using domain-specific languages MVoelter EVisser 15 th International Software Product Line Conference (SPLC) IEEE 2011 First Turkish software product line engineering workshop summary BTekinerdogan ACM SIGSOFT Software Engineering Notes 37 6 2012 Alloy: a lightweight object modelling notation DJackson ACM Transactions on Software Engineering and Methodology (TOSEM) 11 2 2002 EMF: eclipse modeling framework DSteinberg FBudinsky EMerks MPaternostro 2008 Pearson Education A text-based approach to feature modelling: Syntax and semantics of TVL AClassen QBoucher PHeymans Science of Computer Programming 2011 Cool features and tough decisions: a comparison of variability modeling approaches KCzarnecki PGrünbacher RRabiser KSchmid 6 th International workshop on variability modeling of software-intensive systems ACM 2012 Adding standardized variability to domain specific languages OHaugen BMoller-Pedersen JOldevik GKOlsen ASvendsen 12th International Software Product Line Conference IEEE 2008. 2008 Formalizing cardinality-based feature models and their specialization KCzarnecki SHelsen UEisenecker Software process: Improvement and practice 10 1 2005 Ecore.fmp: A tool for editing and instantiating class models as feature models MStephan MAntkiewicz 2008 8 University of Waterloo Technical Report From UML and OCL to relational logic and back MKuhlmann MGogolla Model Driven Engineering Languages and Systems
Heidelberg
 Springer 2012 Kodkod: A relational model finder ETorlak DJackson Tools and Algorithms for the Construction and Analysis of Systems
Berlin Heidelberg
 Springer 2007 FeatureMapper: mapping features to models FHeidenreich JKopcsek CWende 30th international conference on Software engineering ACM 2008 Alloy Analyzer Kullanarak Emniyet Kritik BAta HYüceer RE Sempozyumu 2009 Turkey ATL: A model transformation tool FJouault FAllilaire JBézivin IKurtev Science of Computer Programming 72 1-2 2008 Eclipse modeling project: a domain-specific language (DSL) toolkit RCGronback 2009 Pearson Education UML2Alloy: A challenging model transformation KAnastasakis BBordbar GGeorg IRay Model Driven Engineering Languages and Systems
Berlin Heidelberg
 Springer 2007 Modeling and building software product lines with pure::variants DBeuche 16 th International Software Product Line Conference ACM 2012 2 The biglever software gears unified software product line engineering framework CWKrueger Software Product Line Conference (SPLC 12) IEEE 2008