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

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

筛选
英文 中文
Behavior Modeling with Interaction Diagrams in a UML and OCL Tool 使用UML和OCL工具中的交互图进行行为建模
International Workshop on Behaviour Modelling - Foundations and Applications Pub Date : 2014-07-22 DOI: 10.1145/2630768.2630772
Martin Gogolla, Lars Hamann, Frank Hilken, Matthias Sedlmeier, Quang Dung Nguyen
{"title":"Behavior Modeling with Interaction Diagrams in a UML and OCL Tool","authors":"Martin Gogolla, Lars Hamann, Frank Hilken, Matthias Sedlmeier, Quang Dung Nguyen","doi":"10.1145/2630768.2630772","DOIUrl":"https://doi.org/10.1145/2630768.2630772","url":null,"abstract":"This contribution discusses system modeling with UML behavior diagrams. We consider statecharts and both kinds of interaction diagrams, i.e., sequence and communication diagrams. We present new implementation features in a UML and OCL modeling tool: (1) Sequence diagram lifelines are extended with states from statecharts, and (2) communication diagrams are introduced as an alternative to sequence diagrams. We assess the introduced features and propose a systematic set of features which should be available in both kinds of interaction diagrams. We emphasize the role that OCL can play for such a feature set.","PeriodicalId":223556,"journal":{"name":"International Workshop on Behaviour Modelling - Foundations and Applications","volume":"76 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-07-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127354779","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
BPMN Formalization and Verification using Maude 使用Maude的BPMN形式化和验证
International Workshop on Behaviour Modelling - Foundations and Applications Pub Date : 2014-07-22 DOI: 10.1145/2630768.2630769
Nissreen A. S. El-Saber, A. Boronat
{"title":"BPMN Formalization and Verification using Maude","authors":"Nissreen A. S. El-Saber, A. Boronat","doi":"10.1145/2630768.2630769","DOIUrl":"https://doi.org/10.1145/2630768.2630769","url":null,"abstract":"OMG's Business Process Model and Notation (BPMN) standard provides an informal specification of a technology independent modelling language for designing business processes. However, BPMN models may include structural issues that hinder their design. In this paper, we propose a formal characterization and semantics specification of well-formed BPMN processes in rewriting logic using Maude with a focus on data-based decision gateways and data objects semantics. Our formal specification adheres to the BPMN standards, verified with respect to the classical workflow soundness definition, and automatically verified using the verification toolkit that Maude includes.","PeriodicalId":223556,"journal":{"name":"International Workshop on Behaviour Modelling - Foundations and Applications","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-07-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123028516","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}
引用次数: 32
Integrating Protocol Contracts with Java Code 将协议契约与Java代码集成
International Workshop on Behaviour Modelling - Foundations and Applications Pub Date : 2014-07-22 DOI: 10.1145/2630768.2630771
M. Konersmann, Noyan Kurt, M. Goedicke
{"title":"Integrating Protocol Contracts with Java Code","authors":"M. Konersmann, Noyan Kurt, M. Goedicke","doi":"10.1145/2630768.2630771","DOIUrl":"https://doi.org/10.1145/2630768.2630771","url":null,"abstract":"Long-living software faces the developers with challenges of program understanding. This is intensified by the problem of often outdated or missing documentation. When up-to-date models are available, programs are easier to understand. To achieve this, we present our integrated Protocol Contracts. Integrated Protocol Contracts are a behaviour model type that is integrated with the source code of programs. The code is thoroughly intertwined with the code, so that the model can always be reliably extracted from the code.","PeriodicalId":223556,"journal":{"name":"International Workshop on Behaviour Modelling - Foundations and Applications","volume":"114 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-07-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124250418","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
A Set of Metrics for States and Transitions in UML State Machines UML状态机中状态和转换的一组度量
International Workshop on Behaviour Modelling - Foundations and Applications Pub Date : 2014-07-22 DOI: 10.1145/2630768.2630770
Gefei Zhang, Matthias M. Hölzl
{"title":"A Set of Metrics for States and Transitions in UML State Machines","authors":"Gefei Zhang, Matthias M. Hölzl","doi":"10.1145/2630768.2630770","DOIUrl":"https://doi.org/10.1145/2630768.2630770","url":null,"abstract":"UML state machines are widely used to model software system behaviors. Seemingly intuitive and simple, state machines may actually be rather complex. We present a set of metrics to reflect which model elements actually account for the complexity. Our metrics give a better understanding of the complexity of UML state machines, and may alert the modeler to pay more attention to more complex states and transitions.","PeriodicalId":223556,"journal":{"name":"International Workshop on Behaviour Modelling - Foundations and Applications","volume":"40 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-07-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114635707","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}
引用次数: 5
Behaviour Models Clarify Definitions of Affordance and Capability 行为模型阐明了功能和能力的定义
International Workshop on Behaviour Modelling - Foundations and Applications Pub Date : 2014-07-22 DOI: 10.1145/2630768.2630774
Ella E. Roubtsova, Vaughan Michell
{"title":"Behaviour Models Clarify Definitions of Affordance and Capability","authors":"Ella E. Roubtsova, Vaughan Michell","doi":"10.1145/2630768.2630774","DOIUrl":"https://doi.org/10.1145/2630768.2630774","url":null,"abstract":"There is ongoing work on conceptual modelling of such business notions as Affordance and Capability. We have found that such business notions as Affordance and Capability can be constructively defined using elements and properties of executable behaviour models. In this paper, we clarify the definitions of Affordance and Capability using Coloured Petri Nets and Protocol models. The illustrating case is the process of drug injection. We show that different behaviour modelling techniques provide different precision for definition of Affordance and Capability and clarify the conceptual models of these notions. We generalise that the behaviour models can be used to improve the precision of conceptual models.","PeriodicalId":223556,"journal":{"name":"International Workshop on Behaviour Modelling - Foundations and Applications","volume":"52 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-07-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127173924","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
The Principle of Comprehensive Modelling Applied to Data and Behaviour 应用于数据和行为的综合建模原则
International Workshop on Behaviour Modelling - Foundations and Applications Pub Date : 2014-07-22 DOI: 10.1145/2630768.2630773
A. McNeile
{"title":"The Principle of Comprehensive Modelling Applied to Data and Behaviour","authors":"A. McNeile","doi":"10.1145/2630768.2630773","DOIUrl":"https://doi.org/10.1145/2630768.2630773","url":null,"abstract":"In their paper \"Trace Semantics are Fully Abstract\" Nain and Vardi propose that denotational semantics of behavioural modelling formalisms should adhere to the \"Principle of Comprehensive Modelling\" which requires models are exhaustive of all possible circumstances. However their exploration of this principle is made only in the context of machines that use sets of single symbols to define their state and alphabet. We extend the application of the principle to the denotational semantics of machines that use data structures, rather than single symbols, for the definition of state and alphabet. We show that, in the context of modelling the interaction between data and behaviour, this extension enables a unification of what are normally considered distinct styles of behavioural composition.","PeriodicalId":223556,"journal":{"name":"International Workshop on Behaviour Modelling - Foundations and Applications","volume":"581 1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-07-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132744563","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
Implementation of Decision Modules 决策模块的实现
International Workshop on Behaviour Modelling - Foundations and Applications Pub Date : 2014-07-22 DOI: 10.1145/2630768.2630775
S. Roubtsov, Ella E. Roubtsova
{"title":"Implementation of Decision Modules","authors":"S. Roubtsov, Ella E. Roubtsova","doi":"10.1145/2630768.2630775","DOIUrl":"https://doi.org/10.1145/2630768.2630775","url":null,"abstract":"Separation of concerns can have different forms. The well accepted concern is an object behavior usually specified as a life cycle module. In this paper, we define another type of concern, a decision module, and identify it in requirements and models. Separation of decision modules in programs may improve traceability of requirements and simplify code analysis. We present the results of our experiments with implementation of decision modules. We implement the modules using object composition, reflection, the publisher-subscriber design pattern and aspects. We present the possibilities of different implementation forms and illustrate our observations of pros and cons with an example of a document submission system.","PeriodicalId":223556,"journal":{"name":"International Workshop on Behaviour Modelling - Foundations and Applications","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-07-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131707938","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
A Task of Behaviour Modelling in Execution Context 执行环境下的行为建模任务
International Workshop on Behaviour Modelling - Foundations and Applications Pub Date : 2014-07-22 DOI: 10.1145/2630768.2630776
Michael Poulin
{"title":"A Task of Behaviour Modelling in Execution Context","authors":"Michael Poulin","doi":"10.1145/2630768.2630776","DOIUrl":"https://doi.org/10.1145/2630768.2630776","url":null,"abstract":"The organisers of the workshop on behaviour modelling say, \"The growing importance of service-orientation and business process management increases the role of behaviour modelling for all activities of the system life cycle.\" One of the major aspects that differentiate regular applications from the Services and Business Process Management (BPM) is in considering the environment or an Execution Context (EC) where a separate component or an entire system operates. A Behavioural Modelling without EC inside and outside of the systems is an error-prone oversimplification.\u0000 Using a real world business case in financial Asset Management, we will demonstrate a solution based on Behavioural Modelling that includes the EC.","PeriodicalId":223556,"journal":{"name":"International Workshop on Behaviour Modelling - Foundations and Applications","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-07-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122562744","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
Consistency checking scenario-based specifications of dynamic systems by combining simulation and synthesis 通过仿真与综合相结合的方法对基于场景的动态系统规范进行一致性检查
International Workshop on Behaviour Modelling - Foundations and Applications Pub Date : 2012-07-03 DOI: 10.1145/2325276.2325278
Joel Greenyer, Jens Frieben
{"title":"Consistency checking scenario-based specifications of dynamic systems by combining simulation and synthesis","authors":"Joel Greenyer, Jens Frieben","doi":"10.1145/2325276.2325278","DOIUrl":"https://doi.org/10.1145/2325276.2325278","url":null,"abstract":"Modern technical systems often consist of multiple components that must fulfill complex functions in diverse and sometimes safety-critical situations. Precisely specifying the behavioral requirements for such systems is a challenge, especially because there may be inconsistent requirements in possibly unforeseen component configurations. We propose a scenario-based specification approach based on Modal Sequence Diagrams and a novel technique for finding inconsistencies in such specification based on a combination of simulation and synthesis techniques. The simulation via the play-out algorithm can be used to analyze the scenario requirements in large and dynamic systems. Play-out, however, may run into avoidable violations, so that the engineer cannot assume the specification's inconsistency nor its consistency. We thus propose to check specification parts for static component configurations via synthesis. Then, if the part specifications are consistent, the resulting controllers can guide the play-out for the complete specification, avoiding more avoidable violations in the next simulation run.","PeriodicalId":223556,"journal":{"name":"International Workshop on Behaviour Modelling - Foundations and Applications","volume":"1 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":"124383976","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}
引用次数: 5
The event coordination notation: execution engine and programming framework 事件协调符号:执行引擎和编程框架
International Workshop on Behaviour Modelling - Foundations and Applications Pub Date : 2012-07-03 DOI: 10.1145/2325276.2325279
E. Kindler
{"title":"The event coordination notation: execution engine and programming framework","authors":"E. Kindler","doi":"10.1145/2325276.2325279","DOIUrl":"https://doi.org/10.1145/2325276.2325279","url":null,"abstract":"ECNO (Event Coordination Notation) is a notation for modelling the behaviour of a software system on top of some object-oriented data model. ECNO has two main objectives: On the one hand, ECNO should allow modelling the behaviour of a system on the domain level; on the other hand, it should be possible to completely generate code from ECNO and the underlying object-oriented domain models.\u0000 Today, there are several approaches that would allow to do this. But, most of them would require that the data models and the behaviour models are using the same technology and the code is generated together. By contrast, ECNO can be used for modelling the behaviour on top of any object-oriented model -- or even on top of manually written object-oriented code. This way, it is easy to integrate ECNO models with other technologies, to use ECNO on top of code generated by other technologies or with code that was written manually.\u0000 In this paper, we rephrase the main concepts of ECNO. The focus of this paper, however, is on the architecture of the ECNO execution engine and its programming framework. We will show how this framework allows us to integrate ECNO with object-oriented models, how it works without any explicit control, and how it easily integrates with traditional programming.","PeriodicalId":223556,"journal":{"name":"International Workshop on Behaviour Modelling - Foundations and Applications","volume":"2012 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":"121422032","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}
引用次数: 5
首页 上一页 下一页 尾页
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学术官方微信
小红书