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

2015 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD)最新文献

筛选
英文 中文
DCCSS: A meta-model for dynamic clinical checklist support systems DCCSS:动态临床核对表支持系统的元模型
2015 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD) Pub Date : 2015-02-09 DOI: 10.5220/0005241902720279
Shan Nan, P. V. Gorp, H. Korsten, U. Kaymak, R. Vdovjak, Xudong Lu, H. Duan
{"title":"DCCSS: A meta-model for dynamic clinical checklist support systems","authors":"Shan Nan, P. V. Gorp, H. Korsten, U. Kaymak, R. Vdovjak, Xudong Lu, H. Duan","doi":"10.5220/0005241902720279","DOIUrl":"https://doi.org/10.5220/0005241902720279","url":null,"abstract":"Clinical safety checklists receive much research attention since they can reduce medical errors and improve patient safety. Computerized checklist support systems are also being developed actively. Such systems should individualize checklists based on information from the patient's medical record while also considering the context of the clinical workflows. Unfortunately, the form definitions, database queries and workflow definitions related to dynamic checklists are too often hard-coded in the source code of the support systems. This increases the cognitive effort for the clinical stakeholders in the design process, it complicates the sharing of dynamic checklist definitions as well as the interoperability with other information systems. In this paper, we address these issues by contributing the DCCSS meta-model which enables the model-based development of dynamic checklist support systems. DCCSS was designed as an incremental extension of standard meta-models, which enables the reuse of generic model editors in a novel setting. In particular, DCCSS integrates the Business Process Model and Notation (BPMN) and the Guideline Interchange Format (GLIF), which represent best of breed languages for clinical workflow modeling and clinical rule modeling respectively. We also demonstrate one of the use cases where DCCSS has already been applied in a clinical setting.","PeriodicalId":256976,"journal":{"name":"2015 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD)","volume":"1141 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-02-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114163904","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
Aggregate Callback: A design pattern for flexible and robust runtime model building 聚合回调:用于灵活和健壮的运行时模型构建的设计模式
2015 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD) Pub Date : 2015-02-09 DOI: 10.5220/0005197901490156
Gábor Kövesdán, M. Asztalos, L. Lengyel
{"title":"Aggregate Callback: A design pattern for flexible and robust runtime model building","authors":"Gábor Kövesdán, M. Asztalos, L. Lengyel","doi":"10.5220/0005197901490156","DOIUrl":"https://doi.org/10.5220/0005197901490156","url":null,"abstract":"In modern software engineering environments, tools that use Domain-Specific Languages (DSLs) are often applied. The usual workflow of such tools is that the textual input written in the DSL is parsed and a semantic model is instantiated. This model is later passed to another software component that processes it, e.g. a model transformation, a code generator or a simulator. Building the semantic model inside the parser is often a complex task. The model must be built in such a way that the constraints of the problem domain are enforced so that the consistency of the output is guaranteed. This paper presents a design pattern, referred as Aggregate Callback that supports enforcing constraints in the model and thus helps creating correct models. We have found that the Aggregate Callback pattern is useful for tool developers that build models in their applications.","PeriodicalId":256976,"journal":{"name":"2015 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD)","volume":"120 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-02-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115803375","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
Automated state-based online testing real-time embedded software with RTEdge 基于RTEdge的自动化状态在线测试实时嵌入式软件
2015 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD) Pub Date : 2015-02-09 DOI: 10.5220/0005243402940302
Wafa Hasanain, Y. Labiche, S. Gheorghe
{"title":"Automated state-based online testing real-time embedded software with RTEdge","authors":"Wafa Hasanain, Y. Labiche, S. Gheorghe","doi":"10.5220/0005243402940302","DOIUrl":"https://doi.org/10.5220/0005243402940302","url":null,"abstract":"Verifying a real time embedded application is challenging since one has to consider timing requirements in addition to functional ones. During online state-based testing the generation and execution of test cases happen concurrently: test case generation uses information from a state-based test model in combination with observed execution behaviour. This paper describes a practical online testing algorithm that is implemented in the state-based modeling tool RTEdge. Two case studies show that our online testing algorithm produces a test suite that achieves high model coverage, thus facilitating the automated verification of real-time embedded software.","PeriodicalId":256976,"journal":{"name":"2015 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD)","volume":"60 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-02-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123844472","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
Software architecture design by stepwise model transformations: A comparative case study 通过逐步模型转换的软件架构设计:一个比较案例研究
2015 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD) Pub Date : 2015-02-09 DOI: 10.5220/0005266101340145
Fabian Gilson, V. Englebert
{"title":"Software architecture design by stepwise model transformations: A comparative case study","authors":"Fabian Gilson, V. Englebert","doi":"10.5220/0005266101340145","DOIUrl":"https://doi.org/10.5220/0005266101340145","url":null,"abstract":"Software architecture design is a critical task as lots of requirements can be taken into account on which many decisions can be made. The maintenance and evolution of resulting models often become tricky, even impracticable when their rationale is lost. In a previous work, we introduced a set of languages used in a transformation-centric design method meant to tackle this scattering of requirements and to facilitate further model evolutions. But, we did not provided a formal validation of our proposal yet. The present work depicts a comparative case study we conducted on a group of students. The participants were asked to develop an online book store in two phases, the second one simulating an evolution of the system. We evaluated the functional completeness of the created software as well as the traceability of design decisions and rationale. The participants were also asked to criticize the design method and language they used in a textual report and through a questionnaire. Even if the size of the case study is rather limited, it clearly highlighs the advantages of our approach regarding, among others, its expressiveness and decisions traceability.","PeriodicalId":256976,"journal":{"name":"2015 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD)","volume":"44 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-02-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125836451","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
Specification of adaptable model migrations 可适应模型迁移的规范
2015 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD) Pub Date : 2015-02-09 DOI: 10.5220/0005231200320039
Paola Vallejo, Mickaël Kerboeuf, Jean-Philippe Babau
{"title":"Specification of adaptable model migrations","authors":"Paola Vallejo, Mickaël Kerboeuf, Jean-Philippe Babau","doi":"10.5220/0005231200320039","DOIUrl":"https://doi.org/10.5220/0005231200320039","url":null,"abstract":"This paper puts the focus on adaptable model migrations. A dedicated formalism is introduced to combine automatically-generated migrations with custom-made migrations. To illustrate this issue and the approach we suggest to address it, a prototype engine is presented. Then, the prototype is applied on a case study. The prototype processes the migration specifications that have been automatically generated and then customized. The case study consists of the reuse of a mapping tool, in order to change highlighted places. During the reuse process the migration specification is customized in order to produce different migrated models.","PeriodicalId":256976,"journal":{"name":"2015 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD)","volume":"750 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-02-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126945025","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
Model-driven engineering of a railway interlocking system 铁路联锁系统的模型驱动工程
2015 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD) Pub Date : 2015-02-09 DOI: 10.5220/0005244805090519
F. Scippacercola, R. Pietrantuono, S. Russo, A. Zentai
{"title":"Model-driven engineering of a railway interlocking system","authors":"F. Scippacercola, R. Pietrantuono, S. Russo, A. Zentai","doi":"10.5220/0005244805090519","DOIUrl":"https://doi.org/10.5220/0005244805090519","url":null,"abstract":"Model-Driven Engineering (MDE) promises to enhance system development by reducing development time, and increasing productivity and quality. MDE is gaining popularity in several industry sectors, and is attractive also for critical systems where they can reduce efforts and costs for verification and validation (V&V), and can ease certification. Incorporating model-driven techniques into a legacy well-proven development cycle is not simply a matter of placing models and transformations in the design and implementation phases. We present the experience in the model-driven design and V&V of a safety-critical system in the railway domain, namely the Prolan Block, a railway interlocking system manufactured by the Hungarian company Prolan Co., required to be CENELEC SIL-4 compliant. The experience has been carried out in an industrial-academic partnership within the EU project CECRIS. We discuss the challenges and the lessons learnt in this pilot project of introducing MD design and testing techniques into the company's traditional V-model process.","PeriodicalId":256976,"journal":{"name":"2015 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD)","volume":"85 2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-02-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115054505","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}
引用次数: 17
Using a domain-specific modeling language for analyzing harmonizing and interfering public and private sector goals: A scenario in the context of open data for weather forecasting 使用特定于领域的建模语言来分析协调和干扰公共和私营部门目标:用于天气预报的开放数据上下文中的场景
2015 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD) Pub Date : 2015-02-01 DOI: 10.5220/0005237505310538
S. Overbeek, M. Janssen
{"title":"Using a domain-specific modeling language for analyzing harmonizing and interfering public and private sector goals: A scenario in the context of open data for weather forecasting","authors":"S. Overbeek, M. Janssen","doi":"10.5220/0005237505310538","DOIUrl":"https://doi.org/10.5220/0005237505310538","url":null,"abstract":"The opening of data by public organizations can result in innovations and new business models in the private sector. Yet, the public and private sectors may have different and sometimes interfering objectives. In this paper, we analyze the goals of an open data business model for weather forecasting using the multi-perspective goal modelling language GoalML. The public and private sectors partly share similar goals, but creating public value was found to be interfering (to some extent) with the private sector objective of making profit. One of the values of GoalML is that it clearly shows harmonizing and interfering goals. The interfering goals are one of the explanations for a slow adoption of open data. Mechanisms need to be developed to deal with them.","PeriodicalId":256976,"journal":{"name":"2015 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD)","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131777058","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
首页 上一页
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学术文献互助群
群 号：481959085
Book学术官方微信