System analysis and modeling : about models : 6th international workshop, SAM 2010, Oslo, Norway, October 4-5, 2010 : revised selected papers / Frank Alexander Kraemer, Peter Herrmann (eds.)
Machine generated contents note: SDL Modules -- Concepts and Tool Support -- Developer-Friendly Approach for the Validation of Dynamic Compositions / Philipp Becker / Marc Krämer -- From Flow-Global Choreography to Component Types / Cyril Carrez / Jacqueline Floch -- Integration of FlexRay into the SDL-Model-Driven Development Approach / Rolv Bræk / Surya Bahadur Kathayat -- Design and Development of a CPU Scheduler Simulator for Educational Purposes Using SDL / Tobias Braun / Matthias Wiebel / Reinhard Gotzhein -- UML-Based Specification and Generation of Executable Web Services / Manuel Rodriguez-Cayetano -- SDL-UML Profile Revisited / Jens Grabowski / Wafi Dahman -- Model Driven Approach for AMF Configuration Generation / Alexander Kraas -- SDL Code Generation for Network Simulators / Ferhat Khendek / Pietro Colombo / Abdetwahab Hamou-Lhadj / Pejman Salehi -- Case Study on API Generation / Mihal Brumbulli / Joachim Fischer -- UOST: UML/OCL Aggressive Slicing Technique for Efficient Verification of Models / Uwe Jugel / André Preußner -- Extensible and Automated Model-Evaluations with INProVE / Uffe Kock Wiil / Asadullah Shaikh / Nasrullah Memon -- Requirements and Solutions for Timing Analysis of Automotive Systems / Thomas Kuhn / Sören Kemmann / Mario Trapp -- Analysing the Cognitive Effectiveness of the UCM Visual Notation / Arnaud Albinet / Sébastien Gérard / Saoussen Anssi / François Terrier -- Towards a Taxonomy of Syntactic and Semantic Matching Mechanisms for Aspect-Oriented Modeling / Daniel Amyot / Nicolas Genon / Patrick Heymans
Summary
This book constitutes the throughly refereed post-proceedings of the 6th International Workshop on Systems Analysis and Modeling, SAM 2010, held in collocation with MODELS 2010 in Oslo, Norway in October 2010. The 15 revised full papers presented went through two rounds of reviewing and improvement. The papers are organized in topical sections on modularity, composition, choreography, application of SDL and UML; SDL language profiles; code generation and model transformations; verification and analysis; and user requirements notification
Analysis
systemen
systems
informatiesystemen
information systems
internet
computerwetenschappen
computer sciences
computernetwerken
computer networks
software engineering
programmeertalen
programming languages
Information and Communication Technology (General)