2016 IEEE/ACM 4th International Workshop on Software Engineering for Systems-of-Systems (SESoS)最新文献

Modeling and Verification for Different Types of System of Systems using PRISM 基于PRISM的不同类型系统的建模与验证

2016 IEEE/ACM 4th International Workshop on Software Engineering for Systems-of-Systems (SESoS) Pub Date : 2016-05-14 DOI: 10.1145/2897829.2897833

Dong-Geun Seo, Donghwan Shin, Young-Min Baek, Jiyoung Song, Wonkyung Yun, Junho Kim, Eunkyoung Jee, Doo-Hwan Bae

{"title":"Modeling and Verification for Different Types of System of Systems using PRISM","authors":"Dong-Geun Seo, Donghwan Shin, Young-Min Baek, Jiyoung Song, Wonkyung Yun, Junho Kim, Eunkyoung Jee, Doo-Hwan Bae","doi":"10.1145/2897829.2897833","DOIUrl":"https://doi.org/10.1145/2897829.2897833","url":null,"abstract":"A System of Systems (SoS) consists of complex Constituent Systems (CSs), which have managerial and operational independence. As the CSs have independence, the degree of authority to control the CSs varies depending on the different types of SoS, such as directed, acknowledged, and collaborative SoS. While many researchers have attempted to model SoSs and verify SoS-level goals, little attention has been paid to how different types of SoSs are characterized and realized during modeling and verification. Using a mass casualty incident response system as a common working example for different types of a SoS, we model the types of SoS with probabilistic models of PRISM, which can capture uncertain behaviors of an SoS in a quantitative manner and perform statistical model checking in order to verify to which extent each type of SoS achieves the SoS-level goal. Differences between the different types of SoS are demonstrated in the probabilistic models and analyzed by statistical model checking. This modeling and verification can help SoS-level managers to identify the appropriate SoS types to achieve the SoS-level goal.","PeriodicalId":103741,"journal":{"name":"2016 IEEE/ACM 4th International Workshop on Software Engineering for Systems-of-Systems (SESoS)","volume":"72 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-05-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117304112","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}

引用次数: 13

Modeling and Analyzing Systems-of-Systems in the Multi-Attribute Prediction Language (MAPL) 多属性预测语言(MAPL)中系统的建模与分析

2016 IEEE/ACM 4th International Workshop on Software Engineering for Systems-of-Systems (SESoS) Pub Date : 2016-05-14 DOI: 10.1145/2897829.2897830

Pontus Johnson, Robert Lagerström, M. Ekstedt, U. Franke

引用次数: 4

Building Dynamic, Long-Running Systems 构建动态的、长期运行的系统

2016 IEEE/ACM 4th International Workshop on Software Engineering for Systems-of-Systems (SESoS) Pub Date : 2016-05-14 DOI: 10.1145/2897829.2897831

S. Reiss, Qi Xin

引用次数: 0

Approaches for Integration in System of Systems: A Systematic Review 系统的系统中的集成方法:系统回顾

2016 IEEE/ACM 4th International Workshop on Software Engineering for Systems-of-Systems (SESoS) Pub Date : 2016-05-14 DOI: 10.1145/2897829.2897835

Iohan Gonçalves Vargas, Thiago Gottardi, R. Braga

{"title":"Approaches for Integration in System of Systems: A Systematic Review","authors":"Iohan Gonçalves Vargas, Thiago Gottardi, R. Braga","doi":"10.1145/2897829.2897835","DOIUrl":"https://doi.org/10.1145/2897829.2897835","url":null,"abstract":"Software systems have become increasingly complex, and they are often formed by integrating independent systems, resulting in a new class of systems referenced as System of Systems (SoS). The System of Systems Integration (SoSI) emerges as a new challenge and aims to create a new feature by integrating constituent systems that contribute to the overall goal of the SoS. Often the constituent systems tend to be from different sources and behaviors and, as such, tend to employ different terminology and concepts. Also, when SoSI involves the integration of legacy systems, cases where the documentation and the necessary skills for the harmonious integration are readily available are very rare. However, it is observed that there is a lack of studies that are comprehensive and, at the same time, contain a detailed view of how the constituent systems are integrated in order to collectively achieve a common goal. Based on this scenario, the main contribution of this systematic review (SR) is to investigate the state of the art of SoSI and the software engineering methods that assist in the integration between constituent systems of a SoS. The SR has found 1398 studies and, at the end of the selection process, we selected 29 studies for data extraction. Most studies describe individuals and teams who have worked in isolation to develop solutions to certain problems without widespread adoption of a form of integration. Thus, there is a growing concern of researchers in the SoS context. However, it still lacks research and greater dissemination of concepts among researchers in the field.","PeriodicalId":103741,"journal":{"name":"2016 IEEE/ACM 4th International Workshop on Software Engineering for Systems-of-Systems (SESoS)","volume":"69 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-05-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117272310","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

Modeling of Information Systems as Systems of Systems through DSM 通过DSM将信息系统建模为系统的系统

2016 IEEE/ACM 4th International Workshop on Software Engineering for Systems-of-Systems (SESoS) Pub Date : 2016-05-14 DOI: 10.1145/2897829.2897832

P. Salvaneschi

{"title":"Modeling of Information Systems as Systems of Systems through DSM","authors":"P. Salvaneschi","doi":"10.1145/2897829.2897832","DOIUrl":"https://doi.org/10.1145/2897829.2897832","url":null,"abstract":"Information systems may be composed of dozens of software applications managed by different teams knowing only part of thewhole system. During the evolution, the structure of informationsystems tends to become more and more complex. This opens theproblem of understanding and managing the Information System level architecture where a software component is a whole software application.We present the preliminary results of a project aiming at modelinginformation systems as Systems of Systems via Design StructureMatrices (DSM).The information system is modeled as a matrix describing components (software applications) and connectors (relations between applications). The model, implemented with the Cambridge Advanced Modeler tool, allows us loading the matrix and visualize it as a graph of nodes and oriented arcs. Different classes of users may be interested in different views of the model. A view originates specific attributes of components and connectors. The tool allows us querying the model highlighting nodes and arcs of interest for a specific view.The case studies – composed of about a hundred software applications – consist of the information systems of a retail company and of an hospital.","PeriodicalId":103741,"journal":{"name":"2016 IEEE/ACM 4th International Workshop on Software Engineering for Systems-of-Systems (SESoS)","volume":"67 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-05-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115899812","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

ITE Arbitrator: A Reference Architecture Framework for Sustainable IT Ecosystems ITE仲裁者:可持续IT生态系统的参考架构框架

2016 IEEE/ACM 4th International Workshop on Software Engineering for Systems-of-Systems (SESoS) Pub Date : 2016-05-14 DOI: 10.1145/2897829.2897834

Soojin Park, Young B. Park

{"title":"ITE Arbitrator: A Reference Architecture Framework for Sustainable IT Ecosystems","authors":"Soojin Park, Young B. Park","doi":"10.1145/2897829.2897834","DOIUrl":"https://doi.org/10.1145/2897829.2897834","url":null,"abstract":"As new IT systems and devices pervade all aspects of human routines, several new paradigms have recognized groups of IT systems as forming an ecosystem. As a result, the term “IT ecosystem” has been coined. Each individual system participating in an IT ecosystem has, to a varying degree, autonomy. The ultimate goal of participating systems is to satisfy the global goal of the entire IT ecosystem in which they are participating. In order to maintain autonomy and controllability over an IT ecosystem through environmental changes, orchestration strategies must be invented and implemented. In this paper, we propose a reference orchestration architecture framework, which we call ITE Arbitrator, to support IT ecosystems in accomplishing the goals of individual participant systems while simultaneously achieving system-wide goals. ITE Arbitrator provides a mechanism to decide on an adaptation strategy with an optimal configuration of available systems to satisfy local constraints while achieving its global goal. We use the detailed simulation example of an unmanned forest management IT ecosystem to show how the proposed framework orchestrates inter-system interaction against environmental changes and sustains stable service.","PeriodicalId":103741,"journal":{"name":"2016 IEEE/ACM 4th International Workshop on Software Engineering for Systems-of-Systems (SESoS)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-05-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128959741","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