Guide to Modeling and Simulation of Systems of Systems / / by Bernard P. Zeigler, Hessam S. Sarjoughian |
Autore | Zeigler Bernard P. <1940-> |
Edizione | [2nd ed. 2017.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (XIV, 400 p. 216 illus., 141 illus. in color.) |
Disciplina | 003.3 |
Collana | Simulation Foundations, Methods and Applications |
Soggetto topico |
Computer simulation
Electronic digital computers - Evaluation Electronic data processing - Management Computer Modelling System Performance and Evaluation IT Operations |
ISBN | 3-319-64134-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Part I -- Modeling and Simulation of Systems of Systems -- DEVS Integrated Development Environments -- System Entity Structure Basics -- DEVS Natural Language Models and Elaborations -- Specialization and Pruning -- Aspects and Multi-Aspects -- Managing Inheritance in Pruning -- Automated and Rule-Based Pruning -- Part II -- DEVS Simulation Protocol -- Dynamic Structure: Agent Modeling and Publish/Subscribe -- Interest-Based Information Exchange: Mappings and Models -- Languages for Constructing DEVS Models -- Part III -- Flexible Modeling Support Environments -- Service-Based Software Systems -- Cloud System Simulation Modeling -- Model Development and Execution Process with Repositories, Validation and Verification -- Modeling and Simulation of Living Systems as Systems of Systems -- Activity-Based Implementations of Systems of Systems -- DEVS Support for Markov Modeling and Simulation. |
Record Nr. | UNINA-9910254851403321 |
Zeigler Bernard P. <1940-> | ||
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Guide to modeling and simulation of systems of systems : user's reference / / Bernard P. Zeigler |
Autore | Zeigler Bernard P. <1940-> |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | London, : Springer, 2013 |
Descrizione fisica | 1 online resource (49 p.) |
Disciplina | 003.3 |
Collana | SpringerBriefs in computer science |
Soggetto topico |
Systems engineering - Data processing
Computer simulation |
ISBN |
1-283-74043-5
1-4471-4570-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Atomic Models List -- System Entity Structure List -- Pruning SES List -- Miscellaneous List. |
Record Nr. | UNINA-9910437580103321 |
Zeigler Bernard P. <1940-> | ||
London, : Springer, 2013 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Modeling & simulation-based data engineering [[electronic resource] ] : introducing pragmatics into ontologies for net-centric information exchange / / Bernard Ziegler, Phillip Hammonds |
Autore | Zeigler Bernard P. <1940-> |
Pubbl/distr/stampa | Boston ; ; Amsterdam, : Elsevier/Academic Press, c2007 |
Descrizione fisica | 1 online resource (448 p.) |
Disciplina | 004.60113 |
Altri autori (Persone) | HammondsPhillip |
Soggetto topico |
Data transmission systems - Design - Computer simulation
Downloading of data |
Soggetto genere / forma | Electronic books. |
ISBN |
1-281-05692-8
9786611056926 0-08-055054-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
UML and XML Combined: Strengths and LimitationsOpen Knowledge Base Connectivity Ontology; Semantic Web Ontologies and Environments; Summary; References; Appendix A: Review of OKBC Knowledge Specification (based on13); Chapter 3: Formulating Pragmatic Frames and Ontologies: Geospatial Sensor Data; Geospatial Imagery Sensors Background; Pragmatic Frame for Downstream Image Processing; Sensor Model; Pragmatic Frame Principles: Maxims for Effective Conversations; Summary; References; Part II: System Entity StructureConcepts and Operations; Chapter 4: Introduction to the System Entity Structure
VariablesAspects; Specializations; Interaction between Aspects and Specializations; Interaction among Specializations; multiAspects; Variables and Range Specifications; Range Restrictions; Computed Values and Formulas; Summary; References; Chapter 5: System Entity Structure Axioms: Interpretations and Applications; Relational Specification of the SES; Application of Uniformity; Satisfaction of the Axioms; Unique Path Labeling; Pruning Process: Brief Introduction; System Entity Structure with multiAspects; Inheritance; Summary; Problems; References Chapter 6: System Entity Structure: Computational RepresentationsCreating an Instance of Class sesRelation; Representing the SES as a DOM; Specifying the SES as an XML File; Creating a DOM from an SES XML File; Writing from a DOM for an SES into a DTD; Testing an SES for Validity; Schema Representation of SES; Schema Validation of SES; Natural Language Specification of an SES; Summary; References; Appendix A: Syntax for Natural Language Specification of an SES; Chapter 7: Mappings: Transformations and Restructurings; Tree Operations: Eliminating Specialization and Aspect Labels Restructuring of multiAspectsRestructuring Variables and Specializations; Partitioning Continuous Ranges Using Specializations; Converting between Variables and Aspects; Increasing Specialization Specificity; Summary; Chapter 8: Pruned Entity Structures and XML Schema Instances; Pruned Entity Structures; Pruning an SES with multiAspects; Prunable Entity Structures; The conformsTo Relation; When Is Pruning Complete?; Pruning Using SES/JAVA Tools; Validation and Completion State of PES; Summary; Reference; Chapter 9: Constrained Pruning; Constraints on Specialization Selections Rule-based Approach |
Record Nr. | UNINA-9910458600003321 |
Zeigler Bernard P. <1940-> | ||
Boston ; ; Amsterdam, : Elsevier/Academic Press, c2007 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Modeling & simulation-based data engineering [[electronic resource] ] : introducing pragmatics into ontologies for net-centric information exchange / / Bernard Ziegler, Phillip Hammonds |
Autore | Zeigler Bernard P. <1940-> |
Pubbl/distr/stampa | Boston ; ; Amsterdam, : Elsevier/Academic Press, c2007 |
Descrizione fisica | 1 online resource (448 p.) |
Disciplina | 004.60113 |
Altri autori (Persone) | HammondsPhillip |
Soggetto topico |
Data transmission systems - Design - Computer simulation
Downloading of data |
ISBN |
1-281-05692-8
9786611056926 0-08-055054-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
UML and XML Combined: Strengths and LimitationsOpen Knowledge Base Connectivity Ontology; Semantic Web Ontologies and Environments; Summary; References; Appendix A: Review of OKBC Knowledge Specification (based on13); Chapter 3: Formulating Pragmatic Frames and Ontologies: Geospatial Sensor Data; Geospatial Imagery Sensors Background; Pragmatic Frame for Downstream Image Processing; Sensor Model; Pragmatic Frame Principles: Maxims for Effective Conversations; Summary; References; Part II: System Entity StructureConcepts and Operations; Chapter 4: Introduction to the System Entity Structure
VariablesAspects; Specializations; Interaction between Aspects and Specializations; Interaction among Specializations; multiAspects; Variables and Range Specifications; Range Restrictions; Computed Values and Formulas; Summary; References; Chapter 5: System Entity Structure Axioms: Interpretations and Applications; Relational Specification of the SES; Application of Uniformity; Satisfaction of the Axioms; Unique Path Labeling; Pruning Process: Brief Introduction; System Entity Structure with multiAspects; Inheritance; Summary; Problems; References Chapter 6: System Entity Structure: Computational RepresentationsCreating an Instance of Class sesRelation; Representing the SES as a DOM; Specifying the SES as an XML File; Creating a DOM from an SES XML File; Writing from a DOM for an SES into a DTD; Testing an SES for Validity; Schema Representation of SES; Schema Validation of SES; Natural Language Specification of an SES; Summary; References; Appendix A: Syntax for Natural Language Specification of an SES; Chapter 7: Mappings: Transformations and Restructurings; Tree Operations: Eliminating Specialization and Aspect Labels Restructuring of multiAspectsRestructuring Variables and Specializations; Partitioning Continuous Ranges Using Specializations; Converting between Variables and Aspects; Increasing Specialization Specificity; Summary; Chapter 8: Pruned Entity Structures and XML Schema Instances; Pruned Entity Structures; Pruning an SES with multiAspects; Prunable Entity Structures; The conformsTo Relation; When Is Pruning Complete?; Pruning Using SES/JAVA Tools; Validation and Completion State of PES; Summary; Reference; Chapter 9: Constrained Pruning; Constraints on Specialization Selections Rule-based Approach |
Record Nr. | UNINA-9910784657303321 |
Zeigler Bernard P. <1940-> | ||
Boston ; ; Amsterdam, : Elsevier/Academic Press, c2007 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Modeling & simulation-based data engineering : introducing pragmatics into ontologies for net-centric information exchange / / Bernard Ziegler, Phillip Hammonds |
Autore | Zeigler Bernard P. <1940-> |
Edizione | [1st ed.] |
Pubbl/distr/stampa | Boston ; ; Amsterdam, : Elsevier/Academic Press, c2007 |
Descrizione fisica | 1 online resource (448 p.) |
Disciplina | 004.60113 |
Altri autori (Persone) | HammondsPhillip |
Soggetto topico |
Data transmission systems - Design - Computer simulation
Downloading of data |
ISBN |
1-281-05692-8
9786611056926 0-08-055054-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
UML and XML Combined: Strengths and LimitationsOpen Knowledge Base Connectivity Ontology; Semantic Web Ontologies and Environments; Summary; References; Appendix A: Review of OKBC Knowledge Specification (based on13); Chapter 3: Formulating Pragmatic Frames and Ontologies: Geospatial Sensor Data; Geospatial Imagery Sensors Background; Pragmatic Frame for Downstream Image Processing; Sensor Model; Pragmatic Frame Principles: Maxims for Effective Conversations; Summary; References; Part II: System Entity StructureConcepts and Operations; Chapter 4: Introduction to the System Entity Structure
VariablesAspects; Specializations; Interaction between Aspects and Specializations; Interaction among Specializations; multiAspects; Variables and Range Specifications; Range Restrictions; Computed Values and Formulas; Summary; References; Chapter 5: System Entity Structure Axioms: Interpretations and Applications; Relational Specification of the SES; Application of Uniformity; Satisfaction of the Axioms; Unique Path Labeling; Pruning Process: Brief Introduction; System Entity Structure with multiAspects; Inheritance; Summary; Problems; References Chapter 6: System Entity Structure: Computational RepresentationsCreating an Instance of Class sesRelation; Representing the SES as a DOM; Specifying the SES as an XML File; Creating a DOM from an SES XML File; Writing from a DOM for an SES into a DTD; Testing an SES for Validity; Schema Representation of SES; Schema Validation of SES; Natural Language Specification of an SES; Summary; References; Appendix A: Syntax for Natural Language Specification of an SES; Chapter 7: Mappings: Transformations and Restructurings; Tree Operations: Eliminating Specialization and Aspect Labels Restructuring of multiAspectsRestructuring Variables and Specializations; Partitioning Continuous Ranges Using Specializations; Converting between Variables and Aspects; Increasing Specialization Specificity; Summary; Chapter 8: Pruned Entity Structures and XML Schema Instances; Pruned Entity Structures; Pruning an SES with multiAspects; Prunable Entity Structures; The conformsTo Relation; When Is Pruning Complete?; Pruning Using SES/JAVA Tools; Validation and Completion State of PES; Summary; Reference; Chapter 9: Constrained Pruning; Constraints on Specialization Selections Rule-based Approach |
Altri titoli varianti | Modeling and simulation-based data engineering |
Record Nr. | UNINA-9910820444003321 |
Zeigler Bernard P. <1940-> | ||
Boston ; ; Amsterdam, : Elsevier/Academic Press, c2007 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|