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.
Application and Theory of Petri Nets and Concurrency [[electronic resource] ] : 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013, Proceedings / / edited by Jose-Manuel Colom, Jörg Desel
| Application and Theory of Petri Nets and Concurrency [[electronic resource] ] : 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013, Proceedings / / edited by Jose-Manuel Colom, Jörg Desel |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XII, 411 p. 166 illus.) |
| Disciplina | 004.0151 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Software engineering Computer science—Mathematics Mathematical statistics Artificial intelligence—Data processing Compilers (Computer programs) Theory of Computation Software Engineering Computer Science Logic and Foundations of Programming Probability and Statistics in Computer Science Data Science Compilers and Interpreters |
| ISBN | 3-642-38697-0 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The Right Timing: Reflections on the Modeling and Analysis of Time -- Eliminating Concurrency Bugs in Multithreaded Software: An Approach Based on Control of Petri Nets -- Contextual Merged Processes -- ω-Petri Nets -- Results on Equivalence, Boundedness, Liveness, and Covering Problems of BPP-Petri Nets -- A Semantics for Every GSPN -- Expressing and Computing Passage Time Measures of GSPN Models with HASL -- On Multi-enabledness in Time Petri Nets -- Complexity Results for Elementary Hornets -- Complexity Analysis of Continuous Petri Nets -- Step Persistence in the Design of GALS Systems -- A Taxonomy of Persistent and Nonviolent Steps -- Colouring Space - A Coloured Framework for Spatial Modelling in Systems Biology -- The Vehicle Relocation Problem in Car Sharing Systems: Modeling and Simulation in a Petri Net Framework -- Net-Based Analysis of Event Processing Networks – The Fast Flower Delivery Case -- Hierarchical Conformance Checking of Process Models Based on Event Logs -- Discovering Block-Structured Process Models from Event Logs - A Constructive Approach -- Faster Verification of Partially Ordered Runs in Petri Nets Using Compact Tokenflows -- Unifying the Semantics of Modular Extensions of Petri Nets -- Channel Properties of Asynchronously Composed Petri Nets -- MARCIE – Model Checking and Reachability Analysis Done Efficiently -- CPN Tools 4: Multi-formalism and Extensibility. |
| Record Nr. | UNISA-996465839703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Application and Theory of Petri Nets and Concurrency : 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013, Proceedings / / edited by Jose-Manuel Colom, Jörg Desel
| Application and Theory of Petri Nets and Concurrency : 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013, Proceedings / / edited by Jose-Manuel Colom, Jörg Desel |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XII, 411 p. 166 illus.) |
| Disciplina | 004.0151 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Software engineering Computer science—Mathematics Mathematical statistics Artificial intelligence—Data processing Compilers (Computer programs) Theory of Computation Software Engineering Computer Science Logic and Foundations of Programming Probability and Statistics in Computer Science Data Science Compilers and Interpreters |
| ISBN | 3-642-38697-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The Right Timing: Reflections on the Modeling and Analysis of Time -- Eliminating Concurrency Bugs in Multithreaded Software: An Approach Based on Control of Petri Nets -- Contextual Merged Processes -- ω-Petri Nets -- Results on Equivalence, Boundedness, Liveness, and Covering Problems of BPP-Petri Nets -- A Semantics for Every GSPN -- Expressing and Computing Passage Time Measures of GSPN Models with HASL -- On Multi-enabledness in Time Petri Nets -- Complexity Results for Elementary Hornets -- Complexity Analysis of Continuous Petri Nets -- Step Persistence in the Design of GALS Systems -- A Taxonomy of Persistent and Nonviolent Steps -- Colouring Space - A Coloured Framework for Spatial Modelling in Systems Biology -- The Vehicle Relocation Problem in Car Sharing Systems: Modeling and Simulation in a Petri Net Framework -- Net-Based Analysis of Event Processing Networks – The Fast Flower Delivery Case -- Hierarchical Conformance Checking of Process Models Based on Event Logs -- Discovering Block-Structured Process Models from Event Logs - A Constructive Approach -- Faster Verification of Partially Ordered Runs in Petri Nets Using Compact Tokenflows -- Unifying the Semantics of Modular Extensions of Petri Nets -- Channel Properties of Asynchronously Composed Petri Nets -- MARCIE – Model Checking and Reachability Analysis Done Efficiently -- CPN Tools 4: Multi-formalism and Extensibility. |
| Record Nr. | UNINA-9910483208403321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Business Process Management [[electronic resource] ] : Second International Conference, BPM 2004, Potsdam, Germany, June 17-18, 2004, Proceedings / / edited by Jörg Desel, Barbara Pernici, Mathias Weske
| Business Process Management [[electronic resource] ] : Second International Conference, BPM 2004, Potsdam, Germany, June 17-18, 2004, Proceedings / / edited by Jörg Desel, Barbara Pernici, Mathias Weske |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (X, 314 p.) |
| Disciplina | 658.054 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Production management
Application software Information storage and retrieval User interfaces (Computer systems) Computers and civilization Management information systems Computer science Operations Management Information Systems Applications (incl. Internet) Information Storage and Retrieval User Interfaces and Human Computer Interaction Computers and Society Management of Computing and Information Systems |
| ISBN | 3-540-25970-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Business Process Modeling -- Consistency in Model Integration -- Using TimeNET to Evaluate Operational Planning Processes -- Business Objectives as Drivers for Process Improvement: Practices and Experiences at Thales Naval The Netherlands (TNNL) -- Modeling Medical E-services -- Formal Models in Business Process Management -- OPCATeam – Collaborative Business Process Modeling with OPM -- On the Semantics of EPCs: A Framework for Resolving the Vicious Circle -- Goal-Oriented Business Process Modeling with EPCs and Value-Focused Thinking -- Miscellaneous -- A Workflow-Oriented System Architecture for the Management of Container Transportation -- Business to Business Transaction Modeling and WWW Support -- Integration of Multi-attributed Negotiations within Business Processes -- Analysis and Verification of Business Processes -- Management of Knowledge Intensive Business Processes -- SMART: System Model Acquisition from Requirements Text -- Workload Balancing on Agents for Business Process Efficiency Based on Stochastic Model -- Process Mining -- Interactive Workflow Mining -- Supporting Usage-Centered Workflow Design: Why and How? -- Mining Social Networks: Uncovering Interaction Patterns in Business Processes -- Workflow Management -- Model-Driven Approach to Workflow Execution -- On Dealing with Structural Conflicts between Process Type and Instance Changes -- Cohesion and Coupling Metrics for Workflow Process Design. |
| Record Nr. | UNISA-996465432303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Business Process Management : Second International Conference, BPM 2004, Potsdam, Germany, June 17-18, 2004, Proceedings / / edited by Jörg Desel, Barbara Pernici, Mathias Weske
| Business Process Management : Second International Conference, BPM 2004, Potsdam, Germany, June 17-18, 2004, Proceedings / / edited by Jörg Desel, Barbara Pernici, Mathias Weske |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (X, 314 p.) |
| Disciplina | 658.054 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Production management
Application software Information storage and retrieval User interfaces (Computer systems) Computers and civilization Management information systems Computer science Operations Management Information Systems Applications (incl. Internet) Information Storage and Retrieval User Interfaces and Human Computer Interaction Computers and Society Management of Computing and Information Systems |
| ISBN | 3-540-25970-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Business Process Modeling -- Consistency in Model Integration -- Using TimeNET to Evaluate Operational Planning Processes -- Business Objectives as Drivers for Process Improvement: Practices and Experiences at Thales Naval The Netherlands (TNNL) -- Modeling Medical E-services -- Formal Models in Business Process Management -- OPCATeam – Collaborative Business Process Modeling with OPM -- On the Semantics of EPCs: A Framework for Resolving the Vicious Circle -- Goal-Oriented Business Process Modeling with EPCs and Value-Focused Thinking -- Miscellaneous -- A Workflow-Oriented System Architecture for the Management of Container Transportation -- Business to Business Transaction Modeling and WWW Support -- Integration of Multi-attributed Negotiations within Business Processes -- Analysis and Verification of Business Processes -- Management of Knowledge Intensive Business Processes -- SMART: System Model Acquisition from Requirements Text -- Workload Balancing on Agents for Business Process Efficiency Based on Stochastic Model -- Process Mining -- Interactive Workflow Mining -- Supporting Usage-Centered Workflow Design: Why and How? -- Mining Social Networks: Uncovering Interaction Patterns in Business Processes -- Workflow Management -- Model-Driven Approach to Workflow Execution -- On Dealing with Structural Conflicts between Process Type and Instance Changes -- Cohesion and Coupling Metrics for Workflow Process Design. |
| Record Nr. | UNINA-9910144152003321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Business Process Management [[electronic resource] ] : Models, Techniques, and Empirical Studies / / edited by Wil, van der Aalst, Jörg Desel, Andreas Oberweis
| Business Process Management [[electronic resource] ] : Models, Techniques, and Empirical Studies / / edited by Wil, van der Aalst, Jörg Desel, Andreas Oberweis |
| Edizione | [1st ed. 2000.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
| Descrizione fisica | 1 online resource (VIII, 396 p.) |
| Disciplina | 658.40352 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Information technology Business—Data processing Database management Application software User interfaces (Computer systems) Software Engineering IT in Business Database Management Information Systems Applications (incl. Internet) User Interfaces and Human Computer Interaction |
| ISBN | 3-540-45594-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Design of Business Processes -- Techniques for Modelling Workflows and their Support of Reuse -- Modeling Processes and Workflows by Business Rules -- Guidelines of Business Process Modeling -- A Knowledge-Based Approach for Designing Robust Business Processes -- The “Organized Activity” Foundation for Business Processes and Their Management -- Evaluation of Generic Process Design Patterns: An Experimental Study -- Management-Oriented Models of Business Processes -- Formalisms and Analysis -- Validation of Process Models by Construction of Process Nets -- Modeling, Simulation and Analysis of Business Processes -- Using Formal Analysis Techniques in Business Process Redesign -- Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques -- Compositional modeling and verification of workflow processes -- A Workflow Change is a Workflow -- Improving Flexibility of workflow Management Systems -- Inter-operability of Workflow Applications: Local Criteria for Global Soundness -- Object Oriented Petri Nets in Business Process Modeling -- Systems and Applications -- Information Gathering and Process Modeling in a Petri Net Based Approach -- Why Modellers Wreck Workflow Innovations -- The Effects of Workflow Systems on Organizations: A Qualitative Study -- On the Practical Relevance of an Integrated Workflow Management System - Results of an Empirical Study -- Configurable Business Objects for Building Evolving Enterprise Models and Applications -- Workflow Management between Formal Theory and Pragmatic Approaches -- Documentary Petri Nets: A Modeling Representation for Electronic Trade Procedures -- ARIS Architecture and Reference Models for Business Process Management. |
| Record Nr. | UNISA-996465853703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Business Process Management : Models, Techniques, and Empirical Studies / / edited by Wil, van der Aalst, Jörg Desel, Andreas Oberweis
| Business Process Management : Models, Techniques, and Empirical Studies / / edited by Wil, van der Aalst, Jörg Desel, Andreas Oberweis |
| Edizione | [1st ed. 2000.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
| Descrizione fisica | 1 online resource (VIII, 396 p.) |
| Disciplina | 658.40352 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Information technology Business—Data processing Database management Application software User interfaces (Computer systems) Software Engineering IT in Business Database Management Information Systems Applications (incl. Internet) User Interfaces and Human Computer Interaction |
| ISBN | 3-540-45594-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Design of Business Processes -- Techniques for Modelling Workflows and their Support of Reuse -- Modeling Processes and Workflows by Business Rules -- Guidelines of Business Process Modeling -- A Knowledge-Based Approach for Designing Robust Business Processes -- The “Organized Activity” Foundation for Business Processes and Their Management -- Evaluation of Generic Process Design Patterns: An Experimental Study -- Management-Oriented Models of Business Processes -- Formalisms and Analysis -- Validation of Process Models by Construction of Process Nets -- Modeling, Simulation and Analysis of Business Processes -- Using Formal Analysis Techniques in Business Process Redesign -- Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques -- Compositional modeling and verification of workflow processes -- A Workflow Change is a Workflow -- Improving Flexibility of workflow Management Systems -- Inter-operability of Workflow Applications: Local Criteria for Global Soundness -- Object Oriented Petri Nets in Business Process Modeling -- Systems and Applications -- Information Gathering and Process Modeling in a Petri Net Based Approach -- Why Modellers Wreck Workflow Innovations -- The Effects of Workflow Systems on Organizations: A Qualitative Study -- On the Practical Relevance of an Integrated Workflow Management System - Results of an Empirical Study -- Configurable Business Objects for Building Evolving Enterprise Models and Applications -- Workflow Management between Formal Theory and Pragmatic Approaches -- Documentary Petri Nets: A Modeling Representation for Electronic Trade Procedures -- ARIS Architecture and Reference Models for Business Process Management. |
| Record Nr. | UNINA-9910143633003321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Fifth International Conference on Application of Concurrency to System Design ACSD 2005 : proceedings : 7-9 June 2005, St. Malo, France
| Fifth International Conference on Application of Concurrency to System Design ACSD 2005 : proceedings : 7-9 June 2005, St. Malo, France |
| Pubbl/distr/stampa | Los Alamitos Calif, : IEEE Computer Society, 2005 |
| Soggetto topico |
System design
Parallel processing (Electronic computers) Computer Science Engineering & Applied Sciences |
| ISBN | 1-5386-0263-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996202413103316 |
| Los Alamitos Calif, : IEEE Computer Society, 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Fifth International Conference on Application of Concurrency to System Design ACSD 2005 : proceedings : 7-9 June 2005, St. Malo, France
| Fifth International Conference on Application of Concurrency to System Design ACSD 2005 : proceedings : 7-9 June 2005, St. Malo, France |
| Pubbl/distr/stampa | Los Alamitos Calif, : IEEE Computer Society, 2005 |
| Soggetto topico |
System design
Parallel processing (Electronic computers) Computer Science Engineering & Applied Sciences |
| ISBN | 1-5386-0263-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910146537603321 |
| Los Alamitos Calif, : IEEE Computer Society, 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Integration of Software Specification Techniques for Applications in Engineering [[electronic resource] ] : Priority Program SoftSpez of the German Research Foundation (DFG) Final Report / / edited by Hartmut Ehrig, Werner Damm, Jörg Desel, Martin Große-Rhode, Wolfgang Reif, Eckehard Schnieder, Engelbert Westkämper
| Integration of Software Specification Techniques for Applications in Engineering [[electronic resource] ] : Priority Program SoftSpez of the German Research Foundation (DFG) Final Report / / edited by Hartmut Ehrig, Werner Damm, Jörg Desel, Martin Große-Rhode, Wolfgang Reif, Eckehard Schnieder, Engelbert Westkämper |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (X, 630 p. 126 illus.) |
| Disciplina | 005.10943 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer logic Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs |
| ISBN |
1-280-30792-7
9786610307920 3-540-27863-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Integration of Software Specification Techniques for Applications in Engineering: Introduction and Overview of Results -- Integration of Software Specification Techniques for Applications in Engineering: Introduction and Overview of Results -- I: Reference Case Study Production Automation -- Basic Principles for Software Specification -- Challenges of Next Generation Manufacturing Systems -- Development of Hierarchical Broadcasting Software Architectures Using UML 2.0 -- An Engineer’s Workstation to Support Integrated Development of Flexible Production Control Systems -- A Formal Component Concept for the Specification of Industrial Control Systems -- II: Reference Case Study Traffic Control Systems -- Specification Methodology, Case Studies, and Experiments – An Introduction to the Subject Area of Traffic Control Systems -- Reference Case Study “Traffic Control Systems” for Comparison and Validation of Formal Specifications Using a Railway Model Demonstrator -- Precise Definition of the Single-Track Level Crossing in Radio-Based Operation in UML Notation and Specification of Safety Requirements -- Executable HybridUML and Its Application to Train Control Systems -- The Use of UML for Development of a Railway Interlocking System -- III: Petri Nets and Related Approaches in Engineering -- Process Description Languages and Methods: Introduction to the Chapter Petri Nets and Related Approaches in Engineering -- Specification and Formal Verification of Temporal Properties of Production Automation Systems -- STOP – Specification Technique of Operational Processes -- Specification and Validation of an Edge Router Discovery Protocol for Mobile Ad Hoc Networks -- A Guide to Modelling and Control with Modules of Signal Nets -- Conceptual Design of an Engineering Model for Product and Plant Automation -- IV: Charts -- to Subject Area “Charts” -- The Rhapsody Semantics of Statecharts (or, On the Executable Core of the UML) -- Interactive Verification of Statecharts -- Live Sequence Charts -- A Unifying Semantics for Sequential Function Charts -- V: Verification -- to Subject Area “Verification” -- “UML–ising” Formal Techniques -- Model Based Formal Verification of Distributed Production Control Systems -- Combining Formal Methods and Safety Analysis – The ForMoSA Approach -- Formal Verification of LSCs in the Development Process -- Verification of PLC Programs Given as Sequential Function Charts -- Modeling and Formal Verification of Production Automation Systems -- VI: Integration Modeling -- On Model Integration and Integration Modelling -- On the Integration of Modular Heterogeneous Specifications -- Semantical Integration of Object-Oriented Viewpoint Specification Techniques. |
| Record Nr. | UNISA-996465653003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Integration of Software Specification Techniques for Applications in Engineering : Priority Program SoftSpez of the German Research Foundation (DFG) Final Report / / edited by Hartmut Ehrig, Werner Damm, Jörg Desel, Martin Große-Rhode, Wolfgang Reif, Eckehard Schnieder, Engelbert Westkämper
| Integration of Software Specification Techniques for Applications in Engineering : Priority Program SoftSpez of the German Research Foundation (DFG) Final Report / / edited by Hartmut Ehrig, Werner Damm, Jörg Desel, Martin Große-Rhode, Wolfgang Reif, Eckehard Schnieder, Engelbert Westkämper |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (X, 630 p. 126 illus.) |
| Disciplina | 005.10943 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer logic Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs |
| ISBN |
1-280-30792-7
9786610307920 3-540-27863-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Integration of Software Specification Techniques for Applications in Engineering: Introduction and Overview of Results -- Integration of Software Specification Techniques for Applications in Engineering: Introduction and Overview of Results -- I: Reference Case Study Production Automation -- Basic Principles for Software Specification -- Challenges of Next Generation Manufacturing Systems -- Development of Hierarchical Broadcasting Software Architectures Using UML 2.0 -- An Engineer’s Workstation to Support Integrated Development of Flexible Production Control Systems -- A Formal Component Concept for the Specification of Industrial Control Systems -- II: Reference Case Study Traffic Control Systems -- Specification Methodology, Case Studies, and Experiments – An Introduction to the Subject Area of Traffic Control Systems -- Reference Case Study “Traffic Control Systems” for Comparison and Validation of Formal Specifications Using a Railway Model Demonstrator -- Precise Definition of the Single-Track Level Crossing in Radio-Based Operation in UML Notation and Specification of Safety Requirements -- Executable HybridUML and Its Application to Train Control Systems -- The Use of UML for Development of a Railway Interlocking System -- III: Petri Nets and Related Approaches in Engineering -- Process Description Languages and Methods: Introduction to the Chapter Petri Nets and Related Approaches in Engineering -- Specification and Formal Verification of Temporal Properties of Production Automation Systems -- STOP – Specification Technique of Operational Processes -- Specification and Validation of an Edge Router Discovery Protocol for Mobile Ad Hoc Networks -- A Guide to Modelling and Control with Modules of Signal Nets -- Conceptual Design of an Engineering Model for Product and Plant Automation -- IV: Charts -- to Subject Area “Charts” -- The Rhapsody Semantics of Statecharts (or, On the Executable Core of the UML) -- Interactive Verification of Statecharts -- Live Sequence Charts -- A Unifying Semantics for Sequential Function Charts -- V: Verification -- to Subject Area “Verification” -- “UML–ising” Formal Techniques -- Model Based Formal Verification of Distributed Production Control Systems -- Combining Formal Methods and Safety Analysis – The ForMoSA Approach -- Formal Verification of LSCs in the Development Process -- Verification of PLC Programs Given as Sequential Function Charts -- Modeling and Formal Verification of Production Automation Systems -- VI: Integration Modeling -- On Model Integration and Integration Modelling -- On the Integration of Modular Heterogeneous Specifications -- Semantical Integration of Object-Oriented Viewpoint Specification Techniques. |
| Record Nr. | UNINA-9910144347603321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
