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.
Architectural Design : Conception and Specification of Interactive Systems / / by Chris A. Vissers, Luís Ferreira Pires, Dick A.C. Quartel, Marten van Sinderen
| Architectural Design : Conception and Specification of Interactive Systems / / by Chris A. Vissers, Luís Ferreira Pires, Dick A.C. Quartel, Marten van Sinderen |
| Autore | Vissers Chris A |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XXII, 388 p. 276 illus., 215 illus. in color.) |
| Disciplina | 658.4038011 |
| Soggetto topico |
Software engineering
Management information systems Computer communication systems Software Engineering Software Management Computer Communication Networks |
| ISBN | 3-319-43298-2 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. Systems and Systems Design -- 2. Design Models and Design Languages -- 3. Basic Design Concepts -- 4. Behaviour Modelling with Casually Related Actions -- 5. Behaviour Structuring -- 6. Interaction Refinement and Abstraction -- 7. Interaction Systems -- 8. Service Design -- 9. Service Elements -- 10. Protocol Design -- 11. Protocol Elements -- 12. Reference Models and Standard Interaction Systems. |
| Record Nr. | UNINA-9910254984403321 |
Vissers Chris A
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Model-Driven Engineering and Software Development [[electronic resource] ] : 7th International Conference, MODELSWARD 2019, Prague, Czech Republic, February 20–22, 2019, Revised Selected Papers / / edited by Slimane Hammoudi, Luís Ferreira Pires, Bran Selić
| Model-Driven Engineering and Software Development [[electronic resource] ] : 7th International Conference, MODELSWARD 2019, Prague, Czech Republic, February 20–22, 2019, Revised Selected Papers / / edited by Slimane Hammoudi, Luís Ferreira Pires, Bran Selić |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (XIV, 399 p. 210 illus., 109 illus. in color.) |
| Disciplina | 005.1 |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Software engineering
Microprogramming Computer organization Computers Software Engineering Control Structures and Microprogramming Computer Systems Organization and Communication Networks Theory of Computation |
| ISBN | 3-030-37873-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Integrating UML and ALF: An Approach to Overcome the Code Generation Dilemma in Model-driven Software Engineering -- A Model-based Combination Language for Scheduling Verification -- Resolving The Asymmetry of On-Exit versus On-Entry in Executable Models of Behaviour -- A Role Modeling based Approach for Cyber Threat Analysis -- Static Data-Flow Analysis of UML/SysML Functional Views for Signal and Image Processing Applications -- Umple-TL: A Model-oriented, Dependency-free Text Emission Tool -- Model Driven Data Management in Healthcare -- The Art of Bootstrapping -- A Framework for Multi-level Modeling of Analog/Mixed Signal Embedded Systems -- Towards Multi-editor Support for Domain-Specific Languages Utilizing the Language Server Protocol -- Executing Scenario-Based Specification with Dynamic Generation of Rich Events -- Evaluating the Multi-Variant Model Transformation of UML Class Diagrams to Java Models -- Modeling and Analysis of Partitions on Functional Architectures using EAST-ADL -- A Programming and Verification Framework for Flexible and Unrestricted Program Evolution -- Classifying Approaches for Constructing Single Underlying Models -- TRILATERAL: A Model-based Approach for Industrial CPS – Monitoring and Control. |
| Record Nr. | UNISA-996465367303316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Model-Driven Engineering and Software Development : 7th International Conference, MODELSWARD 2019, Prague, Czech Republic, February 20–22, 2019, Revised Selected Papers / / edited by Slimane Hammoudi, Luís Ferreira Pires, Bran Selić
| Model-Driven Engineering and Software Development : 7th International Conference, MODELSWARD 2019, Prague, Czech Republic, February 20–22, 2019, Revised Selected Papers / / edited by Slimane Hammoudi, Luís Ferreira Pires, Bran Selić |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (XIV, 399 p. 210 illus., 109 illus. in color.) |
| Disciplina |
005.1
005.12 |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Software engineering
Microprogramming Computer organization Computers Software Engineering Control Structures and Microprogramming Computer Systems Organization and Communication Networks Theory of Computation |
| ISBN | 3-030-37873-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Integrating UML and ALF: An Approach to Overcome the Code Generation Dilemma in Model-driven Software Engineering -- A Model-based Combination Language for Scheduling Verification -- Resolving The Asymmetry of On-Exit versus On-Entry in Executable Models of Behaviour -- A Role Modeling based Approach for Cyber Threat Analysis -- Static Data-Flow Analysis of UML/SysML Functional Views for Signal and Image Processing Applications -- Umple-TL: A Model-oriented, Dependency-free Text Emission Tool -- Model Driven Data Management in Healthcare -- The Art of Bootstrapping -- A Framework for Multi-level Modeling of Analog/Mixed Signal Embedded Systems -- Towards Multi-editor Support for Domain-Specific Languages Utilizing the Language Server Protocol -- Executing Scenario-Based Specification with Dynamic Generation of Rich Events -- Evaluating the Multi-Variant Model Transformation of UML Class Diagrams to Java Models -- Modeling and Analysis of Partitions on Functional Architectures using EAST-ADL -- A Programming and Verification Framework for Flexible and Unrestricted Program Evolution -- Classifying Approaches for Constructing Single Underlying Models -- TRILATERAL: A Model-based Approach for Industrial CPS – Monitoring and Control. |
| Record Nr. | UNINA-9910373923403321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Model-Driven Engineering and Software Development : 6th International Conference, MODELSWARD 2018, Funchal, Madeira, Portugal, January 22-24, 2018, Revised Selected Papers / / edited by Slimane Hammoudi, Luís Ferreira Pires, Bran Selic
| Model-Driven Engineering and Software Development : 6th International Conference, MODELSWARD 2018, Funchal, Madeira, Portugal, January 22-24, 2018, Revised Selected Papers / / edited by Slimane Hammoudi, Luís Ferreira Pires, Bran Selic |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XII, 496 p. 520 illus., 173 illus. in color.) |
| Disciplina |
005.12
005.1 |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Software engineering
Computers Computer organization Software Engineering Computing Milieux Computer Systems Organization and Communication Networks Theory of Computation |
| ISBN | 3-030-11030-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Executable Modeling for Reactive Programming -- A Model-Driven Method for Fast Building ConsistentWeb Services from OpenAPI-Compatible Models -- Reuse and Customization for Code Generators: Synergy by Transformations and Templates -- Model-based Programming for Multi-Processor Platforms with TTool/DIPLODOCUS and OMC -- Evaluating Multi-Variant Model-To-Text Transformations Realized by Generic Aspects -- Definition and Visualization of Virtual Meta-model Extensions with a Facet Framework -- Automated Recommendation of Related Model Elements for Domain Models -- An Integrated Framework to Develop Domain-Specific Languages: Extended Case Study -- Technology Enhanced Support for Learning Interactive Software Systems -- Interactive Measures for Mining Understandable State Machines from Embedded Software: Experiments and Case Studies -- Adaptation and Implementation of the ISO42010 Standard to Software Design and Modeling Tools -- Generation and Validation of Frame Conditions in Formal Models -- Analysis and Evaluation of Conformance Preserving Graph Transformation Rules -- Generation of Inductive Types from Ecore Metamodels -- Towards Automated Defect Analysis using Execution Traces of Scenario-based Models -- A Textual Notation for Modeling and Generating Code for Composite Structure -- Application of a Process-oriented Build Tool for Flight Controller Development along a DO-178C/DO-331 Process -- A Methodology for Generating Tests for Evaluating User-centric Performance of Mobile Streaming Applications -- Combining Model-Driven Architecture and Software Product Line Engineering: Reuse of Platform-specific Assets -- A Test Specification Language for Information Systems based on Data Entities, Use Cases and State Machines -- Synchronizing Heuristics for Weakly Connected Automata with Various Topologies. |
| Record Nr. | UNINA-9910337569903321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Model-Driven Engineering and Software Development : 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papers / / edited by Luís Ferreira Pires, Slimane Hammoudi, Bran Selic
| Model-Driven Engineering and Software Development : 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papers / / edited by Luís Ferreira Pires, Slimane Hammoudi, Bran Selic |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XII, 507 p. 181 illus.) |
| Disciplina | 005.1 |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Software engineering
Operating systems (Computers) Programming languages (Electronic computers) Logic design Computer system failures Architecture, Computer Software Engineering Operating Systems Programming Languages, Compilers, Interpreters Logic Design System Performance and Evaluation Computer System Implementation |
| ISBN | 3-319-94764-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Sommelier: A Tool for Validating TOSCA Application TopologiesSommelier: A Tool for Validating TOSCA Application Topologies -- Evaluation of XIS-Reverse, a Model-Driven Reverse Engineering Approach for Legacy Information Systems -- Formal and Virtual Multi-level Design Space Exploration -- Automated Synthesis of a Real-time Scheduling for Cyber-physical Multi-core Systems -- A Model based Approach for Complex Dynamic Decision-making -- Deterministic High-level Executable Models Allowing Efficient Runtime Verification -- A Consistency-preserving Editing Model for Dynamic Filtered Engineering of Model-driven Product Lines -- Model-driven STEP Application Protocol Extensions Combined with Feature Modeling Considering Geometrical Information -- A Model Driven Engineering Approach for Heterogeneous Model Composition -- Generative versus Interpretive Model-Driven Development: Moving Past `It Depends' -- Applying Integrated Domain-Specific Modeling for Multi-concerns Development of Complex Systems -- A Domain-Specific Modeling Approach for Testing Environment Emulation -- A Framework for UML-based Component-based Design and Code Generation for Reactive Systems -- Automatic UI Generation for Aggregated Linked Data Applications by using Sharable Application Ontologies -- Surveying Co-Evolution in Modeling Ecosystems -- Functional Decomposition for Software Architecture Evolution -- Model-Driven Approach to Handle Evolutions of OLAP Requirements and Data Source Model -- Complex Event Processing for User-Centric Management of IoT Systems -- Efficient Distributed Execution of Multi-component Scenario-Based Models -- Modelling the World of a Smart Room for Robotic Co-working. |
| Record Nr. | UNINA-9910299308903321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Model-Driven Engineering and Software Development : 4th International Conference, MODELSWARD 2016, Rome, Italy, February 19-21, 2016, Revised Selected Papers / / edited by Slimane Hammoudi, Luís Ferreira Pires, Bran Selic, Philippe Desfray
| Model-Driven Engineering and Software Development : 4th International Conference, MODELSWARD 2016, Rome, Italy, February 19-21, 2016, Revised Selected Papers / / edited by Slimane Hammoudi, Luís Ferreira Pires, Bran Selic, Philippe Desfray |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XIV, 355 p. 131 illus.) |
| Disciplina | 004 |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Software engineering
Computer simulation Programming languages (Electronic computers) Artificial intelligence Software Engineering Simulation and Modeling Programming Languages, Compilers, Interpreters Artificial Intelligence |
| ISBN | 3-319-66302-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Modeling languages, tools and architectures -- Methodologies, processes and platforms -- Applications and software development. |
| Record Nr. | UNINA-9910254850103321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Model-Driven Engineering and Software Development : Second International Conference, MODELSWARD 2014, Lisbon, Portugal, January 7-9, 2014, Revised Selected Papers / / edited by Slimane Hammoudi, Luís Ferreira Pires, Joaquim Filipe, Rui César das Neves
| Model-Driven Engineering and Software Development : Second International Conference, MODELSWARD 2014, Lisbon, Portugal, January 7-9, 2014, Revised Selected Papers / / edited by Slimane Hammoudi, Luís Ferreira Pires, Joaquim Filipe, Rui César das Neves |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XIV, 197 p. 77 illus. in color.) |
| Disciplina | 005.12 |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Software engineering
Computer simulation Software Engineering Simulation and Modeling |
| ISBN | 3-319-25156-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910299257003321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Model-Driven Engineering and Software Development : Third International Conference, MODELSWARD 2015, Angers, France, February 9-11, 2015, Revised Selected Papers / / edited by Philippe Desfray, Joaquim Filipe, Slimane Hammoudi, Luís Ferreira Pires
| Model-Driven Engineering and Software Development : Third International Conference, MODELSWARD 2015, Angers, France, February 9-11, 2015, Revised Selected Papers / / edited by Philippe Desfray, Joaquim Filipe, Slimane Hammoudi, Luís Ferreira Pires |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XV, 438 p. 237 illus. in color.) |
| Disciplina | 005.1 |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Software engineering
Computer simulation Software Engineering Simulation and Modeling |
| ISBN | 3-319-27869-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Preface -- Organization -- Contents -- Invited Paper -- Safety Case Development with SBVR-Based Controlled Language -- 1 Introduction -- 2 Background -- 2.1 Goal Structuring Notation -- 2.2 Semantics of Business Vocabulary and Rules -- 3 Methodology -- 3.1 Conceptual Phase: From Conceptual Model to SBVR Model -- 3.2 Vocabulary Phase: Creating Vocabulary with an SBVR Editor -- 3.3 Modeling Phase: Construct Safety Cases with Vocabulary -- 4 Case Study -- 5 Related Work -- 6 Conclusions and Future Work -- References -- Modeling Languages, Tools and Architectures -- Realizing a Conceptual Framework to Integrate Model-Driven Engineering, Software Product Line Engineering, and Software Configuration Management -- 1 Introduction -- 2 The Conceptual Framework -- 2.1 Overview -- 2.2 Version Space -- 2.3 Product Space -- 3 Model-Driven Realization -- 3.1 Metamodels for the Repository -- 3.2 Workspace and Local Synchronization -- 3.3 Realization of Check-Out and Commit -- 4 Optimization -- 4.1 Hierarchical Evaluation of Visibilities -- 4.2 Visibility Forests -- 4.3 Substitution of Ambition Expressions -- 5 Related Work -- 6 Conclusion -- References -- Composition of Heterogeneous Modeling Languages -- 1 Introduction -- 2 Motivation -- 2.1 Software Architecture -- 2.2 Domain and Data Modeling -- 3 Language Integration Concepts -- 3.1 Language Aggregation -- 3.2 Language Embedding -- 3.3 Language Inheritance -- 3.4 Context Conditions -- 4 Language Integration Framework -- 4.1 Symbol Table Concepts -- 4.2 Symbol Table Components -- 4.3 Configuration of Language Compositions -- 5 Related Work -- 6 Conclusion -- References -- A Model-driven Approach for the Generation of Customizable Model Migrations -- 1 Introduction -- 2 Motivation -- 3 Formal Framework for Adaptable Model Migrations -- 3.1 Migration Specification Foundations.
3.2 Migration Specification Implementation -- 4 Experiment -- 5 Current and Related Works -- 6 Conclusion and Future Works -- References -- Parallel Application Development Using Architecture View Driven Model Transformations -- Abstract -- 1 Introduction -- 2 Preliminaries -- 2.1 Modeling Parallel Applications -- 2.2 Architecture Viewpoints for Modeling Parallel Applications -- 3 Architecture View Driven Transformations -- 3.1 Algorithm Decomposition Generator -- 3.2 Component Generator -- 3.3 Deployment Generator -- 3.4 Logical Configuration Generator -- 4 Implementation and Toolset -- 5 Related Work -- 6 Conclusion -- References -- Runtime Translation of Model-Level Queries to Persistence-Level -- 1 Introduction -- 2 MQT: Overview -- 2.1 Data-schema -- 2.2 Conceptual Model -- 3 MQT: EOL to SQL Translation -- 3.1 Query Model Elements -- 3.2 Element Filtering -- 3.3 Query Results (EDBObjectList) -- 3.4 Query Results (EDBObject) -- 4 Empirical Study -- 4.1 Results -- 5 Related Work -- 6 Conclusions and Further Work -- References -- Integration of Handwritten and Generated Object-Oriented Code -- 1 Introduction -- 2 Evaluation Criteria -- 3 Integration Mechanisms Based on Language Concepts -- 3.1 Generation Gap -- 3.2 Extended Generation Gap -- 3.3 Delegation -- 3.4 Include Mechanism -- 3.5 Partial Classes -- 3.6 Aspect-Oriented Programming -- 4 General Integration Mechanisms -- 4.1 PartMerger Mechanism -- 4.2 Protected Regions -- 5 Discussion -- 6 Related Work -- 7 Extend Generated Code with Action Languages -- 8 Conclusion -- References -- A Framework for Metamodel Composition and Adaptation with Conformance-Preserving Model Migration -- 1 Introduction -- 2 Motivating Example -- 3 Metamodel Adaptations -- 3.1 The Analysis Environment -- 3.2 The Adaptation Rules -- 3.3 Example Revisited -- 4 Conformance -- 4.1 Example Revisited -- 5 Related Work. 6 Conclusion and Future Work -- References -- A Textual Domain-Specific Language Based on the UML Testing Profile -- 1 Introduction -- 2 Related Work -- 3 Test Specification Language -- Ubtl -- 3.1 General -- 3.2 Applications -- 3.3 Software Architecture -- 3.4 Language Elements -- 4 Use Case -- 4.1 Context of the Use Case -- 4.2 System Under Test -- 4.3 Specifying Test Case -- 4.4 Transformation to Matlab Code -- 4.5 Resulting Matlab Script -- 5 Conclusion -- References -- Metamodel and Model Composition by Integration of Operational Semantics -- 1 Introduction -- 2 Definitions -- 3 Example -- 4 The Framework -- 4.1 Specification of Unification Model -- 4.2 Definition of Code Generators -- 4.3 Code Generation -- 4.4 Specification of Linking Model -- 4.5 Execution of Models -- 5 Evaluation -- 6 Related Work -- 7 Conclusion and Future Work -- References -- Computability Assurance for UML Template Binding -- Abstract -- 1 Introduction -- 2 An Introduction to UML Templates -- 3 Some Limitations of UML Templates -- 4 Functional Conformance -- 4.1 Type Conformance -- 4.2 Multiplicity Conformance -- 4.3 Contents Conformance -- 4.4 Staticity Conformance -- 4.5 Visibility Requirement -- 4.6 Computability Assurance -- 5 Related Work -- 6 Conclusions and Future Work -- 1 Appendix: OCL Formulation of Functional Conformance -- References -- Challenging a Transformation-Wise Architecture Framework in a Comparative Case Study -- 1 Introduction -- 2 Related Work and Motivation -- 3 Design Method in Short -- 3.1 Requirement Listing -- 3.2 Architecture Description and Transformations -- 3.3 A Transformational Approach -- 4 Case Study Protocol -- 4.1 Participants' Profiles -- 4.2 Initial Phase to Build Comparable Groups -- 4.3 Case Study Startup -- 4.4 Case Description -- 4.5 Evaluation Method -- 5 Case Study Results. 5.1 Functional Correctness and Quality of Deliverables -- 5.2 Paper-Based Survey -- 6 Discussion -- 6.1 Evaluation of the Approach -- 6.2 Threats to Validity -- 7 Conclusions -- References -- Meta Model Extensibility of BPMN: Current Limitations and Proposed Improvements -- 1 Introduction -- 2 Fundamentals -- 2.1 Extensibility of Conceptual Modeling Languages -- 2.2 Excursus: Extensibility of Programming Languages -- 3 BPMN Extensibility -- 3.1 Implicit Capabilities -- 3.2 Explicit Capabilities -- 3.3 Problematic Aspects of Extending the BPMN Meta Model -- 4 Profiling -- 4.1 Modus Operandi -- 4.2 Modeling Concepts -- 4.3 Application and Example -- 5 Under Specification (Hooking) -- 5.1 Modus Operandi -- 5.2 Modeling Concepts -- 5.3 Application and Example -- 6 Annotation (Plug-ins and Add-Ons) -- 6.1 Modus Operandi of Plug-Ins -- 6.2 Modus Operandi of Add-Ons -- 6.3 Modeling Concepts -- 6.4 Application and Example for Plug-Ins -- 6.5 Application and Example for Add-Ons -- 7 Comparison and Conclusion -- 7.1 Comparison of Extension Approaches -- 7.2 Conclusion and Further Research -- References -- An Approach to Define and Apply Collaboration Process Patterns for Software Development -- Abstract -- 1 Introduction -- 2 Modelling Collaborative Processes -- 2.1 Software Process Modelling -- 2.2 Collaboration in Software Process Modeling -- 2.3 Workflow Patterns -- 3 An Approach to Collaboration Patterns -- 3.1 Introduction -- 3.2 Pattern "Duplicate in Sequence with Multiple Actors" (DSMA) -- 3.3 Pattern "Duplicate in Parallel with Multiple Actors and Merge" (DPMAM) -- 3.4 Conclusion -- 4 Application of Collaboration Patterns -- 5 Realization and Case Study -- 5.1 Case Study -- 5.2 Supporting Tool Prototype -- 6 Conclusion -- References -- An Ontology-Based Process Editor for Generating Model Mapping in Tool Integration -- Abstract -- 1 Introduction. 2 Illustrating Example -- 3 iSPEM -- A Multilevels Process Modeling Language -- 3.1 SPEM 2.0 -- 3.2 Multi-level Process Elements -- 4 Combining Process Editor and Ontology -- 4.1 Reusable Process Ontology -- 4.2 Generation of Transformation Rules for a Tool Integration Point -- 5 iSPEM Process Editor -- 5.1 Implementation of iSPEM System -- 5.2 Case-Study -- 6 Conclusions -- References -- Using Model Driven Engineering to Support Multi-paradigms Security Analysis -- Abstract -- 1 Introduction -- 2 Background -- 2.1 EBIOS Method -- 2.2 Attack Tree Quantitative Method -- 2.3 Motivation -- 3 Model Driven Approach -- 3.1 Process Description -- 3.2 Model-Based Security Framework Description -- 4 Cyber-Power System Case Study -- 5 Related Work -- 6 Conclusion, Perspectives -- References -- Designing Safe and Secure Embedded and Cyber-Physical Systems with SysML-Sec -- 1 Introduction -- 2 Impact of Attacks -- 3 The Fundamental Role of the System Architecture for Security -- 3.1 Software/Hardware Partitioning -- 3.2 Model-Driven Engineering -- 4 Specifying the Security Requirements -- 4.1 Security Goals and Threats -- 4.2 SysML-Sec: A SysML-Based Model-Oriented Approach -- 4.3 Methodology -- 4.4 Toolkit -- 5 Safety- and Security-Oriented Validations -- 5.1 Safety Properties -- 5.2 Security Properties -- 5.3 Safety and Security, Safety vs. Security -- 6 Example: Safety and Security Analysis of a Communicating Vehicle -- 6.1 Security Requirements -- 6.2 Threats and Attacks -- 6.3 Hardware/Software Partitioning -- 7 Conclusion and Future Work -- References -- Methodologies, Processes and Platforms -- Architecture Optimization with SysML Modeling: A Case Study Using Variability -- Abstract -- 1 Introduction -- 2 Methodology -- 2.1 Design Flow with MBSE -- 2.2 Our Proposal -- 3 SysML Modeling for Optimization -- 3.1 Case Study -- 3.2 Requirements Capture. 3.3 MDO Context and Objective Functions Definition. |
| Record Nr. | UNINA-9910298964903321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||