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

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

筛选
英文 中文
Motivation modelling for human-service interaction 人与服务交互的动机建模
International Workshop on Behaviour Modelling - Foundations and Applications Pub Date : 2012-07-03 DOI: 10.1145/2325276.2325280
Ella E. Roubtsova
{"title":"Motivation modelling for human-service interaction","authors":"Ella E. Roubtsova","doi":"10.1145/2325276.2325280","DOIUrl":"https://doi.org/10.1145/2325276.2325280","url":null,"abstract":"Web services are goal-oriented software systems and often need to influence or motivate particular behaviour of their communication parties: humans and other services. This paper investigates modeling of motivation for human-service interaction. It shows why motivation needs a separate model different from the service process model, how to specify motivation and compose the motivation model with the service process model. Depending on the goals, the same service process model may have different motivation models. We provide an example of a service model with different motivation models that stimulate different behaviour of humans interacting with the web service.","PeriodicalId":223556,"journal":{"name":"International Workshop on Behaviour Modelling - Foundations and Applications","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-07-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114396782","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
A metamodelling approach to behavioural modelling 行为建模的元建模方法
International Workshop on Behaviour Modelling - Foundations and Applications Pub Date : 2012-07-03 DOI: 10.1145/2325276.2325281
Adrian Rutle, W. MacCaull, Hao Wang, Yngve Lamo
{"title":"A metamodelling approach to behavioural modelling","authors":"Adrian Rutle, W. MacCaull, Hao Wang, Yngve Lamo","doi":"10.1145/2325276.2325281","DOIUrl":"https://doi.org/10.1145/2325276.2325281","url":null,"abstract":"In this paper we propose a metamodelling approach to behavioural modelling. The approach combines diagrammatic modelling with formal foundations based on category theory and graph transformations. The static semantics of behavioural models is represented by instances of (meta)models, while their dynamic semantics is represented by transition systems. Transitions are described by coupled model transformations. To illustrate the approach, we present a running example of a workflow model for health services delivery.","PeriodicalId":223556,"journal":{"name":"International Workshop on Behaviour Modelling - Foundations and Applications","volume":"140 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-07-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132012474","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}
引用次数: 25
Defining and verifying behaviour of domain specific language with fUML 用uml定义和验证领域特定语言的行为
International Workshop on Behaviour Modelling - Foundations and Applications Pub Date : 2012-07-03 DOI: 10.1145/2325276.2325277
Qinan Lai, A. Carpenter
{"title":"Defining and verifying behaviour of domain specific language with fUML","authors":"Qinan Lai, A. Carpenter","doi":"10.1145/2325276.2325277","DOIUrl":"https://doi.org/10.1145/2325276.2325277","url":null,"abstract":"The behavioural semantics of a Domain Specific Language (DSL) are the instructions on how to execute the language. In practice, such semantics are often documented by text, which leads to ambiguity and tool generation problems. Although some formal frameworks have been proposed to address these drawbacks, they only allow the correctness of a specification to be tested at a later stage, usually when the semantics are implemented. This paper presents a new framework for implementing the behavioural semantics of meta-model based DSLs and tools. The framework uses the foundational subset of executable UML (fUML) as its semantic base, and uses the fUML meta-model for modelling the abstract syntax and operational semantics of a DSL. The semantics specification can be verified at design time without the need to execute behaviour models. Thus, it can provide useful feedback to the DSL designer. The framework is demonstrated in a Petri-net example.","PeriodicalId":223556,"journal":{"name":"International Workshop on Behaviour Modelling - Foundations and Applications","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-07-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116558219","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}
引用次数: 7
Collaboration patterns in the SOA ecosystem SOA生态系统中的协作模式
International Workshop on Behaviour Modelling - Foundations and Applications Pub Date : 2011-06-06 DOI: 10.1145/1993956.1993958
Michael Poulin
{"title":"Collaboration patterns in the SOA ecosystem","authors":"Michael Poulin","doi":"10.1145/1993956.1993958","DOIUrl":"https://doi.org/10.1145/1993956.1993958","url":null,"abstract":"In this paper, we argue that orchestration and choreography are not two independent patterns, but they go together addressing two parts of the same thing known as a service composition. Particularly, when a service-conductor engages another service in the orchestration, actual interactions with this service may be scripted using choreography.\u0000 For SOA ecosystem, instead of \"global\" definition of choreography, we describe a modeling pattern where recruiting independent services for solving a common task may be realised via natural chains or distribution of orchestrations and where only a few services need to agree to certain invocation conditions.","PeriodicalId":223556,"journal":{"name":"International Workshop on Behaviour Modelling - Foundations and Applications","volume":"2 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":"125064221","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
Integrating behaviour in software models: an event coordination notation -- concepts and prototype 在软件模型中集成行为:事件协调符号——概念和原型
International Workshop on Behaviour Modelling - Foundations and Applications Pub Date : 2011-06-06 DOI: 10.1145/1993956.1993962
E. Kindler
{"title":"Integrating behaviour in software models: an event coordination notation -- concepts and prototype","authors":"E. Kindler","doi":"10.1145/1993956.1993962","DOIUrl":"https://doi.org/10.1145/1993956.1993962","url":null,"abstract":"One of the main problems in model-based software engineering is modelling behaviour in such a way that the behaviour models can be easily integrated with each other, with the structural software models and with pre-existing software.\u0000 In this paper, we propose an event coordination notation (ECNO) that deals with this problem. We present the main concepts and rationales behind this notation and discuss a prototype and run-time environment that executes these models, and provides an API so that other parts of the software can be easily integrated.\u0000 The core concepts of the ECNO seem to be stabilizing now, and the prototypic implementation of ECNO and its runtime environment show that the concepts of ECNO work. Still, there are some design issues and open questions that we discuss in this paper.","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":"124593269","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}
引用次数: 8
An approach for describing concurrency and communication of heterogeneous systems 描述异构系统的并发性和通信的一种方法
International Workshop on Behaviour Modelling - Foundations and Applications Pub Date : 2011-06-06 DOI: 10.1145/1993956.1993964
Papa Issa Diallo, J. Champeau, Vincent Leildé
{"title":"An approach for describing concurrency and communication of heterogeneous systems","authors":"Papa Issa Diallo, J. Champeau, Vincent Leildé","doi":"10.1145/1993956.1993964","DOIUrl":"https://doi.org/10.1145/1993956.1993964","url":null,"abstract":"The fast development of technology and the time-to-market constraints need well-adapted technical support and development processes to ease design space exploration and the reduction of the productivity gap. Model Based Engineering (MBE) overcomes the increasing complexity of system being highly heterogeneous and integrating concurrent sub-systems. Elsewhere, Models of Computation (MoC) help enforcing MBE with aspects related to the execution semantics of models. In a previous paper, we introduced a language called Cometa providing more expressiveness for these aspects. It allows the capture and analysis of several MoCs at high level of abstraction, highlighting communication and synchronization among parts of a heterogeneous system. The language was tooled in Rhapsody and tested on an industrial case. In this paper, we present the key concepts of the Cometa language and the tooling experiments of Cometa in an open source environment. The objective of this approach is being able to model heterogeneous systems, but also to broaden the scope of the language tooling, by taking benefits from an open source environment.","PeriodicalId":223556,"journal":{"name":"International Workshop on Behaviour Modelling - Foundations and Applications","volume":"23 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":"121225964","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
Enriching Java Enterprise interfaces with formal sequential contracts 用正式的顺序契约丰富Java Enterprise接口
International Workshop on Behaviour Modelling - Foundations and Applications Pub Date : 2011-06-06 DOI: 10.1145/1993956.1993957
M. Konersmann, Moritz Balz, M. Goedicke
{"title":"Enriching Java Enterprise interfaces with formal sequential contracts","authors":"M. Konersmann, Moritz Balz, M. Goedicke","doi":"10.1145/1993956.1993957","DOIUrl":"https://doi.org/10.1145/1993956.1993957","url":null,"abstract":"Many software systems are stateful or have stateful components, i.e. they manage and process data depending on certain steps performed before. For this reason, sequential contracts are of interest that describe component interfaces with respect to sequences of invocations leaving the component in a valid state. While sophisticated models for this purpose exist, component frameworks don't support sequential contracts, so that a validation of the state is performed algorithmically and mixed-up with application logic in method contents. In this contribution we present (1) meta data for object-oriented program code that allow to annotate component interfaces with sequential contracts and (2) a pattern and tools integrating sequential contracts in Java Enterprise components. The contracts can then be modeled as part of the program code at development time and be interpreted at run time to prevent invalid method invocations and provide tracing data in case of errors.","PeriodicalId":223556,"journal":{"name":"International Workshop on Behaviour Modelling - Foundations and Applications","volume":"61 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":"123848764","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
Identifying state space reduction techniques from behavioural design patterns 从行为设计模式中识别状态空间缩减技术
International Workshop on Behaviour Modelling - Foundations and Applications Pub Date : 2011-06-06 DOI: 10.1145/1993956.1993963
L. Rahim, J. Whittle
{"title":"Identifying state space reduction techniques from behavioural design patterns","authors":"L. Rahim, J. Whittle","doi":"10.1145/1993956.1993963","DOIUrl":"https://doi.org/10.1145/1993956.1993963","url":null,"abstract":"Model checking has always been associated with a scalability problem when verifying systems with large state spaces. This problem can be addressed using techniques that reduce the state space during verification. This paper proposes guidelines to identify suitable reduction techniques from design patterns. The selection of suitable state space reduction techniques is demonstrated using a complex concurrent system as case study. Using this case study, we discuss the reasons and conditions for selecting a reduction technique when a design pattern is used. The proposed guidelines are evaluated by checking if the selected reduction techniques reduces the number of states; implying that these techniques are suitable. The result of this evaluation shows that suitable reduction techniques can be identified from design patterns.","PeriodicalId":223556,"journal":{"name":"International Workshop on Behaviour Modelling - Foundations and Applications","volume":"267 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":"124343070","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
Two paradigms of composition 两种构图范例
International Workshop on Behaviour Modelling - Foundations and Applications Pub Date : 2011-06-06 DOI: 10.1145/1993956.1993960
A. McNeile
{"title":"Two paradigms of composition","authors":"A. McNeile","doi":"10.1145/1993956.1993960","DOIUrl":"https://doi.org/10.1145/1993956.1993960","url":null,"abstract":"We use a small example to discuss how two different formal modeling languages address the interaction between data and behavior using parallel composition. We use this discussion to highlight the distinction between synchronous and asynchronous semantics of parallel composition, a distinction not hitherto properly discussed in the context defining the interaction between behavior and global or shared data. We discuss some uses of parallel composition in systems engineering, and some considerations that determine whether synchronous or asynchronous semantics are best aligned to these uses.","PeriodicalId":223556,"journal":{"name":"International Workshop on Behaviour Modelling - Foundations and Applications","volume":"16 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":"130881796","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}
引用次数: 0
Action semantics for defining dynamic semantics of modeling languages 用于定义建模语言的动态语义的动作语义
International Workshop on Behaviour Modelling - Foundations and Applications Pub Date : 2011-06-06 DOI: 10.1145/1993956.1993965
G. Stuurman, I. Kurtev
{"title":"Action semantics for defining dynamic semantics of modeling languages","authors":"G. Stuurman, I. Kurtev","doi":"10.1145/1993956.1993965","DOIUrl":"https://doi.org/10.1145/1993956.1993965","url":null,"abstract":"Most languages in Model Driven Engineering (MDE) are defined by metamodels. Metamodels specify the structural aspects of models but do not capture the computational meaning of the modeling constructs (the dynamic semantics). There are several semantic definition frameworks used for programming languages. In this paper we study the suitability of Action Semantics proposed by P. D. Mosses for defining dynamic semantics for modeling languages. Action Semantics provides an intuitive textual notation and allows modular semantic specifications. However, it is originally proposed for grammar-based languages. The application of Action Semantics to metamodel-based languages requires studying how the action notation can be used with graph structures. We built a compiler that translates models to action trees and a simulator that executes action trees. In this way models become executable and their behavior can be studied at an early modeling phase. We implemented several examples to gain experience of using Action Semantics for modeling languages.","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":"130352593","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
首页 上一页 下一页 尾页
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学术官方微信
小红书