Software and Systems Modeling最新文献_第3页

Cost-sensitive precomputation of real-time-aware reconfiguration strategies based on stochastic priced timed games 基于随机定价定时博弈的成本敏感型实时感知重配置策略预计算

IF 2 3区计算机科学

Software and Systems Modeling Pub Date : 2024-08-05 DOI: 10.1007/s10270-024-01195-9

Hendrik Göttmann, Birte Caesar, Lasse Beers, Malte Lochau, Andy Schürr, Alexander Fay

{"title":"Cost-sensitive precomputation of real-time-aware reconfiguration strategies based on stochastic priced timed games","authors":"Hendrik Göttmann, Birte Caesar, Lasse Beers, Malte Lochau, Andy Schürr, Alexander Fay","doi":"10.1007/s10270-024-01195-9","DOIUrl":"https://doi.org/10.1007/s10270-024-01195-9","url":null,"abstract":"In many recent application domains, software systems must repeatedly reconfigure themselves at runtime to satisfy changing contextual requirements. To decide which next configuration is presumably best suited is a very challenging task as it involves not only functional requirements but also non-functional properties (NFP). NFP include multiple, potentially contradicting, criteria like real-time constraints and cost measures like energy consumption. Effectiveness of context-aware reconfiguration decisions further depends on mostly uncertain future contexts which makes greedy one-step decision heuristics potentially misleading. Moreover, the computational runtime overhead for reconfiguration planning should not nullify the benefits. Nevertheless, entirely pre-planning reconfiguration decisions during design time is also not feasible due to missing knowledge about runtime contexts. In this article, we propose a model-based technique for precomputing context-aware reconfiguration decisions under partially uncertain real-time constraints and cost measures. We employ a game-theoretic approach based on stochastic priced timed game automata as reconfiguration model. This formal model allows us to automatically synthesize winning strategies for the first player (the system) which efficiently delivers presumably best-fitting reconfiguration decisions as reactions to moves of the second player (the context) at runtime. Our tool implementation copes with the high computational complexity of strategy synthesis by utilizing the statistical model checker Uppaal Stratego to approximate near-optimal solutions. We applied our tool to a real-world example consisting of a reconfigurable robot support system for the construction of aircraft fuselages. Our evaluation results show that Uppaal Stratego is indeed able to precompute effective reconfiguration strategies within a reasonable amount of time.","PeriodicalId":49507,"journal":{"name":"Software and Systems Modeling","volume":"1 1","pages":""},"PeriodicalIF":2.0,"publicationDate":"2024-08-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141945498","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

A modeling-based approach for dependability analysis of a constellation of satellites 基于建模的卫星星座可靠性分析方法

IF 2 3区计算机科学

Software and Systems Modeling Pub Date : 2024-07-25 DOI: 10.1007/s10270-024-01197-7

Daniel Farias, Bruno Nogueira, Ivaldir Farias Júnior, Ermeson Andrade

引用次数: 0

Modeling for sustainability: Sustainable Development Goals (SDG) of the United Nations 可持续性建模：联合国可持续发展目标（SDG）

IF 2 3区计算机科学

Software and Systems Modeling Pub Date : 2024-07-18 DOI: 10.1007/s10270-024-01196-8

Benoit Combemale, Jeff Gray, Bernhard Rumpe

引用次数: 0

Systematizing modeler experience (MX) in model-driven engineering success stories 将模型驱动工程成功案例中的建模人员经验（MX）系统化

IF 2 3区计算机科学

Software and Systems Modeling Pub Date : 2024-07-11 DOI: 10.1007/s10270-024-01194-w

Reyhaneh Kalantari, Julian Oertel, Joeri Exelmans, Satrio Adi Rukmono, Vasco Amaral, Matthias Tichy, Katharina Juhnke, Jan-Philipp Steghöfer, Silvia Abrahão

引用次数: 0

Requirements for modelling tools for teaching 对教学建模工具的要求

IF 2 3区计算机科学

Software and Systems Modeling Pub Date : 2024-07-09 DOI: 10.1007/s10270-024-01192-y

Jörg Kienzle, Steffen Zschaler, William Barnett, Timur Sağlam, Antonio Bucchiarone, Silvia Abrahão, Eugene Syriani, Dimitris Kolovos, Timothy Lethbridge, Sadaf Mustafiz, Sofia Meacham

引用次数: 0

iDOCEM iDOCEM

IF 2 3区计算机科学

Software and Systems Modeling Pub Date : 2024-07-09 DOI: 10.1007/s10270-024-01191-z

Charlotte Verbruggen, Alexandre Goossens, Johannes De Smedt, Jan Vanthienen, Monique Snoeck

{"title":"iDOCEM","authors":"Charlotte Verbruggen, Alexandre Goossens, Johannes De Smedt, Jan Vanthienen, Monique Snoeck","doi":"10.1007/s10270-024-01191-z","DOIUrl":"https://doi.org/10.1007/s10270-024-01191-z","url":null,"abstract":"In the business process lifecycle, models can be approached from two perspectives: on the one hand, models are used to create systems in the design phase, and on the other hand, systems in use produce (event) logs that are used to discover the models representing the structure of the systems. These discovered models can be the starting point of a new cycle of analysis, redesign, implementation, etc. Therefore, proper logging of implemented processes in line with system design is a critical element for process discovery. Recently, the consideration of the integration of data and process aspects has seen a surge in interest in both the model-for-design domain as in the automated-model-discovery domain. However, it seems that these domains use different conceptualizations of data/object-aware systems. A definition of how the captured event logs are related to the structure of the global system they are extracted from or are trying to discover is still missing. Especially the concept of an event needs to be aligned, as this is the main concept that the domains have in common. This paper investigates the concepts and terminology used in the different phases of the business process lifecycle: the design phase, the implementation phase (including the implementation of logging) and the discovery phase. The paper contains an extensive running example that is used to illustrate five misalignment issues. The main contribution of this paper is a meta-model that presents a unified terminology for modelling both domains and is demonstrated using the running example. The paper also shows how the concepts of iDOCEM relate to the concepts of a conceptual modelling approach and several event logging formats. iDOCEM is validated with the implementation of a log generator for the running case, demonstrating the feasibility of generating DOCEL-compliant logs from an application.","PeriodicalId":49507,"journal":{"name":"Software and Systems Modeling","volume":"66 1","pages":""},"PeriodicalIF":2.0,"publicationDate":"2024-07-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141575179","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Guest editorial to the special section on PoEM’2022 为 PoEM'2022 特别版块撰写特邀社论

IF 2 3区计算机科学

Software and Systems Modeling Pub Date : 2024-07-03 DOI: 10.1007/s10270-024-01189-7

Balbir S. Barn, Kurt Sandkuhl, Souvik Barat, Tony Clark

引用次数: 0

SymboleoPC: checking properties of legal contracts SymboleoPC：检查法律合同的属性

IF 2 3区计算机科学

Software and Systems Modeling Pub Date : 2024-07-03 DOI: 10.1007/s10270-024-01180-2

Alireza Parvizimosaed, Marco Roveri, Aidin Rasti, Amal Ahmed Anda, Sofana Alfuhaid, Daniel Amyot, Luigi Logrippo, John Mylopoulos

{"title":"SymboleoPC: checking properties of legal contracts","authors":"Alireza Parvizimosaed, Marco Roveri, Aidin Rasti, Amal Ahmed Anda, Sofana Alfuhaid, Daniel Amyot, Luigi Logrippo, John Mylopoulos","doi":"10.1007/s10270-024-01180-2","DOIUrl":"https://doi.org/10.1007/s10270-024-01180-2","url":null,"abstract":"Legal contracts specify requirements for business transactions. Symboleo was recently proposed as a formal specification language for legal contracts. It allows the specification of the contractual requirements by specifying the obligations and powers of the parties, as well as specifying the events that can occur in a contract’s lifecycle. With appropriate tool support, Symboleo can allow monitoring the contract lifecycle. However, because of mistakes in contract interpretation or formal specification, specified contracts may violate properties expected by contracting parties. This paper presents SymboleoPC, a tool for analyzing Symboleo contracts using the nuXmv model checker, where properties can be expressed in both Linear Temporal Logic and Computation Tree Logic. The presentation highlights the architecture, implementation, and testing of the tool, as well as a scalability evaluation, based on performance data. The performance of the tool was evaluated with respect to varying numbers of obligations and powers, with varying numbers of inter-dependencies among them, with parameters derived from the analysis of real contracts. These results suggest that SymboleoPC can be usefully applied to the analysis of formal specifications of contracts with real-life sizes and structures.","PeriodicalId":49507,"journal":{"name":"Software and Systems Modeling","volume":"137 1","pages":""},"PeriodicalIF":2.0,"publicationDate":"2024-07-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141551164","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Automated generation of smart contract code from legal contract specifications with Symboleo2SC 利用 Symboleo2SC 根据法律合同规范自动生成智能合约代码

IF 2 3区计算机科学

Software and Systems Modeling Pub Date : 2024-06-29 DOI: 10.1007/s10270-024-01187-9

Aidin Rasti, Amal Ahmed Anda, Sofana Alfuhaid, Alireza Parvizimosaed, Daniel Amyot, Marco Roveri, Luigi Logrippo, John Mylopoulos

{"title":"Automated generation of smart contract code from legal contract specifications with Symboleo2SC","authors":"Aidin Rasti, Amal Ahmed Anda, Sofana Alfuhaid, Alireza Parvizimosaed, Daniel Amyot, Marco Roveri, Luigi Logrippo, John Mylopoulos","doi":"10.1007/s10270-024-01187-9","DOIUrl":"https://doi.org/10.1007/s10270-024-01187-9","url":null,"abstract":"Smart contracts (SCs) are software systems that monitor and partially control the execution of legal contracts to ensure compliance with the contracts’ terms and conditions, which essentially are sets of obligations and powers, triggered by events. Such systems often exploit Internet-of-Things technologies to support their monitoring functions and blockchain technology to ensure the integrity of their data. Enterprise-level blockchain platforms (such as Hyperledger Fabric) and public ones (such as Ethereum) are popular choices for SC development. However, usually, legal experts are not able to directly encode contract requirements into SCs. Symboleo is a formal specification language for legal contracts that was introduced to address this issue. Symboleo uses an ontology that defines legal concepts such as parties, obligations, powers, and assets, with semantics expressed with state machines. This paper proposes a tool that automatically translates Symboleo specifications into smart contract code for Hyperledger Fabric. Towards this end, we have extended the current Symboleo IDE, implemented the ontology and semantics by using the modelling language Umple, and created a reusable library. The resulting Symboleo2SC tool generates Hyperledger Fabric code exploiting this library. This code is a complete translation and does not require further development. Symboleo2SC was evaluated with five sample contracts. These were converted to SCs for contract monitoring and control purposes. Symboleo2SC helps simplify the SC development process, saves development effort, and helps reduce risks of coding errors.","PeriodicalId":49507,"journal":{"name":"Software and Systems Modeling","volume":"59 1","pages":""},"PeriodicalIF":2.0,"publicationDate":"2024-06-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141507316","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Human factors in model-driven engineering: future research goals and initiatives for MDE 模型驱动工程中的人为因素：MDE 的未来研究目标和举措

IF 2 3区计算机科学

Software and Systems Modeling Pub Date : 2024-06-28 DOI: 10.1007/s10270-024-01188-8

Grischa Liebel, Jil Klünder, Regina Hebig, Christopher Lazik, Inês Nunes, Isabella Graßl, Jan-Philipp Steghöfer, Joeri Exelmans, Julian Oertel, Kai Marquardt, Katharina Juhnke, Kurt Schneider, Lucas Gren, Lucia Happe, Marc Herrmann, Marvin Wyrich, Matthias Tichy, Miguel Goulão, Rebekka Wohlrab, Reyhaneh Kalantari, Robert Heinrich, Sandra Greiner, Satrio Adi Rukmono, Shalini Chakraborty, Silvia Abrahão, Vasco Amaral

{"title":"Human factors in model-driven engineering: future research goals and initiatives for MDE","authors":"Grischa Liebel, Jil Klünder, Regina Hebig, Christopher Lazik, Inês Nunes, Isabella Graßl, Jan-Philipp Steghöfer, Joeri Exelmans, Julian Oertel, Kai Marquardt, Katharina Juhnke, Kurt Schneider, Lucas Gren, Lucia Happe, Marc Herrmann, Marvin Wyrich, Matthias Tichy, Miguel Goulão, Rebekka Wohlrab, Reyhaneh Kalantari, Robert Heinrich, Sandra Greiner, Satrio Adi Rukmono, Shalini Chakraborty, Silvia Abrahão, Vasco Amaral","doi":"10.1007/s10270-024-01188-8","DOIUrl":"https://doi.org/10.1007/s10270-024-01188-8","url":null,"abstract":"Software modelling and model-driven engineering (MDE) is traditionally studied from a technical perspective. However, one of the core motivations behind the use of software models is inherently human-centred. Models aim to enable practitioners to communicate about software designs, make software understandable, or make software easier to write through domain-specific modelling languages. Several recent studies challenge the idea that these aims can always be reached and indicate that human factors play a role in the success of MDE. However, there is an under-representation of research focusing on human factors in modelling. During a GI-Dagstuhl seminar, topics related to human factors in modelling were discussed by 26 expert participants from research and industry. In breakout groups, five topics were covered in depth, namely modelling human aspects, factors of modeller experience, diversity and inclusion in MDE, collaboration and MDE, and teaching human-aware MDE. We summarise our insights gained during the discussions on the five topics. We formulate research goals, questions, and propositions that support directing future initiatives towards an MDE community that is aware of and supportive of human factors and values.","PeriodicalId":49507,"journal":{"name":"Software and Systems Modeling","volume":"33 1","pages":""},"PeriodicalIF":2.0,"publicationDate":"2024-06-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141507317","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0