Proceedings of International Workshop "Global Computing: Programming Environments, Languages, Security and Analysis of Systems"

According to the IST/ FET proactive initiative on GLOBAL COMPUTING, the goal is to obtain techniques (models, frameworks, methods, algorithms) for constructing systems that are flexible, dependable, secure, robust and efficient. The dominant concerns are not those of representing and manipulating data efficiently but rather those of handling the co-ordination and interaction, security, reliability, robustness, failure modes, and control of risk of the entities in the system and the overall design, description and performance of the system itself. Completely different paradigms of computer science may have to be developed to tackle these issues effectively. The research should concentrate on systems having the following characteristics: • The systems are composed of autonomous computational entities where activity is not centrally controlled, either because global control is impossible or impractical, or because the entities are created or controlled by different owners. • The computational entities are mobile, due to the movement of the physical platforms or by movement of the entity from one platform to another. • The configuration varies over time. For instance, the system is open to the introduction of new computational entities and likewise their deletion. The behaviour of the entities may vary over time. • The systems operate with incomplete information about the environment. For instance, information becomes rapidly out of date and mobility requires information about the environment to be discovered. The ultimate goal of the research action is to provide a solid scientific foundation for the design of such systems, and to lay the groundwork for achieving effective principles for building and analysing such systems. This workshop covers the aspects related to languages and programming environments as well as analysis of systems and resources involving 9 projects (AGILE , DART, DEGAS , MIKADO, MRG, MYTHS, PEPITO, PROFUNDIS, SECURE) out of the 13 founded under the initiative. After an year from the start of the projects, the goal of the workshop is to fix the state of the art on the topics covered by the two clusters related to programming environments and analysis of systems as well as to devise strategies and new ideas to profitably continue the research effort towards the overall objective of the initiative. We acknowledge the Dipartimento di Informatica and Tlc of the University of Trento, the Comune di Rovereto, the project DEGAS for partially funding the event and the Events and Meetings Office of the University of Trento for the valuable collaboration

Manufacturing requirements in design: The RTM process in aeronautics

A sub-unit of an aeronautical structure (fuselage, fin, wing, etc.) consists of a set of components fixed rigidly together. One of today’s major industrial challenges is to produce these sub-units out of composite materials in order to increase the level of integration and reduce and cost. This article describes a procedure to assist in the industrialisation of aeronautical components produced from composite materials in a design for manufacturing context. In a multi-expertise approach, the problem of optimising integration is combined with the feasibility of injection for the Resin Transfer Molding process. This approach then takes into account admissible manufacturing deviations, defined from a classification of the structure parts. The limits set for admissible deviations guarantee the mechanical behaviour of the assembled component and the requirements of the assembly as a whole. Finally, an industrialisation solutions space is defined. A constraint satisfaction problem solver is used to carry out this research with a spar from a horizontal plane in an aircraft used to illustrate the procedure

Generating collaborative systems for digital libraries: A model-driven approach

This is an open access article shared under a Creative Commons Attribution 3.0 Licence (http://creativecommons.org/licenses/by/3.0/). Copyright @ 2010 The Authors.The design and development of a digital library involves different stakeholders, such as: information architects, librarians, and domain experts, who need to agree on a common language to describe, discuss, and negotiate the services the library has to offer. To this end, high-level, language-neutral models have to be devised. Metamodeling techniques favor the definition of domainspecific visual languages through which stakeholders can share their views and directly manipulate representations of the domain entities. This paper describes CRADLE (Cooperative-Relational Approach to Digital Library Environments), a metamodel-based framework and visual language for the definition of notions and services related to the development of digital libraries. A collection of tools allows the automatic generation of several services, defined with the CRADLE visual language, and of the graphical user interfaces providing access to them for the final user. The effectiveness of the approach is illustrated by presenting digital libraries generated with CRADLE, while the CRADLE environment has been evaluated by using the cognitive dimensions framework

Characterisation of collaborative decision making processes

This paper deals with the collaborative decision making induced or facilitated by Information and Communication Technologies (ICTs) and their impact on decisional systems. After presenting the problematic, we analyse the collaborative decision making and define the concepts related to the conditions and forms of collaborative work. Then, we explain the mechanisms of collaborative decision making with the specifications and general conditions of collaboration using the modelling formalism of the GRAI method. Each specification associated to the reorganisation of the decisional system caused by the collaboration is set to the notion of decision-making centre. Finally, we apply this approach to the e-maintenance field, strongly penetrated by the ICTs, where collaborations are usual. We show that the identified specifications allow improving the definition and the management of collaboration in e-maintenance

ASSEMBLY DIFFERENTIATION IN CAD SYSTEMS

This work presents a data model for differentiating and sharing assembly design (AsD) information during collaborative design. Joints between parts are an important aspect of assembly models that are often ambiguous when sharing of models takes place. Although various joints may have similar geometries and topologies, their joining methods and process parameters may vary significantly. It is possible to attach notes and annotations to geometric entities within CAD environments in order to distinguish joints; however, such textual information does not readily prepare models for sharing among collaborators or downstream processes such as simulation and analysis. At present, textual information must be examined and interpreted by the human designer and cannot be interpreted or utilized by the computer; thus, making the querying of information potentially cumbersome and time consuming.This work presents an AsD ontology that explicitly represents assembly constraints, including joining constraints, and infers any remaining implicit ones. By relating concepts through ontology technology rather than just defining an arbitrary data structure, assembly and joining concepts can be captured in their entirety or extended as necessary. By using the knowledge captured by the ontology, similar-looking joints can be differentiated and the collaboration and downstream product development processes further automated, as the semantics attached to the assembly model prepares it for use within the Semantic Web

Integrated product relationships management : a model to enable concurrent product design and assembly sequence planning

The paper describes a novel approach to product relationships management in the context of concurrent engineering and product lifecycle management (PLM). Current industrial practices in product data management and manufacturing process management systems require better efficiency, flexibility, and sensitivity in managing product information at various levels of abstraction throughout its lifecycle. The aim of the proposed work is to manage vital yet complex and inherent product relationship information to enable concurrent product design and assembly sequence planning. Indeed, the definition of the product with its assembly sequence requires the management and the understanding of the numerous product relationships, ensuring consistency between the product and its components. This main objective stresses the relational design paradigm by focusing on product relationships along its lifecycle. This paper gives the detailed description of the background and models which highlight the need for a more efficient PLM approach. The proposed theoretical approach is then described in detail. A separate paper will focus on the implementation of the proposed approach in a PLM-based application, and an in-depth case study to evaluate the implementation of the novel approach will also be given