{"title":"A Customizable Execution Engine for Models of Embedded Systems","authors":"Karolina Zurowska, J. Dingel","doi":"10.1007/978-3-319-21912-7_4","DOIUrl":"https://doi.org/10.1007/978-3-319-21912-7_4","url":null,"abstract":"","PeriodicalId":223556,"journal":{"name":"International Workshop on Behaviour Modelling - Foundations and Applications","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123167670","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Integrating Protocol Contracts with Program Code - A Leightweight Approach for Applied Behaviour Models that Respect Their Execution Context","authors":"M. Konersmann, M. Goedicke","doi":"10.1007/978-3-319-21912-7_8","DOIUrl":"https://doi.org/10.1007/978-3-319-21912-7_8","url":null,"abstract":"","PeriodicalId":223556,"journal":{"name":"International Workshop on Behaviour Modelling - Foundations and Applications","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133240001","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"A Set of Metrics of Non-locality Complexity in UML State Machines","authors":"Gefei Zhang, Matthias M. Hölzl","doi":"10.1007/978-3-319-21912-7_3","DOIUrl":"https://doi.org/10.1007/978-3-319-21912-7_3","url":null,"abstract":"","PeriodicalId":223556,"journal":{"name":"International Workshop on Behaviour Modelling - Foundations and Applications","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131096251","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Martin Gogolla, Lars Hamann, Frank Hilken, Matthias Sedlmeier
{"title":"Modeling Behavior with Interaction Diagrams in a UML and OCL Tool","authors":"Martin Gogolla, Lars Hamann, Frank Hilken, Matthias Sedlmeier","doi":"10.1007/978-3-319-21912-7_2","DOIUrl":"https://doi.org/10.1007/978-3-319-21912-7_2","url":null,"abstract":"","PeriodicalId":223556,"journal":{"name":"International Workshop on Behaviour Modelling - Foundations and Applications","volume":"39 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121862064","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Protocol Modelling","authors":"A. McNeile, N. Simons","doi":"10.1007/978-3-319-21912-7_7","DOIUrl":"https://doi.org/10.1007/978-3-319-21912-7_7","url":null,"abstract":"","PeriodicalId":223556,"journal":{"name":"International Workshop on Behaviour Modelling - Foundations and Applications","volume":"199 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114370350","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Wisam Najm Al-din Abed, Matthias Schöttle, A. Ayed, J. Kienzle
{"title":"Concern-Oriented Behaviour Modelling with Sequence Diagrams and Protocol Models","authors":"Wisam Najm Al-din Abed, Matthias Schöttle, A. Ayed, J. Kienzle","doi":"10.1007/978-3-319-21912-7_10","DOIUrl":"https://doi.org/10.1007/978-3-319-21912-7_10","url":null,"abstract":"","PeriodicalId":223556,"journal":{"name":"International Workshop on Behaviour Modelling - Foundations and Applications","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123580822","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Decision Modules in Models and Implementations","authors":"S. Roubtsov, Ella E. Roubtsova","doi":"10.1007/978-3-319-21912-7_9","DOIUrl":"https://doi.org/10.1007/978-3-319-21912-7_9","url":null,"abstract":"","PeriodicalId":223556,"journal":{"name":"International Workshop on Behaviour Modelling - Foundations and Applications","volume":"32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127462654","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}