发布求助
文献互助 智能选刊 最新文献

International Workshop on Behaviour Modelling - Foundations and Applications最新文献

筛选
英文 中文
An executable and changeable reference model for the health insurance industry 健康保险行业可执行且可更改的参考模型
International Workshop on Behaviour Modelling - Foundations and Applications Pub Date : 2011-06-06 DOI: 10.1145/1993956.1993961
J. Verheul, Ella E. Roubtsova
{"title":"An executable and changeable reference model for the health insurance industry","authors":"J. Verheul, Ella E. Roubtsova","doi":"10.1145/1993956.1993961","DOIUrl":"https://doi.org/10.1145/1993956.1993961","url":null,"abstract":"We present an executable and changeable reference model for Health Insurance Applications. The model is based on the published descriptions of Health Insurance Products and exploits properties of the compositional Protocol Modelling technique. We analyze the changes of Health Insurance Products made in the last six years. All changes found in official sources are classified on the basis of their impact on model modification. The results of analysis show that each class of changes can be presented locally as an event or an attribute of an existing Protocol Machine or as a new Protocol Machine. New Protocol Machines are added to the model and composed with it so that the order of events in behaviour sequences defined by the old protocol machines is not changed.","PeriodicalId":223556,"journal":{"name":"International Workshop on Behaviour Modelling - Foundations and Applications","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-06-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130478549","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}
引用次数: 3
A language for behavioural modelling of architectural patterns 一种用于架构模式行为建模的语言
International Workshop on Behaviour Modelling - Foundations and Applications Pub Date : 2011-06-06 DOI: 10.1145/1993956.1993959
A. Sánchez, L. Barbosa, D. Riesco
{"title":"A language for behavioural modelling of architectural patterns","authors":"A. Sánchez, L. Barbosa, D. Riesco","doi":"10.1145/1993956.1993959","DOIUrl":"https://doi.org/10.1145/1993956.1993959","url":null,"abstract":"The complexity of interactions governing the coordination of loosely-coupled services, which forms the core of current software, brought behavioural issues up to the front of architectural concerns. This paper takes such a challenge seriously by lifting typical behaviour modelling techniques to the specification of both types and instances of architectural patterns in which the later ones are connected by ports that behave according to a water flow metaphor. A specific language is introduced for this purpose as well as a translator to mCRL2 so that the simulation and analysis techniques available in the corresponding toolset can be used to reason about (the behavioural layer of) software architectures. The approach is illustrated in a few examples.","PeriodicalId":223556,"journal":{"name":"International Workshop on Behaviour Modelling - Foundations and Applications","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-06-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129634338","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}
引用次数: 9
Model-based software engineering: the challenges of modelling behaviour 基于模型的软件工程:行为建模的挑战
International Workshop on Behaviour Modelling - Foundations and Applications Pub Date : 2010-06-15 DOI: 10.1145/1811147.1811151
E. Kindler
{"title":"Model-based software engineering: the challenges of modelling behaviour","authors":"E. Kindler","doi":"10.1145/1811147.1811151","DOIUrl":"https://doi.org/10.1145/1811147.1811151","url":null,"abstract":"The vision of model-based software engineering is to make models the main focus of software development and to automatically generate software from these models. Part of that idea works already today. But, there are still difficulties when it comes to behaviour. Actually, there is no lack in models for behaviour, but a lack of concepts for integrating them with the other models and with existing code. In this paper, we discuss some of the main challenges in behaviour modelling and integration and present some ideas on how to overcome them - and, still, many open issues.","PeriodicalId":223556,"journal":{"name":"International Workshop on Behaviour Modelling - Foundations and Applications","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-06-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129806366","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}
引用次数: 16
Behavioural model for a business rules based approach to model services 行为模型用于基于业务规则的服务建模方法
International Workshop on Behaviour Modelling - Foundations and Applications Pub Date : 2010-06-15 DOI: 10.1145/1811147.1811153
Ella E. Roubtsova, S. Joosten, L. Wedemeijer
{"title":"Behavioural model for a business rules based approach to model services","authors":"Ella E. Roubtsova, S. Joosten, L. Wedemeijer","doi":"10.1145/1811147.1811153","DOIUrl":"https://doi.org/10.1145/1811147.1811153","url":null,"abstract":"Service-oriented systems are seen as an IT trend impacting businesses. Successful implementation and maintenance of such systems demands their modelling. However most modern modelling approaches do not have the necessary service abstractions and suitable composition techniques for integration of behaviour of services.\u0000 The contribution of this paper is the analysis of the behavioural semantics of a declarative, business rules based approach called Ampersand and the identification of the semantic extensions needed for modelling of services and their composition.","PeriodicalId":223556,"journal":{"name":"International Workshop on Behaviour Modelling - Foundations and Applications","volume":"2021 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-06-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115928661","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}
引用次数: 2
Generating transformation rules from examples for behavioral models 从行为模型的示例中生成转换规则
International Workshop on Behaviour Modelling - Foundations and Applications Pub Date : 2010-06-15 DOI: 10.1145/1811147.1811149
M. Kessentini, M. Wimmer, H. Sahraoui, M. Boukadoum
{"title":"Generating transformation rules from examples for behavioral models","authors":"M. Kessentini, M. Wimmer, H. Sahraoui, M. Boukadoum","doi":"10.1145/1811147.1811149","DOIUrl":"https://doi.org/10.1145/1811147.1811149","url":null,"abstract":"Behavioral UML models like sequence diagrams (SD) lack sufficient formal semantics, making it difficult to build automated tools for their analysis, simulation and validation. A common approach to circumvent the problem is to map these models to more formal representations. In this context, many works propose a rule-based approach to automatically translate behavioral models like SD into colored Petri nets (CPN). However, finding the rules for such SD-to-CPN transformations manually may be difficult, as the transformation rules are usually not obviously defined. We propose a solution that starts from the hypothesis that examples of good transformation of SD-to-CPN can be useful to automatically generate transformation rules. To this end, we describe an automated approach to find the rules that best match the meta-model elements of SD to corresponding elements in the CPN meta-model. Thus, our approach starts by randomly generating a set of rules, executing them to generate some target models. Then, it evaluates the quality of the proposed solution (rules) by comparing the generated target models to the expected ones in the base of examples. In this case, the search space is large and heuristic-search is needed. To achieve our goal, we combine two algorithms for global and local search, namely Particle Swarm Optimization (PSO) and Simulated Annealing (SA). Our empirical results show that the generated rules derive CPNs similar to the expected ones.","PeriodicalId":223556,"journal":{"name":"International Workshop on Behaviour Modelling - Foundations and Applications","volume":"143 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-06-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132110017","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}
引用次数: 36
A framework for the semantics of behavioral contracts 行为契约的语义框架
International Workshop on Behaviour Modelling - Foundations and Applications Pub Date : 2010-06-15 DOI: 10.1145/1811147.1811150
A. McNeile
{"title":"A framework for the semantics of behavioral contracts","authors":"A. McNeile","doi":"10.1145/1811147.1811150","DOIUrl":"https://doi.org/10.1145/1811147.1811150","url":null,"abstract":"Contracts have proved a powerful concept in software engineering, to the point where we have a well regarded software development approach centered on their use, and native support in programming languages. However, it is not clear that there is a uniform concept of contract that can be applied to both algorithmic and interactive software. We propose a framework for thinking about software contracts based on the idea that a contract aims to preserve a formal proposition about the software system being built, and the form of the contract must reflect both the proposition whose truth is to be preserved and the formal reasoning system used for verification. In particular, we believe that very different forms of contract are needed for algorithmic and interactive software and illustrate this with examples.","PeriodicalId":223556,"journal":{"name":"International Workshop on Behaviour Modelling - Foundations and Applications","volume":"53 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-06-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122073175","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}
引用次数: 1
An ASM-based executable formal model of service-oriented component interactions and orchestration 面向服务的组件交互和编排的基于asm的可执行正式模型
International Workshop on Behaviour Modelling - Foundations and Applications Pub Date : 2010-06-15 DOI: 10.1145/1811147.1811152
E. Riccobene, P. Scandurra
{"title":"An ASM-based executable formal model of service-oriented component interactions and orchestration","authors":"E. Riccobene, P. Scandurra","doi":"10.1145/1811147.1811152","DOIUrl":"https://doi.org/10.1145/1811147.1811152","url":null,"abstract":"Formal design methods, that might serve as a basis for specifying and analyzing abstract models of service orchestrations, are needed to complement the wide range of domain-specific languages (mainly based on graphical notations) that are currently being defined for engineering service-oriented systems. This paper presents a formal and executable semantic framework for UML4SOA models of service-oriented systems. The UML4SOA language is a UML profile developed in the EU SENSORIA project for modeling services behavior focusing on service orchestration aspects. We complement the graphical model of a service orchestration scenario with a formal description that is suitable for rigorous execution-platform-independent analysis. We map the behavioral primitives of UML4SOA activity diagrams into a particular class of Abstract State Machines (ASMs) able to model notions of service interactions and orchestrations.","PeriodicalId":223556,"journal":{"name":"International Workshop on Behaviour Modelling - Foundations and Applications","volume":"85 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-06-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126239364","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}
引用次数: 4
Definition and implementation of a semantic mapping for UML-RT using a timed pi-calculus 使用计时pi演算为UML-RT定义和实现语义映射
International Workshop on Behaviour Modelling - Foundations and Applications Pub Date : 2010-06-15 DOI: 10.1145/1811147.1811148
J. Dingel, Eyrak Paen, Ernesto Posse, Rezoanoor Rahman, Karolina Zurowska
{"title":"Definition and implementation of a semantic mapping for UML-RT using a timed pi-calculus","authors":"J. Dingel, Eyrak Paen, Ernesto Posse, Rezoanoor Rahman, Karolina Zurowska","doi":"10.1145/1811147.1811148","DOIUrl":"https://doi.org/10.1145/1811147.1811148","url":null,"abstract":"We report on ongoing work to define a formal semantics for UML-RT suitable for execution and analysis. The paper advocates the use of kiltera as an executable, yet formal, specification language for the high-level description and analysis of complex software systems. kiltera is based on a novel process algebra that extends the π-calculus with time, distribution and execution via an interpreter based on event simulation. We present a textual abstract syntax for a subset of UML-RT and formally define a semantic mapping that explains UML-RT in terms of kiltera. An initial implementation of the semantic mapping is described. Relevant observations are collected, further work is discussed, and relevant related work is reviewed.","PeriodicalId":223556,"journal":{"name":"International Workshop on Behaviour Modelling - Foundations and Applications","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-06-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130318236","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}
引用次数: 3
首页 上一页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：604180095
Book学术官方微信
小红书