Index of /mlt-telos

Name	Last modified	Size

Parent Directory		-
GELs/	2020-10-15 12:54	-
LOG-CHANGES.txt	2020-10-25 15:16	12K
SOURCES/	2021-08-16 10:15	-
create-DeepTelosDB.cbs	2020-09-01 12:45	3.8K
create-MLTtelosDB.cbs	2020-10-05 11:42	6.3K
multi20-presentation-mlt-telos.pdf	2020-10-05 11:39	2.0M

Multi-Level Modeling Φ Download ConceptBase Φ Forum Φ Team Φ Home

MLT-Telos: Implementation and Examples

This directory contains the up-to-date implementation and examples for MLT-Telos, the implementation of MLT* on top of O-Telos in ConceptBase. The source code for MLT-Telos and the examples are a supplement to the paper

Manfred A. Jeusfeld, João Paulo A. Almeida, Victorio A. Carvalho, Claudenir M. Fonseca, Bernd Neumayr:
Deductive reconstruction of MLT* for multi-level modeling.
Original paper appeared in ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS '20 Companion), 
Workshop MULTI 2020, Virtual Event, Canada, DOI 10.1145/3417990.3421410.

Also available:

Slides for a presentation on MLT-Telos
Videos on MLT-Telos: presentation, demo theory, demo examples

Older versions of MLT-Telos:

MLT-Telos 2020-10-25: The version as published in the MULTI20 paper
Changelog

The source models (*.sml, *.sml.txt,*.cbs) in this directory (incl. subdirectories) and their derivates (*.gel,*.png) are provided under a CC BY-SA 4.0 license: Attribution-ShareAlike 4.0 International. You need ConceptBase 8.1 released July 2020 or later to test the implementation. Download it from http://conceptbase.cc.

The sources of MLT-Telos can be found in the SOURCES directory. The sources can be loaded into a ConceptBase server to configure it for MLT-Telos. Self-contained graph files with examples of MLT-Telos can be found in the GELs directory. The directory also contains the MLT-Telos source code for the examples (see als the paper above). They are really short. The GEL files are self-contained, i.e. they contain all necessary definitions like the deductive rules and constraints specifying MLT-Telos.

Examples from the MULTI 2020 paper

In the following, we list the example graph files that are used in out paper as figures. The links behind the images point to the graph files, which can directly start the ConceptBase graph editor, if you have installed and configured it appropriately, see http://conceptbase.sourceforge.net/CB-Download.html and http://conceptbase.sourceforge.net/CB-Mime.html.

EntityType  end 

Product in EntityType with 
   attribute
    owner : Person
end 
Person in EntityType  end 

AdultPerson isA Person  end 
Car isA Product with 
   attribute
    owner : AdultPerson
end 
Car!owner isA Product!owner  end 

mary in AdultPerson  end 
marysCar in Car with 
   owner
    o : mary
end

Figure 2: Simple powertype relation with basic types

Person in TYPE end

PersonType in TYPE with
  isPowerTypeOf type: Person
end

Man in TYPE,PersonType end
Woman in TYPE,PersonType end

John in INDIVIDUAL,Man end
Bob in INDIVIDUAL,Man end
Ana in INDIVIDUAL,Woman end

Person in TYPE end

PersonType in TYPE with
  isPowerTypeOf type: Person
end

PersonByGender in TYPE with
  specializes t1: PersonType
  partitions t2: Person
end

Man in TYPE,PersonByGender end
Woman in TYPE,PersonByGender end

John in INDIVIDUAL,Man end
Bob in INDIVIDUAL,Man end
Ana in INDIVIDUAL,Man,Woman end
Data in INDIVIDUAL,Person end

LivingBeing in TYPE end
LivingBeingType in TYPE with
  isPowerTypeOf type: LivingBeing
end
PersonType in TYPE with
  specializes t1: LivingBeingType
end
Plant in TYPE with
  specializes t1: LivingBeing
end
Person in TYPE with
  specializes t1: LivingBeing
end
PersonByGender in TYPE with
  specializes t1: PersonType
  partitions t2: Person
end
Man in TYPE,PersonByGender end
Woman in TYPE,PersonByGender end

John in INDIVIDUAL,Man end
Bob in INDIVIDUAL,Man end
Ana in INDIVIDUAL,Woman end
Data in INDIVIDUAL,Person end

Figure 5: Multiple generalization in MLT-Telos

Person in TYPE end

PersonType in TYPE with
  isPowerTypeOf type: Person
end

Man in TYPE,PersonType end
Woman in TYPE,PersonType end
Adult in TYPE,PersonType end
AdultMan in TYPE with
  specializes
   type1: Man;
   type2: Adult
end

John in INDIVIDUAL,AdultMan end
Bob in INDIVIDUAL,Man end
Ana in INDIVIDUAL,Woman end

1stOT in TYPE with
  isPowerTypeOf type1: INDIVIDUAL
end
2ndOT in TYPE with
  isPowerTypeOf type1: 1stOT
end
PersonByGender in TYPE, 2ndOT with
  partitions type: Person
end
Person in TYPE, 1stOT
end
Man in TYPE,PersonByGender with
end
Woman in TYPE,PersonByGender with
end

{---}
John in Man end
Bob in Man end
Ana in Woman end

Figure 7: DeepTelos model interpreted as MLT-Model

ProductCategory in Class  end 
ProductModel in Class with 
   IN c : ProductCategory
end 
Product in Class with 
   IN c : ProductModel
end 
CarModel in ProductCategory  end 
Car in Class with 
   IN c : CarModel
end 
{---} 
Person  end 
ProductCategory in Class end 
ProductModel in Class with 
   attribute listPrice : Integer
end 
CarModel in Class,ProductCategory with 
   attribute numberOfDoors : Integer
end 
Car in Class with 
   attribute
    mileage : Integer;
    owner : AdultPerson
end 
AdultPerson isA Person  end 
Product in Class with 
   attribute owner : Person
end 
{---} 
Porsche911 in CarModel,Class with 
  numberOfDoors d : 2
  listPrice p : 120000
end 
{---} 
mary in AdultPerson  end 
marysCar in Porsche911 with 
  mileage m : 27000
  owner o : mary
end

MLT-Telos model for multi-level modeling languages


LANGUAGE in TYPE,Class with 
   isPowerTypeOf
    type : MODEL
   attribute
     hasConstruct: Proposition
end 
MODEL in TYPE,Class isA Module with
  attribute
    contains: Proposition
end

{---} 

Program in TYPE,LANGUAGE  end 
ConceptualModel in TYPE,LANGUAGE  end 
FreeText in TYPE,LANGUAGE  end 
DataModel in TYPE with 
   specializes
    type : ConceptualModel
end 

{---} 

MultiLevelDataModel in TYPE with 
   specializes
    type : DataModel
end 
TwoLevelDataModel in TYPE with 
   specializes
    type : DataModel
end 
MultiLevelDataModel in Class  end 
TwoLevelDataModel in Class  end 

UMLClassDiagram in TYPE,Class with 
   specializes
    type : TwoLevelDataModel
end 
PotencyBasedDataModel in TYPE with 
   specializes
    type : MultiLevelDataModel
end 
PowerTypeBasedDataModel in TYPE with 
   specializes
    type : MultiLevelDataModel
end 

Melanee in TYPE with 
   specializes
    type : PotencyBasedDataModel
end 
MetaDepth in TYPE with 
   specializes
    type : PotencyBasedDataModel
end 
FMMLx in TYPE with 
   specializes
    type : PotencyBasedDataModel
end 

MLTstar in TYPE with 
   specializes
    type : PowerTypeBasedDataModel
end 
MLTTelos in TYPE with 
   specializes
    type : MLTstar
end 
DeepTelos in TYPE with 
   specializes
    type : MLTTelos
end 
{---}

Ex1 in MLTTelos end

Manfred Jeusfeld, 2020-10-15