804 research outputs found

    Formal Methods in Factory Automation

    Get PDF

    Design and implementation of an autonomous, proactive, and reactive software infrastructure to help improving the management level of projects

    Get PDF
    Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia Electrotécnica e de ComputadoresOver the years, collaboration between humans and organizations have been increasing and becoming vital to face new challenges and achieve the greatest common goals. The development of new technologies and internet capabilities promoted the emergence of new collaboration types, i.e., collaboration using software connected through internet (Collaborative Workspaces software). The use of the internet amplifies the range of action and the speed of communication among the actors involved in a collaboration. The collaboration amongst organizations is project-oriented (the common goal is to deal with projects) where several actors involved in the collaboration share their knowledge with each other. These actors are, indeed, the knowledge holders and the system which supports the collaboration has to collect and assess the knowledge from them. For this reason, this thesis aims to design and implement a software infrastructure to capture and capitalize the knowledge created over several projects. Such software is human-centered and has an autonomous, proactive and reactive behaviour to handle all users‟ needs. This software promotes its own continuous learning by analysing humans‟ behaviour over several projects, extracting information from that behaviour, and having Context-awareness. Additionally, it relies on Data mining technologies and semantic services, in order to provide a continuous monitoring of the whole project during its life cycle. The software developed is called “Companion” and has been assessed as a part of the CoSpaces Integrated Project

    The engineering of an object-oriented software development methodology

    Get PDF
    EThOS - Electronic Theses Online ServiceGBUnited Kingdo

    EOOLT 2007 – Proceedings of the 1st International Workshop on Equation-Based Object-Oriented Languages and Tools

    Get PDF
    Computer aided modeling and simulation of complex systems, using components from multiple application domains, such as electrical, mechanical, hydraulic, control, etc., have in recent years witness0065d a significant growth of interest. In the last decade, novel equation-based object-oriented (EOO) modeling languages, (e.g. Mode- lica, gPROMS, and VHDL-AMS) based on acausal modeling using equations have appeared. Using such languages, it has become possible to model complex systems covering multiple application domains at a high level of abstraction through reusable model components. The interest in EOO languages and tools is rapidly growing in the industry because of their increasing importance in modeling, simulation, and specification of complex systems. There exist several different EOO language communities today that grew out of different application areas (multi-body system dynamics, electronic circuit simula- tion, chemical process engineering). The members of these disparate communities rarely talk to each other in spite of the similarities of their modeling and simulation needs. The EOOLT workshop series aims at bringing these different communities together to discuss their common needs and goals as well as the algorithms and tools that best support them. Despite the short deadlines and the fact that this is a new not very established workshop series, there was a good response to the call-for-papers. Thirteen papers and one presentation were accepted to the workshop program. All papers were subject to reviews by the program committee, and are present in these electronic proceedings. The workshop program started with a welcome and introduction to the area of equa- tion-based object-oriented languages, followed by paper presentations and discussion sessions after presentations of each set of related papers. On behalf of the program committee, the Program Chairmen would like to thank all those who submitted papers to EOOLT'2007. Special thanks go to David Broman who created the web page and helped with organization of the workshop. Many thanks to the program committee for reviewing the papers. EOOLT'2007 was hosted by the Technical University of Berlin, in conjunction with the ECOOP'2007 conference

    Transformation Tool Contest 2010, 1-2 July 2010, Malaga, Spain

    Get PDF

    Forum Session at the First International Conference on Service Oriented Computing (ICSOC03)

    Get PDF
    The First International Conference on Service Oriented Computing (ICSOC) was held in Trento, December 15-18, 2003. The focus of the conference ---Service Oriented Computing (SOC)--- is the new emerging paradigm for distributed computing and e-business processing that has evolved from object-oriented and component computing to enable building agile networks of collaborating business applications distributed within and across organizational boundaries. Of the 181 papers submitted to the ICSOC conference, 10 were selected for the forum session which took place on December the 16th, 2003. The papers were chosen based on their technical quality, originality, relevance to SOC and for their nature of being best suited for a poster presentation or a demonstration. This technical report contains the 10 papers presented during the forum session at the ICSOC conference. In particular, the last two papers in the report ere submitted as industrial papers
    corecore