Tutorial T15


Tutorials  T1  T2  T3  T4  T5  T6  T7  T8  T9  T10  T11  T12  T13  T14  T15  T16  T17  T18  T19  T20  T21 

Interconnecting Objects via Contracts


Presenter: José Luiz Fiadeiro, Luís Filipe Andrade
Level: Intermediate
Day: Tuesday (June 19) a.m.


Interactions between objects are too often coded in the way messages are exchanged and methods are called, making it difficult to understand and evolve the way components are interconnected without a deeper analysis of the way objects are designed. Yet, most businesses require high levels of reconfigurability of existing services, which suggests that an explicit model of the coordination that is required between system components should be given immediately during domain modeling. Capitalizing on work in Software Architectures and Coordination Languages, and our experience in the banking industry, this tutorial puts forward the concept of contracts for providing explicit representations of interconnections between objects.

Audience:
Attendees with an interest in modelling complex software intensive systems in volatile application domains will benefit the most from this tutorial. They will be exposed to a new modeling primitive (contract) that has proved to be highly effective for controlling the complexity of system design and evolution. They will learn how to use it to externalize embedded coordination directives, ending-up with systems that can evolve simply by adding, removing, or replacing interconnections without having to change the other components. Because the concept is intrinsically language-independent, and an implementation pattern is provided, attendees will be able to put it to practice immediately in their working environments.

Required experience:
Familiarity with object-oriented conceptual modeling.

Presenter's profile:
José Luiz Fiadeiro is Professor of Computing Science at the University of Lisbon. His research interests include software specification formalisms and methods, especially as applied to component-based, reactive systems, and their integration in the wider area of General Systems Theory. His main contributions have been in the formalization of specification and program design techniques and of their underlying modularization principles, namely in connection to Software Architectures. These research interests have been pursued in the context of several national and international projects. He has published more than 70 papers in these areas, including the foundations of object-oriented systems. Luís Filipe Andrade is partner and Technical Vice-President of Oblog SA (www.oblog.com) in Portugal and Oblog Technology Inc. in the USA - an Information Technology Company owned by one of the most important Portuguese financial groups ("Espírito Santo"). This company has developed, under his coordination, a sophisticated object-oriented specification language (OBLOG) and its supporting tools. He is also partner and president of a software company that develops banking applications and tools based on the OBLOG language, and has extensive experience in projects implementing transactional systems to support the front-end transactions of bank branches. Previously, he had been Information Technology Manager in the biggest Portuguese financial group - CGD - and senior researcher at INESC, an institute for System and Computer Engineering where he led a research project in specification models, compilers, and code generators that later became a commercial product.