Index of /emisaj2021challenge

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[IMG]spdm-plain.png2022-02-06 09:17 21K 
[ ]spdm-plain.gel2022-02-06 09:17 24K 
[IMG]spdm-multi.png2022-02-06 09:17 46K 
[ ]spdm-multi.gel2022-02-06 09:17 25K 
[IMG]s13.png2022-02-06 09:16 17K 
[ ]s13.gel2022-02-06 09:17 58K 
[IMG]s11-s12.png2022-02-06 09:16 17K 
[ ]s11-s12.gel2022-02-06 09:17 59K 
[IMG]s10.png2022-02-06 09:16 13K 
[ ]s10.gel2022-02-06 09:17 58K 
[IMG]s8-s9.png2022-02-06 09:16 9.9K 
[ ]s8-s9.gel2022-02-06 09:17 58K 
[IMG]s5-s7.png2022-02-06 09:16 14K 
[ ]s5-s7.gel2022-02-06 09:17 60K 
[IMG]s1-s4.png2022-02-06 09:16 57K 
[ ]s1-s4.gel2022-02-06 09:17 57K 
[IMG]processtype2.png2022-02-06 09:16 71K 
[IMG]process3.png2022-02-06 09:16 13K 
[ ]process3.gel2022-02-06 09:17 67K 
[IMG]process3-bpmn-trace.png2023-01-10 10:21 84K 
[ ]process3-bpmn-trace.gel2023-01-10 10:21 71K 
[IMG]process2.png2022-02-06 09:16 26K 
[ ]process2.gel2022-02-06 09:17 189K 
[ ]process1a.gel2021-04-01 14:24 208K 
[IMG]process1.png2022-02-06 09:16 63K 
[ ]process1.gel2022-02-06 09:17 71K 
[IMG]p17.png2022-02-06 09:16 5.1K 
[ ]p17.gel2022-02-06 09:17 56K 
[IMG]p7-p9.png2022-02-06 09:16 21K 
[ ]p7-p9.gel2022-02-06 09:17 56K 
[IMG]p4-p6.png2022-02-06 09:16 11K 
[ ]p4-p6.gel2022-06-17 12:38 55K 
[IMG]p1-p3.png2022-02-06 09:16 18K 
[ ]p1-p3.gel2022-02-06 09:17 51K 
[IMG]moduletree.png2022-02-06 09:16 46K 
[ ]moduletree.pdf2022-01-29 15:15 12K 
[IMG]levels.png2022-02-06 09:16 28K 
[ ]levels.gel2022-02-06 09:17 51K 
[IMG]dep1.png2022-02-06 09:16 11K 
[ ]dep1.gel2022-02-06 09:17 14K 
[IMG]deeptelos.png2022-02-06 09:16 4.0K 
[ ]deeptelos.gel2022-02-06 09:17 18K 
[TXT]create-PROCESSDB.cbs2022-01-29 15:15 1.8K 
[IMG]carexample.png2022-02-06 09:16 8.3K 
[ ]carexample.gel2022-02-06 09:17 22K 
[IMG]acme-process.png2022-02-06 09:16 20K 
[ ]acme-process.gel2022-02-06 09:17 65K 
[DIR]SOURCES/2021-08-17 11:35 -  
[ ]SOURCES-v1.zip2022-01-29 15:15 21K 
[ ]PROCESSDB.zip2022-01-29 15:15 140K 
[ ]PROCESSDB-v1.zip2022-01-29 15:15 137K 
[ ]PROCESSDB-v0.zip2022-01-29 15:15 114K 
[ ]MULTI_Process_Modeling_Challenge.pdf2022-01-29 15:15 141K 
[TXT]LastUpdate.sml.txt2022-01-29 15:15 1.3K 
[ ]EMISAJ_Process_Modeling_Challenge.pdf2022-01-29 15:15 150K 
[ ]DeepTelos-Challenge.pdf2022-01-29 15:15 515K 
[TXT]COPYRIGHT.txt2022-02-20 14:47 382  
[TXT]AA-INSTRUCTIONS.txt2022-01-29 15:15 2.2K 
BACK

Download ConceptBase Φ Multi-Level Modeling Φ ConceptBase Team Φ MULTI 2019 process challenge Φ Home


Evaluating DeepTelos for ConceptBase - A solution to the multi-level process challenge

http://conceptbase.sourceforge.net/emisaj2021challenge

This directory contains the ConceptBase/Telos sources models for the above paper. Further information on multilevel modeling with ConceptBase is also available at http://conceptbase.sourceforge.net/CB-MLM.html.

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.

Installation

Install ConceptBase via the above "Download ConceptBase" link for Linux, Windows, and MacOS. You need Java 8 or higher to do so. You can configure your ConceptBase installation to directly start the example graph files (*.gel). The graph files contain all necessary Telos definitions including the DeepTelos axioms and the dedicated graphical types. You only need to configure your web browser to open the CBGraph utility when you click a graph file. The procedure is simple:

SOURCES of the modules

moduletree

The Telos sources of all modules of the solution are available at

Graph files of the examples in the paper

The graph files (*.gel) are self-sufficient graphical views of a ConceptBase database. They contain the graph plus all Telos sources to reconstruct the database for which the graph is a view. To start the graph file with CBGraph just click on its image below. Then, a new instance of the ConceptBase server shall be started and loaded with the necessary Telos sources.

Figure 1: Software process model adapted from (Jarke et al. 1990)

spdm-plain



Figure 2: DeepTelos solution for the car example

carexample



Figure 3: Multi-level version of the software process model adapted from (Jarke et al. 1990)

spdm-multi



Figure 5: Concepts for multi-level process modeling

levels



Figure 6: Requirements P1-P3

p1-p3



Figure 7: Requirements P4-P6

p4-p6



Figure 8: Requirements P7-P9

p7-p9



Figure 9: Requirement P17

p17



Figure 10: The ACME process type in our solution

acme-process



Figure 11: Requirements S1-S4

s1-s4



Figure 12: Requirements S5-S7

s5-s7



Figure 13: Requirements S8-S9

s8-s9



Figure 14: Requirement S10

s10



Figure 15: Requirements S11-S12

s11-s12



Figure 16: Requirement S13

s13



Figure 17: Computing delayed tasks

process1



Figure 18: Transitive dependencies between artifacts

process3



Figure 19: Three abstraction levels in one figure (combine figure 10 and 18)

process3-bpmn-trace




© Manfred Jeusfeld, University of Skövde, 2022-01-29 (2023-01-10)