Call for Participation
Workshop on Visual Modeling
for Software Intensive Systems (VMSIS)
at the IEEE Symposium on Visual Languages
and Human-Centric Computing (VL/HCC'05)
Dallas, Texas, USA, 24 September 2005
http://vmsis05.upb.de/ ([EMAIL PROTECTED])
Scope
=====
Visual modeling techniques play an important role in the design and
understanding of complex, software intensive systems. Block diagrams in
systems engineering and the Unified Modeling Language (UML) in software
engineering, are prominent examples of such visual modeling techniques.
Recently, integrated solutions have been proposed, such as UML 2.0,
which provide a set of concepts that had been originally invented for
systems engineering; an example is the “capsule” notation, which stems
from Real-Time Object-Oriented Modeling with an origin in the
telecommunications domain. The UML now adopts the ITU standards of MSC
(Message Sequence Charts) and SDL (Specification and Description
Language). The SysML extension of the UML for systems engineering starts
to address the question how to reflect the steadily increasing software
fraction of software intensive systems. These integration efforts
between the systems engineering and software engineering domains are
characterized by their informal and sometimes superficial nature. To
fully unleash their methodological potential in practice, however, a
full semantic integration of the employed visual modeling concepts and
their underlying models is required.
In addition, many software intensive systems such as telecom networks,
mobile systems, smart vehicles, ubiquitous systems, sensor networks,
medical applications, command and control systems are dependable systems
which can impact our daily lives or safety and security of our society.
Therefore, their design has to consider many dependability attributes,
such as real-time, security, safety, fault tolerance, software/hardware
reliability, availability, etc. Visualization is a powerful tool to
assist with the challenging task of design and development of dependable
software intensive systems.
This first workshop on visual modeling for software intensive systems
aims at bringing together researchers and practitioners to discuss and
study the application of visual modeling techniques to software
intensive systems, the achieved integration between the software and
systems engineering views, and the challenges of dependability.
Keynote: SysML with ARTiSAN Studio*
==================================
Manohar Rao, ARTiSAN Software Tools
Since its adoption in 1997, the Unified Modeling Language (UML) has
proved very popular with software engineers and has become the de facto
standard as a visual modeling language for software engineers. However,
this software focus of UML has discouraged many systems engineers from
adopting it in earnest. Those who did adopt UML developed strategies to
cope with its shortcomings. A common approach was to model additional
systems engineering concepts in other modeling tools. This made it
difficult to integrate the different viewpoints and achieve
traceability. Fortunately, with the release of UML 2.0 and the ensuing
extensions to it in SysML - the soon-to-be adopted Systems Modeling
Language - the systems engineering community has a real alternative to
systems modeling that provides a more integrated approach to systems and
software engineering. Since its inception in 1997, ARTiSAN has
endeavored to bridge the gap between systems and software engineering
modeling by adding systems engineering extensions to the UML and, as a
key member of the SysML initiative, is well poised to support these
emerging standards for systems and software modeling. This presentation
will provide a brief overview of the major extensions proposed by SysML,
and will summarize how ARTiSAN's latest release of its flagship product
Studio (version 6.0) takes the lead in supporting these concepts.
*This keynote speech is for both the Visual Modeling for Software
Intensive Systems workshop and the main conference. Therefore, the
keynote will be on Friday September the 23th at 8:45 am
Workshop Program
================
8:30 am – 9:00 am Welcome
9:00 am – 10:00 am Session: Visual Modeling
Application of Visual Modeling for Real-Time Communication Systems
Michael Groble, Michael Jiang, Jamel Marzouki, Andrij Neczwid, Allan Willey
Visual Model-Driven Development of Software Intensive Systems: A Survey
of available Techniques and Tools
Sven Burmester, Holger Giese
Enhancing the Vision Document in the Rational Unified Process with a
Visual Representation of Goals
Kendra Cooper, Lawrence Chung, Sam Courtney
10:00 am – 10:30 am Break
10:30 am – 11:10 am Session Model Management
Ensuring Consistency in a Multi-View Component Modelling Language for
Systems Design
Juan de Lara, Esther Guerra, Hans Vangheluwe
Automaticability Generation of Transformation Rules for Model Management
Guanglei Song, Kang Zhang, Jun Kong
11:10 – 11:40 Break
11:40 pm – 12:20 pm Session: Support for Visual Notations
A New Approach to Flexible, Trainingless Sketching
Florian Brieler, Mark Minas
Specifying Behavioral Semantics through Graph Transformation
Jun Kong, Kang Zhang, Jing Dong, Guanglei Song
12:20 am – 12:30 am Selection of Working Group Themes
12:30 am – 2:00 pm Lunch Break
2:00 pm – 2:40 pm Session: Dependability
Safety Metrics for the Analysis of Software Architectures
Juan Pedro Silva, Miguel de Miguel, Javier Fernández Briones, Alejandro
Alonso
Extending Fault Tolerance Patterns by Visual Degradation Rules
Matthias Tichy, Holger Giese
2:40 pm – 3:00 pm Break
3:00 pm – 4:00 pm Working Groups
4:00 pm– 4:30 pm Break
4:30 pm – 5:10 pm Presentation of Working Group Results
5:10 pm – 5:20 pm Break
5:20 pm – 5:35 pm Summary and Closing
Workshop Chairs
===============
Holger Giese, University of Paderborn, Germany
Ingolf H. Krüger, University of California, San Diego, USA.
Kendra M.L. Cooper, The University of Texas at Dallas, USA
Program Committee
=================
Manfred Broy, TUM, Germany
Kendra M.L. Cooper, University of Texas at Dallas, USA
Gregor Engels, University of Paderborn, Germany
Oystein Haugen, University of Oslo, Norway
Holger Giese, University of Paderborn, Germany
Gabor Karsai, Vanderbilt University, USA
Ferhat Khendek, Concordia Univeristy Montréal, Canada
Ingolf H. Krüger, University of California, San Diego, USA
Jochen Küster, IBM Research Zürich, Switzerland
Mark Minas, University of the Federal Armed Forces, Germany
Bernhard Rumpe, TU Braunschweig, Germany
Chris Salzmann, BMW CarIT, Germany
Andy Schürr, Darmstadt University of Technology, Germany
Thomas Stauner, BMW CarIT, Germany
Bhavani Thuraisingham, University of Texas at Dallas, USA
Michael von der Beeck, BMW, Germany
Guido Wirtz, University of Bamberg, Germany
I-Ling Yen, The University of Texas at Dallas, USA
Kang Zhang, University of Texas at Dallas, USA
Albert Zündorf, University of Kassel, Germany
----
[[ Petri Nets World: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies: ]]
[[ [email protected] ]]
