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

2012 35th Annual IEEE Software Engineering Workshop最新文献

筛选
英文 中文
Automating the Transformation from BPMN Models to CSP+T Specifications 自动化从BPMN模型到CSP+T规范的转换
2012 35th Annual IEEE Software Engineering Workshop Pub Date : 2012-10-12 DOI: 10.1109/SEW.2012.17
M. Capel, L. Mendoza
{"title":"Automating the Transformation from BPMN Models to CSP+T Specifications","authors":"M. Capel, L. Mendoza","doi":"10.1109/SEW.2012.17","DOIUrl":"https://doi.org/10.1109/SEW.2012.17","url":null,"abstract":"The complexity of modern Business Process Modelling (BPM) together with the absence of the appropriate validation tools is the main reason for the costly and non- evolutionary characteristics of these models. Temporal constructs of Extended Business Process Model and Notation (EBPMN) semantics are disambiguated here by using Communicating Sequential Processes+Time (CSP+T) process calculus, which adds new constructions to timed BPMN modelling entities for non-functional requirements specification. Our objective is to facilitate the description of a business process model as a collection of verified software components, thereby advancing to their complete verification with state-of-the-art model checking tools. One real-life example, Customer Relationship Management (CRM) modelled as a correct business task model is discussed to demonstrate the applicability of the verification approach.","PeriodicalId":150723,"journal":{"name":"2012 35th Annual IEEE Software Engineering Workshop","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-10-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124817809","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}
引用次数: 10
Analysing Tactics in Architectural Patterns 架构模式中的分析策略
2012 35th Annual IEEE Software Engineering Workshop Pub Date : 2012-10-12 DOI: 10.1109/SEW.2012.10
A. Sánchez, Ademar Aguiar, L. Barbosa, D. Riesco
{"title":"Analysing Tactics in Architectural Patterns","authors":"A. Sánchez, Ademar Aguiar, L. Barbosa, D. Riesco","doi":"10.1109/SEW.2012.10","DOIUrl":"https://doi.org/10.1109/SEW.2012.10","url":null,"abstract":"This paper presents an approach to analyse the application of tactics in architectural patterns. We define and illustrate the approach using ARCHERY, a language for specifying, analysing and verifying architectural patterns. The approach consists of characterising the design principles of an architectural pattern as constraints, expressed in the language, and then, establishing a refinement relation based on their satisfaction. The application of tactics preserving refinement ensures that the original design principles, expressed themselves as constraints, still hold in the resulting architectural pattern. The paper focuses on fault-tolerance tactics, and identifies a set of requirements for a semantic framework characterising them. The application of tactics represented as model transformations is then discussed and illustrated using two case studies.","PeriodicalId":150723,"journal":{"name":"2012 35th Annual IEEE Software Engineering Workshop","volume":"43 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-10-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114072842","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
首页 上一页
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学术官方微信