Selected Seminars

Turning an enterprise social network into a productivity platform: the experience at HP

SPEAKERClaudio Bartolini - HP Labs Palo Alto, CA, USA


As for many large enterprises, HP's 300,000 employees have recently been interacting more and more over social networks. That interaction takes place over external social networks, such as facebook, twitter, linkedin, but also on enterprise social networks, such as Jive, and a home grown social network, called Watercooler. The kind of interaction that we have observed in Watercooler has had interesting aspects at the intersection of social and business. For example, employees have used Watercooler for sharing their skills, what they were working on, asking work-related questions and other such activities. That suggested to us that we evolve Watercooler into a productivity platform. Watercooler was born as the facebook of HP. I will report on our experience in turning it into the facebook apps platform of HP: a platform for quick and useful development of enterprise applications. Aspects that I will concentrate on is how we have used create apps for: flexible, ad-hoc, collaborative business processes; and crowdsourced idea management.

SCHEDULE: December 20 2012, 9.00 am, Sala Grande Palazzina C, Via alla Cascata 56/C


Consistent Change Propagation during Model-Driven Engineering

SPEAKERAlexander Egyed, Professor at the Johannes Kepler University (JKU) of Linz, Austria


Design models describe different viewpoints of a software system separating functionality, from structure, behavior, or usage. While these models are meant to be separate in their description, they are nonetheless related by manifold dependencies. After all, they describe the same system. Yet, this network of dependencies is also the most significant obstacle to model-driven engineering. It is the root cause for failure to propagate changes correctly and completely. Although change propagation as a whole is a daunting challenge to tackle, this talk suggests an approach for addressing this problem in context of model-driven engineering where incorrect or incomplete changes are detectable in form of the inconsistencies they cause. Understanding the impact of a model change is thus analogous to the detection and repairing of inconsistencies introduced by these changes.

SCHEDULE: September 28 2012, 11.30 am, Sala Grande Palazzina B, Via alla Cascata 56/C


Design and Verification of Distributed Systems

SPEAKERGwen Salaün, associate professor at Ensimag, France


Formal techniques and tools are well established for supporting the design of critical systems. However, they are seldom used by engineers for developing more conventional software. I will present some applications of formal methods to building and verifying distributed applications. I will present first how process algebraic languages and tools have been successfully applied to the verification of cloud computing protocols. Second, I will show how they can be very helpful in supporting the construction of distributed systems by reusing and composing existing services modelled using interaction protocols or conversations. More precisely, I will present model-based techniques for compatibility checking, adaptor generation, and checking the realizability of choreography specifications.

SCHEDULE: March 28 2012, 10.30 am, Sala Grande Palazzina C, Via alla Cascata 56/C

Jolie, A new programming language for service oriented applications

SPEAKERClaudio Guidi, University of Padova


Jolie is a fully-fledged service-oriented programming language whose semantics is formally defined by means of a process calculus. It unifies the development of services and orchestrators in a unique linguistic domain and, besides providing the basic service oriented workflow constructs à la WS-BPEL, it also provides composition mechanisms at the level of services such as: aggregation, redirection and embedding. Thanks to these features, Jolie offers an exhaustive programming tool for quickly programming and developing Service-Oriented Architectures (SOAs). In this talk, we discover the basic and the advanced features of Jolie by showing some examples where services and orchestrators will be created. In the examples aggregation, redirection and embedding will be exploited.

SCHEDULE: February 28 2012, 10.30 am, Sala Grande Palazzina C, Via alla Cascata 56/C

Skill Evolution and Auctioning in Market-Based Crowdsourcing

SPEAKERHarald Psaier, Vienna University of Technology


The recent trend towards social and collaborative platforms can be observed by looking at the success of various Web-based platforms that have attracted a huge number of users. This applies also for a particular type, the crowdsourcing platforms which are online, distributed problem-solving and production models that have emerged in recent years.
Apart from the benefit of collective intelligence with multiple, redundant workforce, many of the challenges of crowdsourcing are related to its distributed and open nature. The main challenges remain how to organize and manage the crowd and identify potentially missing skills. In detail, managing and adapting the crowd’s skills and resources in an automated manner in crowdsourcing remains challenging. Crowd customers prefer fully automated deployment of their tasks to a crowd, just as in common business process models.
This talk discusses an approach to find suitable workers for a task and to provide the customer with satisfying quality. Furthermore, methodologies to maintain a motivated base of crowd members with a skill evolution model are presented. Results of the conducted experiments will be discussed.

SCHEDULE: February 1st 2012, 2.30 pm, Sala Grande Palazzina C, Via alla Cascata 56/C

Monitor Adaptation: Identification, Modification, Creation and Removal of monitor rules for service-based systems.

SPEAKERRicardo Contreras, City University, London


Monitoring of service-based systems is considered an important activity to support service-oriented computing. Monitoring can be used to verify the behaviour of a service-based system, and the quality and contextual aspects of the services participating in the system. Existing approaches for monitoring service-based systems assume that monitor rules are pre-defined and known in advance, which is not always the case. In this seminar a pattern-based HCI-aware monitor adaptation framework will be presented. The work supports the identification, modification, creation, and removal of monitor rules based on user's interaction with a service based system and different types of user context.

SCHEDULE: November 8 2011, 2.30 pm, Sala Grande Palazzina C, Via alla Cascata 56/C

show old seminars