{"title":"Formal validation methods in model-based spacecraft systems engineering","authors":"J. Katoen, V. Y. Nguyen, Thomas Noll","doi":"10.1201/b17902-15","DOIUrl":"https://doi.org/10.1201/b17902-15","url":null,"abstract":"","PeriodicalId":395709,"journal":{"name":"Modeling and Simulation-Based Systems Engineering Handbook","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-10-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122702745","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}
{"title":"Processes to support the quality of M&S artifacts","authors":"Jan Himmelspach, Stefan Rybacki","doi":"10.1201/b17902-14","DOIUrl":"https://doi.org/10.1201/b17902-14","url":null,"abstract":"","PeriodicalId":395709,"journal":{"name":"Modeling and Simulation-Based Systems Engineering Handbook","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-10-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123952612","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}
Wil M. P. van der Aalst, M. Rosa, A. T. Hofstede, M. Wynn
{"title":"Liquid business process model collections","authors":"Wil M. P. van der Aalst, M. Rosa, A. T. Hofstede, M. Wynn","doi":"10.1201/b17902-17","DOIUrl":"https://doi.org/10.1201/b17902-17","url":null,"abstract":"","PeriodicalId":395709,"journal":{"name":"Modeling and Simulation-Based Systems Engineering Handbook","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-10-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131504249","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}
model of a system. Even the behavioral aspect in UML is spread over several different types of diagrams: sequence, collaboration, activity, and statecharts, based on Harel’s work (1987). This separation makes it difficult to comprehend the system’s overall picture and to keep the different views consistent. Both the numerous types of diagrams (UML 2 has 13) and the software orientation make the notation hardly appropriate as a basis for the task at hand of translating a conceptual model to an animated clip. xUML (Mellor and Balcer 2002) is an executable modeling language that profiles UML with a semantics extension called action specification language (ASL). The extension aims to capture the language determinism and ensure its executability. Several vendors support their own ASL, but no standard semantics has been accepted.
系统的模型。甚至UML中的行为方面也分布在几种不同类型的图中:基于Harel的工作(1987)的序列图、协作图、活动图和状态图。这种分离使得理解系统的整体图像和保持不同视图的一致性变得困难。大量的图表类型(UML 2有13种)和软件导向使得符号很难作为将概念模型转换为动画剪辑的手头任务的基础。xUML (Mellor and Balcer 2002)是一种可执行的建模语言，它用一种称为动作规范语言(ASL)的语义扩展来描述UML。该扩展旨在捕捉语言的确定性并确保其可执行性。一些供应商支持他们自己的ASL，但是没有标准的语义被接受。
{"title":"Web-based simulation using Cell-DEVS modeling and GIS visualization","authors":"Sixuan Wang, Gabriel A. Wainer","doi":"10.1201/b17902-18","DOIUrl":"https://doi.org/10.1201/b17902-18","url":null,"abstract":"model of a system. Even the behavioral aspect in UML is spread over several different types of diagrams: sequence, collaboration, activity, and statecharts, based on Harel’s work (1987). This separation makes it difficult to comprehend the system’s overall picture and to keep the different views consistent. Both the numerous types of diagrams (UML 2 has 13) and the software orientation make the notation hardly appropriate as a basis for the task at hand of translating a conceptual model to an animated clip. xUML (Mellor and Balcer 2002) is an executable modeling language that profiles UML with a semantics extension called action specification language (ASL). The extension aims to capture the language determinism and ensure its executability. Several vendors support their own ASL, but no standard semantics has been accepted.","PeriodicalId":395709,"journal":{"name":"Modeling and Simulation-Based Systems Engineering Handbook","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-10-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128799050","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}
{"title":"System modeling: Principled operationalization of social systems using Presage2","authors":"","doi":"10.1201/b17902-9","DOIUrl":"https://doi.org/10.1201/b17902-9","url":null,"abstract":"","PeriodicalId":395709,"journal":{"name":"Modeling and Simulation-Based Systems Engineering Handbook","volume":"107 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-10-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127538454","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}
Systems engineering—“... an interdisciplinary collaborative approach to derive, evolve, and verify a life-cycle balanced system solution which satisfies customer expectations and meets public acceptability”(IEEE 1998, p. 11)—has been taught and practiced for several decades, and a body of knowledge (http://www.sebokwiki.org/) has been developed to share and centralize experiences and successful practices. However, despite the fact that they are applying systems engineering processes, many projects still overrun their budgets, fail to deliver in time, and sometimes even do not deliver something really useful or do not even meet the requirements. Many team members continued to work in silos of domain excellence, and the systems engineering processes did not connect the team members as intended. New emerging ideas were gradually introduced under the efforts of model-based systems engineering (MBSE) (Estefan 2008; Wymore 1993), bringing a significant improvement with respect to the aforementioned shortcomings. With MBSE, a common model becomes a centerpiece of the engineering process. This common model is used to communicate with various stakeholders, users in different phases of the life cycle, and in particular team members of the systems engineering team in charge of defining, developing, operating, maintaining, upgrading, and finally retiring the system. The model is rooted in system requirements and is modified step-by-step through analysis and realworld constraints to become a blueprint of the real system.
{"title":"Introduction to the modeling and simulation-based systems engineering handbook","authors":"D. Gianni, A. D’Ambrogio, A. Tolk","doi":"10.1201/b17902-2","DOIUrl":"https://doi.org/10.1201/b17902-2","url":null,"abstract":"Systems engineering—“... an interdisciplinary collaborative approach to derive, evolve, and verify a life-cycle balanced system solution which satisfies customer expectations and meets public acceptability”(IEEE 1998, p. 11)—has been taught and practiced for several decades, and a body of knowledge (http://www.sebokwiki.org/) has been developed to share and centralize experiences and successful practices. However, despite the fact that they are applying systems engineering processes, many projects still overrun their budgets, fail to deliver in time, and sometimes even do not deliver something really useful or do not even meet the requirements. Many team members continued to work in silos of domain excellence, and the systems engineering processes did not connect the team members as intended. New emerging ideas were gradually introduced under the efforts of model-based systems engineering (MBSE) (Estefan 2008; Wymore 1993), bringing a significant improvement with respect to the aforementioned shortcomings. With MBSE, a common model becomes a centerpiece of the engineering process. This common model is used to communicate with various stakeholders, users in different phases of the life cycle, and in particular team members of the systems engineering team in charge of defining, developing, operating, maintaining, upgrading, and finally retiring the system. The model is rooted in system requirements and is modified step-by-step through analysis and realworld constraints to become a blueprint of the real system.","PeriodicalId":395709,"journal":{"name":"Modeling and Simulation-Based Systems Engineering Handbook","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-10-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131469965","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}
As soon as the first computers became available, scientists in the most varied disciplines started using them to run mathematical models to predict the behavior and the performance of physical systems. As computational capabilities evolved, simulation became an essential tool in the support of activities in science and systems engineering. Models grew in size and in complexity, and became widely accessible with the advent of free, opensource simulators. In spite of significant, positive advances, the general area of simulation has witnessed growing concerns with the fidelity of results published in research literature. The so-called “crisis of credibility” in the field of network simulation is emblematic of this trend. Through years of investigation, scholars have identified a multiplicity of issues that have conspired against the scientific rigor of network simulation results. The simulation community learned that many of the failures in simulation studies arise from the complexity of the simulation workflow, which introduces several
{"title":"Layered architectural approach for distributed simulation systems: The SimArch case","authors":"Daniele Gianni","doi":"10.1201/b17902-11","DOIUrl":"https://doi.org/10.1201/b17902-11","url":null,"abstract":"As soon as the first computers became available, scientists in the most varied disciplines started using them to run mathematical models to predict the behavior and the performance of physical systems. As computational capabilities evolved, simulation became an essential tool in the support of activities in science and systems engineering. Models grew in size and in complexity, and became widely accessible with the advent of free, opensource simulators. In spite of significant, positive advances, the general area of simulation has witnessed growing concerns with the fidelity of results published in research literature. The so-called “crisis of credibility” in the field of network simulation is emblematic of this trend. Through years of investigation, scholars have identified a multiplicity of issues that have conspired against the scientific rigor of network simulation results. The simulation community learned that many of the failures in simulation studies arise from the complexity of the simulation workflow, which introduces several","PeriodicalId":395709,"journal":{"name":"Modeling and Simulation-Based Systems Engineering Handbook","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-10-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115038163","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}
{"title":"Modeling and simulation framework for systems engineering","authors":"S. Diallo, Andreas Tolk, Ross Gore, J. Padilla","doi":"10.1201/b17902-16","DOIUrl":"https://doi.org/10.1201/b17902-16","url":null,"abstract":"","PeriodicalId":395709,"journal":{"name":"Modeling and Simulation-Based Systems Engineering Handbook","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-10-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134313504","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}
{"title":"Collaborative modeling and simulation in spacecraft design","authors":"V. Schaus, D. Lüdtke, P. Fischer, A. Gerndt","doi":"10.1201/b17902-8","DOIUrl":"https://doi.org/10.1201/b17902-8","url":null,"abstract":"","PeriodicalId":395709,"journal":{"name":"Modeling and Simulation-Based Systems Engineering Handbook","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-10-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125527778","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}
{"title":"Reshuffling PDES platforms for multi/many-core machines: A perspective with focus on load sharing","authors":"F. Quaglia, Alessandro Pellegrini, Roberto Vitali","doi":"10.1201/b17902-10","DOIUrl":"https://doi.org/10.1201/b17902-10","url":null,"abstract":"","PeriodicalId":395709,"journal":{"name":"Modeling and Simulation-Based Systems Engineering Handbook","volume":"70 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-12-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114089813","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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：