Issues about the Adoption of Formal Methods for Dependable Composition of Web Services

Web Services provide interoperable mechanisms for describing, locating and invoking services over the Internet; composition further enables to build complex services out of simpler ones for complex B2B applications. While current studies on these topics are mostly focused - from the technical viewpoint - on standards and protocols, this paper investigates the adoption of formal methods, especially for composition. We logically classify and analyze three different (but interconnected) kinds of important issues towards this goal, namely foundations, verification and extensions. The aim of this work is to individuate the proper questions on the adoption of formal methods for dependable composition of Web Services, not necessarily to find the optimal answers. Nevertheless, we still try to propose some tentative answers based on our proposal for a composition calculus, which we hope can animate a proper discussion

Modular and composable extensions to smalltalk using composition filters

Current and future trends in computer science require extensions to Smalltalk. Rather than arguing for particular language mechanisms to deal with specific requirements, in this position paper we want to make a case for two requirements that Smalltalk extensions should fulfill. The first is that the extensions must be integrated with Smalltalk without violating its basic object model. The second requirement is that extensions should allow for defining objects that are still adaptable, extensible and reusable, and in particular do not cause inheritance anomalies. We propose the composition filters model as a framework for language extensions that fulfills these criteria. Its applicability to solving various modeling problems is briefly illustrated

Requirements for the workflow-based support of release management processes in the automotive sector

One of the challenges the automotive industry currently has to master is the complexity of the electrical/elctronic system of a car. One key factor for reaching short product development cycles and high quality in this area are well-defined, properly executed test and release processes. In this paper we show why workflow management technology is needed to support these processes and how this support should look like. We further confront these requirements with the features of contemporary workflow technology and discuss which extensions become necessary

A novel hybrid engineering methodology to enhance collaboration during the design and development of meta product services

Since the Product-Service System (PSS) is accompanied by a paradigm shift towards the sustainability of the production process, it demands an advanced level of collaboration throughout the design and development process. This poses new challenges to enhance collaboration among cross-sectional, multi-disciplinary design teams in order to incorporate a variety of interdisciplinary services in a complex service-oriented system. Therefore, a new collaboration methodology is needed to reduce barriers to collaboration in a cross- organizational structure domain. This research work aims at highlighting the collaboration challenges that Meta-Product design teams face and also proposes a novel methodology to enhance collaboration among multi-disciplinary teams. The proposed methodology is a hybrid engineering model designed by integrating an Information Delivery Manual approach with a traditional software development process along with three interlinked collaboration services