A Classification Framework for Component Models (seminar abstract)
Date: Friday 18th July 2008
Speaker: Prof. Ivica Crnkovic
The essence of component-based software engineering is embodied in component models. Component models specify the properties of components and mechanism of component compositions. In a rapid growth, a plethora of different component models has been developed, using different technologies, having different aims, and using different principles. This has resulted in a number of models and technologies which have some similarities, but also principal differences, and in many cases unclear concepts.
Component-based development has not succeeded in providing standard principles, as for example object-oriented development. In order to increase the understanding of the concepts, and to easier differentiate component models, this seminar provides a Component Model Classification Framework which identifies basic principles of component models. Further the paper classifies a certain number of component models using this framework.
Speaker bio
Ivica Crnkovic is a professor of industrial software engineering at Mälardalen University where he is the administrative leader of the software engineering division and the scientific leader of the industrial software engineering research. His research interests include component-based software engineering, software architecture, software configuration management, software development environments and tools, as well as software engineering in general.
Professor Crnkovic is the author of more than 100 refereed articles and papers on software engineering topics and a co-author and co-editor of two books: “Building reliable component-based Systems” and “Implementing and integrating Product Data Management and Software Configuration Management”. He has co-organized several conferences and workshops and related to software engineering (such as CBSE symposium, ESEC/FSE conference, Euromicro SEAA conference), and participated in Program Committees of software configuration management symposia and workshops. His teaching activities cover several courses in the area of Software
Engineering undergraduate and graduate courses.
— By Premek Brada on 15 èervenec 2008, 12:04
Seminars
Members of the DSS group will meet regularly every second wednesday at 15:00 in the UL408. The purpose of these meetings is to improve cooperation among the group members and also to share knowledge acquired in individual projects. Every meeting, there will be a presentation by one group member. So far the following presentations are scheduled:
Planned seminars
Older seminars
-
2011-05-16:
- Evaluation and Determination of Integration Orders in Component-based Embedded Systems by Michael Steindl
- FOAM: A Lightweight Method for Verification of Use-Cases (D3S/MFF) by Viliam Šimko
- 2012-04-18: SimCo - Creation of Components [PPTX] by Richard Lipka
- 2012-01-23: Certifiable Chip Design (DO-254) and Verification of Time-Triggered Ethernet End System and Switch by Petr Grillinger
- 2012-01-16: Model-based Design of Physical systems [PDF] by Julius Hudec
- 2011-11-28: The Palladio Component Model (PCM) for Performance and Reliability Prediction of Component-based Software Architectures [PPT] by Franze Brosche (FZI Karlsruhe)
- 2011-11-21: Language-Neutral AOP [PDF] by Jan Tichava
-
2011-11-14:
- Component-based Simulation Framework for Tesing of Software Components [PPT] by Tomáš Potužák
- Testing of Component-based Application [PPTX] by Richard Lipka
- 2011-04-27: Procasor toolset (D3S/MFF) by Viliam Šimko
- 2011-04-21: EFP Registries and Their Implementation [PDF] by Kamil Ježek
- 2011-04-04: An Approach to Science Research at Universitat Jaume I [PPTX] by Vicente R. Tomás López
- 2011-03-21: ENT: A Generic Meta-Model for the Description of Component-Based Applications [PPTX] by Jaroslav Šnajberk
- 2011-03-07: Scenario-based Methodology for Comparison of the Software Traffic Control Agents [PPTX] by Richard Lipka
- 2011-02-21: How to improve precision of steel strip speed measurement [PDF] by Ivan Puchr
-
2011-01-31:
- Úložiště komponent podporující kontroly kompatibility (intro) [PDF] by Přemysl Brada
- Úložiště komponent podporující kontroly kompatibility [PDF] by Jiří Kučera
- 2010-11-22: Generovaný C kód s dokázanými vlastnostmi definovanými v lineární temporální logice [PDF] by Marek Paška
- 2010-11-22: Model-Based Integration Testing [PPT] by Jaroslav Šnajberk, Tomáš Potužák, Richard Lipka
- 2010-11-22: The Future of the KIV/VSP Subject Discussion by Stanislav Racek + everyone
- 2010-10-25: Model-Based Integration Testing [PPTX] [PDF] by Michael Steindl
- 2010-09-20: Implementation of a Data Layer for Visualization of Component-Based Applications [PPTX] by Jaroslav Šnajberk
- 2010-06-01: Intorduction to SpringDM [PPTX] by Jaroslav Šnajberk
-
2009-12-07:
- SOFA 2 Component Model [ODP] by Tomáš Bureš
- Automated Verification of Software [PPT] by Ondřej Šerý
- 2009-11-03: Rehearsals for Doctoral Thesis Defense by Jana Hájková and Tomáš Potužák
- 2009-10-05: KIV & Kerio Cooperation Meeting by Jan Ježek
-
2009-06-25:
- KIVFS/KIVDFS [PDF] by Luboš Matějka
- KIVFS: Replikace a synchronizace [PDF] by Michal Junák
- KIVFS: Zabezpečení, šifrování a ověření indentity [PDF] by Marek Pivnička
- KIVFS: Úložiště dat [PDF] by Radek Strejc
- KIVFS: Windows klient [PDF] by Václav Steiner
-
2009-06-01:
- What are components, anyway? [PDF] by Jaroslav Bauml
- Are they really black box? [PDF] by Přemek Brada
- How much is MVE a component model? [PDF] by Kamil Ježek
- 2009-05-13: Generative Programming with Support for Formal Verification [PDF] by Marek Paška
- 2009-04-22: System for Comparison of Traffic Control Agents' Performance [PPT] by Richard Lipka
- 2009-04-08: Methods for Laser Burning Data Preprocessing: Parameterization of Pulses [PPT] by Jana Hájková
-
2008-12-08:
- Luminis visit report [PDF] by Jaroslav Bauml
- Interpersonal Trust Model [PPT] by Arnoštka Netrvalová
- 2008-11-24: Generative Programming for Embedded Devices [PDF] by Marek Paška
- 2008-11-10: Methods for Reduction of Inter-Process Communication in Distributed Simulation of Road Traffic [PPT] by Tomáš Potužák
- 2008-10-27: Comparison of Different Traffic Control Methods [PDF] by Richard Lipka
- 2008-10-13: Robustness in Real-Time Systems by Václav Mikolášek
- 2008-07-18 (Friday) 13:00: A Classification Framework for Component Models by Ivica Crnkovic, Mälardalen University, Sweden
- 2008-05-26: Rehearsals for Doctoral Thesis Defense by Tomáš Koutný
-
2008-05-12: Rehearsal for SVK by master degree students:
- Smart Active Node [PDF] by Michal Rejda
- Checking of the Component Substitutability in OSGi Platform [PDF] by Jaroslav Bauml
-
2008-04-28:
- Robustness in Real-Time Systems [PDF] by Václav Mikolášek
- SOFA 2 Component Model [PDF] by Petr Hnětynka - DSRG MFF UK
- Modelling and Verification of the Component Behaviour [PDF] by Pavel Parízek - DSRG MFF UK
- 2008-04-14: Experiences from the UKSim 2008 Conference [PPT] by Richard Lipka and Tomáš Potužák
- 2008-03-31: Component-Based Simulation Frameworks [PDF] by Petr Zelenka
- 2008-03-17: Communication Protocol for Distributed Traffic Simulation [PPT] by Tomáš Potužák
- 2008-03-03: Human Trust Modeling and Simulation [PPT] by Arnoštka Netrvalová
- 2008-02-19: Load Redistribution in Heterogeneous Environment [PDF] by Tomáš Koutný
- 2008-02-04: OSGi, COSi and Component Verification [PDF] by Přemek Brada
- 2007-12-17: Laser Simulation [PPT] by Jana Hájková
- 2007-12-03: Network Anomalies Detection [PDF] by Petr Dvořák
- 2007-11-19: Consistency Verification of Component-Based Applications [PPT] by Přemek Brada
- 2007-11-05: JUTS - Java Urban Traffic Simulator [PPT] by Richard Lipka
- 2007-10-22: Distributed Simulation - some experience [PDF] by Petr Zelenka
- 2007-10-08: Ruby - Philosophy and Features [PDF] by Marek Paška
- 2006-05-22: ENT Metamodel Implementation & Applications [PPT] by Lukáš Valenta
- 2006-04-24: Presentation of Master Theses (all supervised by Martin Šimek)
- Databáze pro MAS by Peter Krejzl
- Bezpečná komunikace v agentních systémech by Radim Bártů
- Integrace agent a Web Services by Jan Krňoul
- 2006-04-19: Experiences from Opera Software by Robert Kačírek
- 2006-03-27: Introductory seminar by all DSS members
- 2005-11-28: Mobile Grids [PDF] by Ladislav Pešička
- 2005-11-28: Variable Resolution Modeling in Agent-Based Simulation [PPT] by Jan Klír
- 2005-10-31: On Test Coverage [PDF] by Jiří Patera
- 2005-10-17: Architecture of the Network for Model-Based Development of Java Distributed Applications for Embedded Devices [PPT] by Cesar Allain
- 2005-10-03: Introductory seminar by All members including the new members
- 2005-05-16: Modelování EJB komponent [PPT] by Lukáš Valenta
- 2005-05-02: Linuxové clustery [PDF] by Luboš Matějka
- 2005-04-18: Performance of Load-Balancing Method in the Environment of Active Networks [PDF] by Tomáš Koutný
- 2005-04-04: Computational Grids and Grids Projects [PPT] by Ladislav Pešička
- 2005-03-21: Using a Simple Rendez-Vous Mechanism in Java [PPT] by Joao Duarte
- 2005-03-07: File Sharing in P2P Networks [PDF] by Jiří Kajaba
- 2004-12-13: Evaluation of DSS Research and Academic Activities in 2004 [JPG] by all DSS members :-) (Photo by Atreides)
- 2004-11-29: Progression in the JUTS Project [PPT] by David Hartman
- 2004-11-15: Testing Multithreaded Programs by Lukáš Petrlík
- 2004-11-01: Inside Active Network Node [PDF] by Tomáš Koutný
- 2004-10-22: A joint seminar of DSS and prof. Plášil group from UK-MFF.
- Behavior Protocols and Behind [PDF] by František Plášil (UK-MFF)
- Erroneous Architecture Is a Relative Concept; Incomplete Binding [PDF] by Jiří Adámek (UK-MFF)
- Behavior Protocols – Hands on Experience with the Real-Life Project SPEEDO [PDF] by Viliam Holub (UK-MFF)
- JiJ Simulator – Testing Java Concurrent Software [PDF] by Jaroslav Kačer (ZČU-FAV-KIV-DSS)
- Interaction Model of Grid Services [PPT] by Ladislav Pešička (ZČU-FAV-KIV-DSS)
- 2004-10-18: First Look at the Rate Monotonic Analysis [PDF] by Jaroslav Kačer
- 2004-05-17: Testing Java Concurrent Software for Embedded Devices [PDF] by Jaroslav Kačer
- 2004-05-03: A General Testing Application for Embedded Systems [PPT] by Pavel Čírtek
- 2004-04-19: Testing Multithreaded Programs [PDF] by Lukáš Petrlík
- 2004-04-07: Simulation as Software Engineering Tool [PDF] by Přemek Brada at MFF/UK
- 2004-04-05: P-Sim Model of TTP/C C2 Controller [PDF] by Petr Grillinger
- 2004-03-22: Introduction to Python and P-Sim Tool [PDF] by Petr Grillinger
- 2004-02-23: Specification and Design of Parallel Systems [PDF] by Tomáš Koutný
- 2004-02-09: Evaluation of Precission of Statistical Methods [PPT] by David Hartman
- 2004-01-12: Distributed Systems Design – State of the Art by Ladislav Pešička
- 2003-12-01: Last seminar in 2003. Discussion about this year's conferences: experiences, interresting people, ideas, places, etc.
- 2003-11-24: Interactive Parallel & Distributed Simulation [PPT] by Jan Klír
- 2003-11-03: Distributed Systems Debugging [PPT] by Jiří Patera
- 2003-10-20: Water Flowing Model for Load-Balancing in the Environment of Active Networks [ PDF, PPT ] by Tomáš Koutný
- 2003-10-09: Preliminary presentation of Ph.D. Thesis by Jan Valdman
- 2003-09-29: Preliminary presentation of Ph.D. Thesis by Jan Rovner
- 2003-06-02:
- 13:00 – Preliminary presenation of selected MSc. Theses: Pavel Sém, Václav Strnad, David Hartman, Pavel Čírtek
- 15:00 – Jan Valdman : Information Portals
- 16:00 – Roman Jokl : High Level Architecture
- 2003-05-12: J-Sim Urban Traffic Simulator [PPT] by David Hartman
- 2003-04-14: Observation and Control of Multithreaded Java Program Execution [Zipped PNGs] by Jaroslav Kačer
- 2003-04-07: Component Change and Version Identification [PPT] by Přemysl Brada. Continued from previous seminar
- 2003-03-24: Component Change and Version Identification [PPT] by Přemysl Brada
- 2003-03-10: Fault Injection Tool [PPT] by Pavel Čírtek
- 2003-02-24: Verification of FT Systems Using Simulation [PPT] by Petr Grillinger
- 2003-02-10: New Version of C-Sim – 5.0 [PPT] by Roman Jokl
— By Tomáš Potužák on 16 kvìten 2012, 16:47
Members
DCSE Staff
- Ing. Přemysl Brada, MSc., Ph.D.
- Ing. Jana Hájková, Ph.D.
- Doc. Ing. Pavel Herout, Ph.D. – organizing chair
- Ing. Tomáš Koutný, Ph.D.
- Ing. Arnoštka Netrvalová, Ph.D.
- Ing. Ladislav Pešička
- Ing. Tomáš Potužák, Ph.D.
- Doc. Ing. Stanislav Racek, CSc.
- Prof. Ing. Jiří Šafařík, CSc.
Ph.D. Students
- Ing. Pavel Bžoch
- Ing. Lukáš Holý
- Ing. Kamil Ježek
- Ing. Tomáš Kohlschütter
- Ing. Michal Kratochvíl
- Ing. Richard Lipka
- Ing. Luboš Matějka
- Ing. Marek Paška
- Ing. Jaroslav Šnajberk
- Ing. Jan Tichava
- Ing. Jan Toť
Ex-Members
- Ing. Cesar Allain, Ph.D.
- Ing. Jaroslav Bauml
- Ing. Pavel Čírtek
- Ing. Jan Dohnal, Ph.D.
- Joao Duarte, Ph.D.
- Ing. Petr Dvořák
- Ing. Petr Grillinger
- Ing. David Hartman
- Ing. Jiří Jiřinec
- Ing. Roman Jokl
- Ing. Jaroslav Kačer
- Ing. Jiří Kajaba
- Ing. Jan Klír
- Ing. Jiří Patera
- Ing. Lukáš Petrlík, Ph.D.
- Ing. Jan Rovner, Ph.D.
- Ing. Martin Šimek, Ph.D.
- Ing. Zdeněk Šustr
- Ing. Jan Valdman, Ph.D.
- Ing. Lukáš Valenta
- Ing. Petr Zelenka
— By Tomáš Potužák on 1 èerven 2011, 10:15