Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Guide to Modeling and Simulation of Systems of Systems / / by Bernard P. Zeigler, Hessam S. Sarjoughian
| 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 | ||
| ||
Modeling & simulation-based data engineering [[electronic resource] ] : introducing pragmatics into ontologies for net-centric information exchange / / Bernard Ziegler, Phillip Hammonds
| 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
| 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
| 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 |
| Record Nr. | UNINA-9910820444003321 |
|
Zeigler Bernard P. <1940->
|
||
| Boston ; ; Amsterdam, : Elsevier/Academic Press, c2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||