CASCON 2006 Workshop on Model Fusion
Speakers
Kim Letkeman, IBM
Title: Model Fusion: an IBM perspective
Abstract:
Kim will present an industry perspective on model fusion and team development
technology, describing in detail the scope of the problem domain from a
practical (software architects and software developers as user) perspective. He
will discuss solutions embodied in IBM's RSA family of products. He will also
identify areas where research is needed to push the state of the art and
improve the user experience.
Bio:
Kim Letkeman is a development lead for advanced model
driven development and application analysis at IBM Corporation. He is
responsible for the development of IBM's team development for modeling, which includes compare and merge support for EMF
based models; as well, he is responsible for patterns, transforms, and static
analysis of models and code.
Kim has held senior development leadership roles in several companies for
financial systems, telecommunications and modeling tools. His teams have built
and deployed many state of the art solutions: the first PBX host command
interface; the first fully featured PBX built on Windows NT with integral
application services such as attendant and voice mail; an early VOIP platform
for speech synthesis based applications; fault management isolation for optical
networks with continuous light paths; and team development solutions for IBM's
Software Development Platform.
Kim holds several patents for his work at Mitel
Corporation with several pending for his work at Innovance
Networks and IBM. Kim has published several articles on team development issues
at the IBM DeveloperWorks site.
Jon Whittle, George Mason
University
Title:
Composition of State Dependent Use Case Behavioral Models
Abstract:
Maintaining a clear separation of concerns throughout the software development
lifecycle has long been a goal of the software engineering community. Concerns
that are separated, however, must be composed at some point. This talk
addresses the composition of concerns that have state-dependent behavior. In
particular, it presents a technique for keeping state-dependent use cases
separate throughout the software modeling process and a method for composing
state-dependent use cases on demand. The composition method is based on the
graph transformations formalism. Composition based on graph transformation
provides a rich yet user-friendly way of composing state dependent use cases
that is built on solid foundations. To evaluate our approach, it has been applied
to 7 student design solutions. Each solution was originally developed using a
traditional use case-driven methodology and was reengineered to evaluate
whether our technique could have been applied. The findings are that it is
possible to maintain the separation of state-dependent use cases but that
expressive model composition methods are necessary for practical design tasks.
Graph transformations offer this expressiveness in a way that previous methods
do not.
Bio:
Jon Whittle is an Associate Professor at George
Mason University,
Fairfax, Virginia.
He has a PhD and MSc from the University
of Edinburgh and a
Bachelors from the University
of Oxford. Before
returning to academia, he was a research lead at NASA Ames Research Center
where he developed and applied new techniques in model-driven software
development. Jon is an Associate Editor of the Software and Systems Modeling
Journal, Chair of the Steering Committee of the International Conference on
Model Driven Engineering, Languages and Systems (MoDELS)
and PC member for a number of IEEE/ACM conferences. He has conducted research
in artificial intelligence, formal methods, requirements engineering, and
software modeling. He has taught software engineering across the world, most
notably at India's
prestigious Indian Institute of Technology.
Anthony D. Hall, IBM
Title: One IBM Web Experience Fusion Model: Cross-Enterprise Web User Experience Architecture
Abstract:
IBM has a large, global web experience that serves as a major channel for its
business. As part of on-going, company-wide initiatives to enhance the
external web experience, portions of IBM’s Rational unified process, user
engineering, unified modeling language (UML), and tools were used to
characterize web user roles, user goals, use cases, user activities, and
objects. The result was a comprehensive, cross-enterprise model to serve
as a user experience architecture and reference across the company for all web
designers and developers, called the One IBM Web Experience Fusion Model. This
presentation will provide a brief overview of the following: (a) scope of
the challenge in the fusing together of trusted sources and model elements
cross-enterprise, (b) size of the model in terms of number and types of
elements, files in model, number and kinds of machines, (c) language and tools
(such as UML, and XDE, RSM), (d) distributed team modeling considerations, (e)
use (and some misuse) of UML, (f) things innovated in the Fusion Model project
(such as weights, visualization, output documentation), (g) gradients to
effectiveness (flow processes, tools, skills), and (h) what the team would do
differently, what do the same way. Take-away includes enhanced awareness
of user engineering and modeling, as well as key ingredients for ensuring a successful
model fusion project on a large scale. The presentation is high-level and
appropriate for all audiences at CASCON 2006, including researchers,
innovators, designers, developers, and user experience professionals interested
in model-driven, pattern-based user experience architecture.
Bio:
Anthony D. Hall is Senior Technical Staff Member, Global Web User Engineering,
ibm.com, IBM Corporation. At IBM, he leads deep software modeling of
cross-enterprise web experience architecture, exploration of future intelligent
adaptive web experiences, and user testing of IBM's external web experience.
Anthony is responsible for driving best practices in user engineering to enable
IBM's clients to easily accomplish their goals and have a satisfying experience
on ibm.com, for both today's and tomorrow's web experience.
Anthony has held a variety of senior technical and management roles in
advanced software architectures, research consortia, intellectual property law,
communications and computing strategy, as well as ease of use initiatives. His
technology interests are in areas of intelligent processing of information
while in motion, particularly leveraging extreme users of the Internet.
Anthony's business interests are in human-centric innovation for growth in web
revenue, profit, competitive position, client satisfaction, and identifying
emerging opportunities.
He received a B.A. with distinction and a post-baccalaureate B.A. with
honors from the University of North Carolina at Asheville and his M.S. and Ph.D. degrees in
experimental psychology from North Carolina State University (NCSU), where he
is also a Professor and Member of the Graduate Faculty. He has authored or
co-authored more than 60 papers published in journals or presented at
professional meetings in the US, Canada, Asia, and Europe. Anthony holds
patents in mobile commerce and dynamic transfer of information while in motion.
He has been featured as an invited speaker at a number of conferences, such as
the Intelligent Agent Technology international symposium (IAT), Intel Developer
Forum (IDF), Make IT Easy (MITE) conference, Lead User Institute (LUI)
symposium at MIT, the supermarket industry's eRetailing
conference, Keynote Executive Summit, and the Friday Institute for Educational
Innovation at NCSU. Anthony is the recipient of IBM's Author of the Year Award
and the Alliance
for Excellence Award from NCSU.
Steve
Easterbrook, University
of Toronto
Title:
Model Management Operators: A Holistic
Approach
Abstract:
TBA
Bio:
Steve Easterbrook is a Professor of Computer Science at University of Toronto,
and academic director of Bell University Laboratories. He received his PhD in
1991 from Imperial College, London,
on the topic of negotiation and conflict resolution for software requirements.
He joined the faculty in the School of
Cognitive Science at the University of Sussex, where he pioneered new degree
programs in human- centered software design. From 1995 to 1999, he led the
research team at NASAs Independent Verification and
Validation (IV&V) Facility in West
Virginia, and acted as an expert advisor on the
independent assessment and IV&V contracts for the Space Shuttle Flight
Software, the International Space Station, the Earth Observation System, as
well as several planetary probes. In 1999 he joined the faculty at U of T,
where he continues his research and teaching in software requirements analysis
and inconsistency management. He has published over 50 peer-reviewed papers in
software and requirements engineering. He served as general chair for the
International Symposium on Requirements Engineering in 2001 and the program
chair for the International Conference on Automated Software Engineering in
2006, and has served on the program committees for many conferences and
workshops in Requirements Engineering and Software Engineering.
Zinovy Diskin , Queens University
Title:
Do Model Mappings Really Map? On derived information
in model management
Abstract: As is now well understood, model management (MMt) is all about
model mappings, which relate and connect models into a single universe.
Model mappings appearing in practice often possess the following property:
elements of one model are mapped/related to elements that can be derived
over another model rather than immediately belong to it. Each such an
element is derived from other elements by applying to them a certain
algebraic operation, or a query, in the database jargon. Model mappings can
then be specified as mathematical mappings between models augmented with
derived elements (and thus become what is called views in the database
theory). In the talk we will consider an illustrating example, and its
adaptation in a suitable mathematical framework.
Bio: Zinovy Diskin received PhD in math from the University of Latvia in
1994 and worked in industry and academia in Latvia and US. He has been
dealing with model management problems in different versions: theory
management in algebraic logic, view and schema integration in database
design, metadata management in enterprise data integration. Currently he is
working in an IBM-CITO-Queen's University funded project on formal
semantics for UML. As it became clear in the course of the project, an
essential component of UML semantics is also related to model management.
Panelists
Kostas Kontogiannis,
University of Waterloo
Bio:
Kostas Kontogiannis is an
Associate Professor at
the Department of Electrical & Computer Engineering at
the National Technical University
of Athens, Greece. Currently he is on leave from the Department of Electrical
and Computer Engineering at the University of Waterloo,
Canada, where he led the past ten years the Software Re-engineering group.
Kostas received a B.Sc. degree in
Mathematics from the University of Patras, Greece,
a M.Sc.
degree in Computer Science from Katholieke Universiteit
Leuven, Belgium, and a Ph.D.
degree in Computer Science
from McGill University,
Canada. Kostas is working in the
areas of software analysis, software evolution, and software systems
integration. He has been the recipient of three IBM University Partnership Awards
and a Canada Foundation for Innovation (CFI) Award. Kostas is a visiting
scientist at the
IBM Center for
Advanced Studies in IBM Toronto
Laboratory, and a
former member of
the IEEE Distinguished Visitors
Program. Kostas can be reached by
e-mail at kostas@swen.uwaterloo.ca and at kkontog@softlab.ntua.gr.
Ed Merks, IBM Rational, Toronto
Bio:
Ed Merks is the project lead of the Eclipse Modeling
Framework project and a co-lead of the top-level Modeling project. He has many
years of in-depth experience in the design and implementation of languages,
frameworks, and application development environments. He holds a Ph.D. in
computing science and is a co-author of the authoritative "Eclipse
Modeling Framework, A Developer's Guide" (Addison-Wesley 2003). He works
for IBM Rational Software at the Toronto
Lab.
Krzysztof Czarnecki, University of Waterloo
Bio:
Krzysztof Czarnecki
is an Assistant Professor at the University of
Waterloo, Canada. Before coming to Waterloo, he spent eight years at
DaimlerChrysler Research working on the practical applications of
generative programming. He is co-author of the book "Generative
Programming" (Addison-Wesley, 2000), which is regarded as founding work
of the area and is used as a graduate text at universities around the
world. He was General Chair of the 2003 International Conference on
Generative Programming and Component Engineering (GPCE), keynote speaker
at UML 2004, and will be serving as a Program Chair of the Conference on
Model-Driven Engineering, Languages and Systems (MoDELS) in 2008. His
current work focuses on realizing the synergies between generative and
model-driven software development.
Tom Maibaum, McMaster
University
Bio: Tom Maibaum
is a Tier I Canada Research Chair in the Foundations in
Software Engineering in the Department of Computing and Software at
McMaster University. He received his BSc in Mathematics from
University of Toronto in 1970 and Ph.D. in Computer Science from Queen
Mary College, University of London in 1974. Before coming to
McMaster, Tom held a faculty position in University of Waterloo (until
1981), Imperial College London (to 1999, including 8 years as Head of
Department, 10 years holding a personal chair), and King's College
London (to 2004, including 2yrs as Head of Department). Since 1992,
Tom has also been an Honourary Professor at Pontificia Universidade
Catolica do Rio de Janeiro. He is an editor of many journals (4
active at the moment) and co-editor of Handbook of Logic in Computer
Science, OUP (one of the most cited works in theoretical CS). He
serves on numerous Program Committes, acted as a PC chair multiple
times and is has served on steering committees of ICSE, TAPSOFT, and
ETAPS.
Marsha Chechik, University
of Toronto
Bio:
Marsha Chechik received her Ph.D. from the University of Maryland
in 1996 and joined the department of Computer Science at the University of Toronto.
She is an associate professor, cross-appointed to the Department of Electrical
and Computer Engineeering. Prof. Chechik's
research interests are mainly in the application of formal methods to improve
the quality of software. She has authored over 50 papers in formal methods,
software specification and verification, computer security and requirements
engineering. In 2002-2003, Prof. Chechik was a
visiting scientist at Lucent Technologies in Murray Hill,
NY and at Imperial
College, London
UK.
She is an associate editor of IEEE Transactions on Software Engineering and
regularly serves on program committees of international conferences in the
areas of software engineering and automated verification.
Other panelists:
Steve Easterbrook, Zinovy Diskin,
Anthony Hall and Kim Letkeman