{"title":"Modeling and executing ConcurTaskTrees using a UML and SOIL-based metamodel","authors":"Jens Brüning, Martin Kunert, Birger Lantow","doi":"10.1145/2428516.2428524","DOIUrl":null,"url":null,"abstract":"In this paper, we present a formal metamodel-based approach for modeling and executing ConcurTaskTrees (CTT). CTT is a modeling language for tasks that represent hierarchical tree-like, structured workflow models. In the metamodel soundness properties as well as operational semantics of the workflow language are captured. The models are created with an abstract syntax in the UML-based Specification Environment (USE). Thereafter, they can be executed in the same tool by calling operations from the metamodel that are implemented in the Simple OCL-based Imperative Language (SOIL). A plugin for the USE tool has been developed to give an appropriate interface to the user who can test dynamic control flow properties of the models with it.","PeriodicalId":163118,"journal":{"name":"Object Constraint Language","volume":"20 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2012-09-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"3","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Object Constraint Language","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/2428516.2428524","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 3
Abstract
In this paper, we present a formal metamodel-based approach for modeling and executing ConcurTaskTrees (CTT). CTT is a modeling language for tasks that represent hierarchical tree-like, structured workflow models. In the metamodel soundness properties as well as operational semantics of the workflow language are captured. The models are created with an abstract syntax in the UML-based Specification Environment (USE). Thereafter, they can be executed in the same tool by calling operations from the metamodel that are implemented in the Simple OCL-based Imperative Language (SOIL). A plugin for the USE tool has been developed to give an appropriate interface to the user who can test dynamic control flow properties of the models with it.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
