{"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}
{"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}
{"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}
{"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}