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.
Applications of graph transformations with industrial relevance : third international symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, revised selected and invited papers / / edited by Andy Schürr, Manfred Nagl, Albert Zündorf
| Applications of graph transformations with industrial relevance : third international symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, revised selected and invited papers / / edited by Andy Schürr, Manfred Nagl, Albert Zündorf |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Germany ; ; New York, New York : , : Springer, , [2008] |
| Descrizione fisica | 1 online resource (XIII, 594 p.) |
| Disciplina | 004 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Rewriting systems (Computer science)
Computer science |
| ISBN | 3-540-89020-3 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Graph Transformation Applications -- Combining Quality Assurance and Model Transformations in Business-Driven Development -- Assuring Consistency of Business Process Models and Web Services Using Visual Contracts -- Transforming Scene Graphs Using Triple Graph Grammars – A Practice Report -- Using Graph Transformation to Support Collaborative Ontology Evolution -- Modelling of Longitudinal Information Systems with Graph Grammars -- Meta-modeling and Domain-Specific Language -- A Generic Layout Algorithm for Meta-model Based Editors -- Domain Specific Languages with Graphical and Textual Views -- Generating Domain-Specific Model Editors with Complex Editing Commands -- Specifying Domain-Specific Refactorings for AndroMDA Based on Graph Transformation -- New Graph Transformation Approaches -- Defining Abstract Graph Views as Module Interfaces -- Programmed Graph Rewriting with DEVS -- Relational Growth Grammars – A Parallel Graph Transformation Approach with Applications in Biology and Architecture -- Applications and Rewriting of Omnigraphs – Exemplified in the Domain of MDD -- Program Transformation Applications -- A Single-Step Term-Graph Reduction System for Proof Assistants -- Shaped Generic Graph Transformation -- Code Graph Transformations for Verifiable Generation of SIMD-Parallel Assembly Code -- Graph Rewriting for Hardware Dependent Program Optimizations -- Dynamic System Modeling -- Transforming Timeline Specifications into Automata for Runtime Monitoring -- Visualization, Simulation and Analysis of Reconfigurable Systems -- Communities of Autonomous Units for Pickup and Delivery Vehicle Routing -- Efficient Graph Matching with Application to Cognitive Automation -- Model Driven Software Development Applications -- Checking and Enforcement of Modeling Guidelines with Graph Transformations -- Aspect Diagrams for UML Activity Models -- Model-Driven Software Development with Graph Transformations: A Comparative Case Study -- Verification and Synthesis of OCL Constraints Via Topology Analysis -- Queries, Views, and Model Transformations -- State of the Art of QVT: A Model Transformation Language Standard -- Adaptable Support for Queries and Transformations for the DRAGOS Graph-Database -- New Pattern Matching and Rewriting Concepts -- Applying a Grouping Operator in Model Transformations -- Modeling Successively Connected Repetitive Subgraphs -- Simulating Set-Valued Transformations with Algorithmic Graph Transformation Languages -- Recursive Graph Pattern Matching -- A First Experimental Evaluation of Search Plan Driven Graph Pattern Matching -- Graph Transformation Tool Contest -- AGTIVE 2007 Graph Transformation Tool Contest -- Ludo: A Case Study for Graph Transformation Tools -- Generation of Sierpinski Triangles: A Case Study for Graph Transformation Tools -- Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools -- Graph Transformation Tools -- The EMF Model Transformation Framework -- GrGen.NET: A Fast, Expressive, and General Purpose Graph Rewrite Tool -- The Modelling Platform GroIMP and the Programming Language XL -- Metamodeling with MOFLON -- The Graph Rewriting Language and Environment PROGRES -- Algorithm and Tool for Ontology Integration Based on Graph Rewriting -- Generating Eclipse Editor Plug-Ins Using Tiger -- From Graph Transformation to OCL Using USE -- Introducing the VMTS Mobile Toolkit. |
| Record Nr. | UNISA-996466342703316 |
| Berlin, Germany ; ; New York, New York : , : Springer, , [2008] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Applications of graph transformations with industrial relevance : third international symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, revised selected and invited papers / / edited by Andy Schürr, Manfred Nagl, Albert Zündorf
| Applications of graph transformations with industrial relevance : third international symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, revised selected and invited papers / / edited by Andy Schürr, Manfred Nagl, Albert Zündorf |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Germany ; ; New York, New York : , : Springer, , [2008] |
| Descrizione fisica | 1 online resource (XIII, 594 p.) |
| Disciplina | 004 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Rewriting systems (Computer science)
Computer science |
| ISBN | 3-540-89020-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Graph Transformation Applications -- Combining Quality Assurance and Model Transformations in Business-Driven Development -- Assuring Consistency of Business Process Models and Web Services Using Visual Contracts -- Transforming Scene Graphs Using Triple Graph Grammars – A Practice Report -- Using Graph Transformation to Support Collaborative Ontology Evolution -- Modelling of Longitudinal Information Systems with Graph Grammars -- Meta-modeling and Domain-Specific Language -- A Generic Layout Algorithm for Meta-model Based Editors -- Domain Specific Languages with Graphical and Textual Views -- Generating Domain-Specific Model Editors with Complex Editing Commands -- Specifying Domain-Specific Refactorings for AndroMDA Based on Graph Transformation -- New Graph Transformation Approaches -- Defining Abstract Graph Views as Module Interfaces -- Programmed Graph Rewriting with DEVS -- Relational Growth Grammars – A Parallel Graph Transformation Approach with Applications in Biology and Architecture -- Applications and Rewriting of Omnigraphs – Exemplified in the Domain of MDD -- Program Transformation Applications -- A Single-Step Term-Graph Reduction System for Proof Assistants -- Shaped Generic Graph Transformation -- Code Graph Transformations for Verifiable Generation of SIMD-Parallel Assembly Code -- Graph Rewriting for Hardware Dependent Program Optimizations -- Dynamic System Modeling -- Transforming Timeline Specifications into Automata for Runtime Monitoring -- Visualization, Simulation and Analysis of Reconfigurable Systems -- Communities of Autonomous Units for Pickup and Delivery Vehicle Routing -- Efficient Graph Matching with Application to Cognitive Automation -- Model Driven Software Development Applications -- Checking and Enforcement of Modeling Guidelines with Graph Transformations -- Aspect Diagrams for UML Activity Models -- Model-Driven Software Development with Graph Transformations: A Comparative Case Study -- Verification and Synthesis of OCL Constraints Via Topology Analysis -- Queries, Views, and Model Transformations -- State of the Art of QVT: A Model Transformation Language Standard -- Adaptable Support for Queries and Transformations for the DRAGOS Graph-Database -- New Pattern Matching and Rewriting Concepts -- Applying a Grouping Operator in Model Transformations -- Modeling Successively Connected Repetitive Subgraphs -- Simulating Set-Valued Transformations with Algorithmic Graph Transformation Languages -- Recursive Graph Pattern Matching -- A First Experimental Evaluation of Search Plan Driven Graph Pattern Matching -- Graph Transformation Tool Contest -- AGTIVE 2007 Graph Transformation Tool Contest -- Ludo: A Case Study for Graph Transformation Tools -- Generation of Sierpinski Triangles: A Case Study for Graph Transformation Tools -- Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools -- Graph Transformation Tools -- The EMF Model Transformation Framework -- GrGen.NET: A Fast, Expressive, and General Purpose Graph Rewrite Tool -- The Modelling Platform GroIMP and the Programming Language XL -- Metamodeling with MOFLON -- The Graph Rewriting Language and Environment PROGRES -- Algorithm and Tool for Ontology Integration Based on Graph Rewriting -- Generating Eclipse Editor Plug-Ins Using Tiger -- From Graph Transformation to OCL Using USE -- Introducing the VMTS Mobile Toolkit. |
| Record Nr. | UNINA-9910767522203321 |
| Berlin, Germany ; ; New York, New York : , : Springer, , [2008] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Collaborative and distributed chemical engineering : from understanding to susbstantial design process support : results of the IMPROVE Project / / Manfred Nagl, Woldgang Marquardt
| Collaborative and distributed chemical engineering : from understanding to susbstantial design process support : results of the IMPROVE Project / / Manfred Nagl, Woldgang Marquardt |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Germany ; ; New York, New York : , : Springer-Verlag, , [2008] |
| Descrizione fisica | 1 online resource (XII, 851 p.) |
| Disciplina | 660 |
| Collana | Lecture notes in computer science |
| Soggetto topico | Chemical engineering |
| ISBN | 3-540-70552-X |
| Classificazione |
CHE 020f
CIT 300f DAT 800f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Goals, Approach, Functionality of Resulting Tools, and Project Structure -- A Model-Driven Approach for A-posteriori Tool Integration -- A Scenario Demonstrating Design Support in Chemical Engineering -- The Interdisciplinary IMPROVE Project -- Application Domain Modeling -- An Introduction to Application Domain Modeling -- Product Data Models -- Document Models -- Work Process Models -- Decision Models -- Integrated Application Domain Models for Chemical Engineering -- New Tool Functionality and Underlying Concepts -- Using Developers’ Experience in Cooperative Design Processes -- Incremental and Interactive Integrator Tools for Design Product Consistency -- Multimedia and VR Support for Direct Communication of Designers -- An Adaptive and Reactive Management System for Project Coordination -- Platform Functionality -- Goal-Oriented Information Flow Management in Development Processes -- Service Management for Development Tools -- Integration Aspects -- Scenario-Based Analysis of Industrial Work Processes -- Integrative Simulation of Work Processes -- An Integrated Environment for Heterogeneous Process Modeling and Simulation -- Design Support of Reaction and Compounding Extruders -- Synergy by Integrating New Functionality -- Usability Engineering -- Software Integration and Framework Development -- Steps towards a Formal Process/Product Model -- From Application Domain Models to Tools: The Sketch of a Layered Process/Product Model -- Work Processes and Process-Centered Models and Tools -- Model Dependencies, Fine-Grained Relations, and Integrator Tools -- Administration Models and Management Tools -- Process/Product Model: Status and Open Problems -- Transfer to Practice -- Industrial Cooperation Resulting in Transfer -- Ontology-Based Integration and Management of Distributed Design Data -- Computer-Assisted Work Process Modeling in Chemical Engineering -- Simulation-Supported Workflow Optimization in Process Engineering -- Management and Reuse of Experience Knowledge in Extrusion Processes -- Tools for Consistency Management between Design Products -- Dynamic Process Management Based upon Existing Systems -- Service-Oriented Architectures and Application Integration -- Evaluation -- Review from a Design Process Perspective -- Review from a Tools’ Perspective -- Review from an Industrial Perspective -- Review from Academic Success Perspective. |
| Record Nr. | UNINA-9910483166103321 |
| Berlin, Germany ; ; New York, New York : , : Springer-Verlag, , [2008] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Collaborative and distributed chemical engineering : from understanding to susbstantial design process support : results of the IMPROVE Project / / Manfred Nagl, Woldgang Marquardt
| Collaborative and distributed chemical engineering : from understanding to susbstantial design process support : results of the IMPROVE Project / / Manfred Nagl, Woldgang Marquardt |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Germany ; ; New York, New York : , : Springer-Verlag, , [2008] |
| Descrizione fisica | 1 online resource (XII, 851 p.) |
| Disciplina | 660 |
| Collana | Lecture notes in computer science |
| Soggetto topico | Chemical engineering |
| ISBN | 3-540-70552-X |
| Classificazione |
CHE 020f
CIT 300f DAT 800f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Goals, Approach, Functionality of Resulting Tools, and Project Structure -- A Model-Driven Approach for A-posteriori Tool Integration -- A Scenario Demonstrating Design Support in Chemical Engineering -- The Interdisciplinary IMPROVE Project -- Application Domain Modeling -- An Introduction to Application Domain Modeling -- Product Data Models -- Document Models -- Work Process Models -- Decision Models -- Integrated Application Domain Models for Chemical Engineering -- New Tool Functionality and Underlying Concepts -- Using Developers’ Experience in Cooperative Design Processes -- Incremental and Interactive Integrator Tools for Design Product Consistency -- Multimedia and VR Support for Direct Communication of Designers -- An Adaptive and Reactive Management System for Project Coordination -- Platform Functionality -- Goal-Oriented Information Flow Management in Development Processes -- Service Management for Development Tools -- Integration Aspects -- Scenario-Based Analysis of Industrial Work Processes -- Integrative Simulation of Work Processes -- An Integrated Environment for Heterogeneous Process Modeling and Simulation -- Design Support of Reaction and Compounding Extruders -- Synergy by Integrating New Functionality -- Usability Engineering -- Software Integration and Framework Development -- Steps towards a Formal Process/Product Model -- From Application Domain Models to Tools: The Sketch of a Layered Process/Product Model -- Work Processes and Process-Centered Models and Tools -- Model Dependencies, Fine-Grained Relations, and Integrator Tools -- Administration Models and Management Tools -- Process/Product Model: Status and Open Problems -- Transfer to Practice -- Industrial Cooperation Resulting in Transfer -- Ontology-Based Integration and Management of Distributed Design Data -- Computer-Assisted Work Process Modeling in Chemical Engineering -- Simulation-Supported Workflow Optimization in Process Engineering -- Management and Reuse of Experience Knowledge in Extrusion Processes -- Tools for Consistency Management between Design Products -- Dynamic Process Management Based upon Existing Systems -- Service-Oriented Architectures and Application Integration -- Evaluation -- Review from a Design Process Perspective -- Review from a Tools’ Perspective -- Review from an Industrial Perspective -- Review from Academic Success Perspective. |
| Record Nr. | UNISA-996466171103316 |
| Berlin, Germany ; ; New York, New York : , : Springer-Verlag, , [2008] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||