Selected Papers of the International Workshop on Smalltalk Technologies


Book Description

The goal of the IWST workshop series is to create and foster a forum around advancements of or experience in Smalltalk. The workshop welcomes contributions to all aspects, theoretical as well as practical, of Smalltalk-related topics.




Technical Report


Book Description

Der Entwurf und die Realisierung dienstbasierender Architekturen wirft eine Vielzahl von Forschungsfragestellungen aus den Gebieten der Softwaretechnik, der Systemmodellierung und -analyse, sowie der Adaptierbarkeit und Integration von Applikationen auf. Komponentenorientierung und WebServices sind zwei Ansätze für den effizienten Entwurf und die Realisierung komplexer Web-basierender Systeme. Sie ermöglichen die Reaktion auf wechselnde Anforderungen ebenso, wie die Integration großer komplexer Softwaresysteme. Heute übliche Technologien, wie J2EE und .NET, sind de facto Standards für die Entwicklung großer verteilter Systeme. Die Evolution solcher Komponentensysteme führt über WebServices zu dienstbasierenden Architekturen. Dies manifestiert sich in einer Vielzahl von Industriestandards und Initiativen wie XML, WSDL, UDDI, SOAP. All diese Schritte führen letztlich zu einem neuen, vielversprechenden Paradigma für IT Systeme, nach dem komplexe Softwarelösungen durch die Integration vertraglich vereinbarter Software-Dienste aufgebaut werden sollen. "Service-Oriented Systems Engineering" repräsentiert die Symbiose bewährter Praktiken aus den Gebieten der Objektorientierung, der Komponentenprogrammierung, des verteilten Rechnen sowie der Geschäftsprozesse und berücksichtigt auch die Integration von Geschäftsanliegen und Informationstechnologien. Die Klausurtagung des Forschungskollegs "Service-oriented Systems Engineering" findet einmal jährlich statt und bietet allen Kollegiaten die Möglichkeit den Stand ihrer aktuellen Forschung darzulegen. Bedingt durch die Querschnittstruktur des Kollegs deckt dieser Bericht ein weites Spektrum aktueller Forschungsthemen ab. Dazu zählen unter anderem Human Computer Interaction and Computer Vision as Service; Service-oriented Geovisualization Systems; Algorithm Engineering for Service-oriented Systems; Modeling and Verification of Self-adaptive Service-oriented Systems; Tools and Methods for Software Engineering in Service-oriented Systems; Security Engineering of Service-based IT Systems; Service-oriented Information Systems; Evolutionary Transition of Enterprise Applications to Service Orientation; Operating System Abstractions for Service-oriented Computing; sowie Services Specification, Composition, and Enactment. Design and Implementation of service-oriented architectures imposes a huge number of research questions from the fields of software engineering, system analysis and modeling, adaptability, and application integration. Component orientation and web services are two approaches for design and realization of complex web-based system. Both approaches allow for dynamic application adaptation as well as integration of enterprise application. Commonly used technologies, such as J2EE and .NET, form de facto standards for the realization of complex distributed systems. Evolution of component systems has lead to web services and service-based architectures. This has been manifested in a multitude of industry standards and initiatives such as XML, WSDL UDDI, SOAP, etc. All these achievements lead to a new and promising paradigm in IT systems engineering which proposes to design complex software solutions as collaboration of contractually defined software services. Service-Oriented Systems Engineering represents a symbiosis of best practices in object-orientation, component-based development, distributed computing, and business process management. It provides integration of business and IT concerns. The annual Ph.D. Retreat of the Research School provides each member the opportunity to present his/her current state of their research and to give an outline of a prospective Ph.D. thesis. Due to the interdisciplinary structure of the research school, this technical report covers a wide range of topics. These include but are not limited to: Human Computer Interaction and Computer Vision as Service; Service-oriented Geovisualization Systems; Algorithm Engineering for Service-oriented Systems; Modeling and Verification of Self-adaptive Service-oriented Systems; Tools and Methods for Software Engineering in Service-oriented Systems; Security Engineering of Service-based IT Systems; Service-oriented Information Systems; Evolutionary Transition of Enterprise Applications to Service Orientation; Operating System Abstractions for Service-oriented Computing; and Services Specification, Composition, and Enactment.




Squimera


Book Description

Software development tools that work and behave consistently across different programming languages are helpful for developers, because they do not have to familiarize themselves with new tooling whenever they decide to use a new language. Also, being able to combine multiple programming languages in a program increases reusability, as developers do not have to recreate software frameworks and libraries in the language they develop in and can reuse existing software instead. However, developers often have a broad choice with regard to tools, some of which are designed for only one specific programming language. Various Integrated Development Environments have support for multiple languages, but are usually unable to provide a consistent programming experience due to different features of language runtimes. Furthermore, common mechanisms that allow reuse of software written in other languages usually use the operating system or a network connection as the abstract layer. Tools, however, often cannot support such indirections well and are therefore less useful in debugging scenarios for example. In this report, we present a novel approach that aims to improve the programming experience with regard to working with multiple high-level programming languages. As part of this approach, we reuse the tools of a Smalltalk programming environment for other languages and build a multi-language virtual execution environment which is able to provide the same runtime capabilities for all languages. The prototype system Squimera is an implementation of our approach and demonstrates that it is possible to reuse development tools, so that they behave in the same way across all supported programming languages. In addition, it provides convenient means to reuse and even mix software libraries and frameworks written in different languages without breaking the debugging experience.




International Conference on Advanced Intelligent Systems for Sustainable Development


Book Description

This book describes the potential contributions of emerging technologies in different fields as well as the opportunities and challenges related to the integration of these technologies in the socio-economic sector. In this book, many latest technologies are addressed, particularly in the fields of computer science and engineering. The expected scientific papers covered state-of-the-art technologies, theoretical concepts, standards, product implementation, ongoing research projects, and innovative applications of Sustainable Development. This new technology highlights, the guiding principle of innovation for harnessing frontier technologies and taking full profit from the current technological revolution to reduce gaps that hold back truly inclusive and sustainable development. The fundamental and specific topics are Big Data Analytics, Wireless sensors, IoT, Geospatial technology, Engineering and Mechanization, Modeling Tools, Risk analytics, and preventive systems.




Advanced Information Systems Engineering Workshops


Book Description

This book constitutes the thoroughly refereed proceedings of the international workshops associated with the 33rd International Conference on Advanced Information Systems Engineering, CAiSE 2021, which was held during June 28-July 2, 2021. The conference was planned to take place in Melbourne, Australia, but changed to an online format due to the COVID-19 pandemic. The workshops included in this volume are: · BC4IS: 1st International Workshop on Blockchain for Information Systems · EMoBI : 3rd International Workshop on Ethics and Morality in Business Informatics · KET4DF : 3rd International Workshop on Key Enabling Technology for Digital Factories · MOBA: 1st International Workshop on Model-driven Organizational and Business Agility · NeGIS: 2nd International Workshop on Next Generation Information Systems They focus on topics and trends ranging from blockchain technologies to digital factories, ethics, and business agility to the next generation of information systems. The 14 full papers and 1 short paper presented in this volume were carefully reviewed and selected from 33 submissions.




Enterprise and Organizational Modeling and Simulation


Book Description

This book constitutes the refereed proceedings of the 15th International Workshop on Enterprise and Organizational Modeling and Simulation, EOMAS 2019, held in Rome, Italy, in June 2019. The main focus of EOMAS is on the role, importance, and application of modeling and simulation within the extended organizational and enterprise context. The 12 full papers presented in this volume were carefully reviewed and selected from 25 submissions. They were organized in topical sections on conceptual modeling, enterprise engineering, and formal methods.




Formal Methods. FM 2019 International Workshops


Book Description

This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the papers that have been accepted for the following workshops: Third Workshop on Practical Formal Verification for Software Dependability, AFFORD 2019; 8th International Symposium From Data to Models and Back, DataMod 2019; First Formal Methods for Autonomous Systems Workshop, FMAS 2019; First Workshop on Formal Methods for Blockchains, FMBC 2019; 8th International Workshop on Formal Methods for Interactive Systems, FMIS 2019; First History of Formal Methods Workshop, HFM 2019; 8th International Workshop on Numerical and Symbolic Abstract Domains, NSAD 2019; 9th International Workshop on Open Community Approaches to Education, Research and Technology, OpenCERT 2019; 17th Overture Workshop, Overture 2019; 19th Refinement Workshop, Refine 2019; First International Workshop on Reversibility in Programming, Languages, and Automata, RPLA 2019; 10th International Workshop on Static Analysis and Systems Biology, SASB 2019; and the 10th Workshop on Tools for Automatic Program Analysis, TAPAS 2019.




Proceedings Of The 11th Joint International Computer Conference: Jicc 2005


Book Description

This book presents the latest techniques, algorithms, research accomplishments and trend in computer science and engineering. It collects together 222 peer reviewed papers presented at the 11th Joint International Computer Conference. The theme of this year is “IT: Intellectual Capital for the Betterment of Human Life”. The articles in this book cover a wide range of active and interesting areas such as Digital Entertainment, Grid Computing, Embedded System, Web Service and Knowledge Engineering. This book serves as a good reference not only for researchers but also for graduate students in corresponding fields.The proceedings have been selected for coverage in:•Index to Scientific & Technical Proceedings (ISTP CDROM version / ISI Proceedings)•CC Proceedings — Engineering & Physical Sciences




COOP 2014 - Proceedings of the 11th International Conference on the Design of Cooperative Systems, 27-30 May 2014, Nice (France)


Book Description

This volume presents the proceedings of the 11th International Conference on the Design of Cooperative Systems (COOP 2014). The conference is a venue for multidisciplinary research contributing to the design, assessment and analysis of cooperative systems and their integration in organizations, public venues, and everyday life. COOP emerged from the European tradition of Computer Supported Cooperative Work (CSCW) and Cognitive Ergonomics as practiced in France. These proceedings are a collection of 28 papers reflecting the variety of research activities in the field, as well as an increasing interest in investigating the use and design of ICT in all aspects of everyday life and society, and not merely in the workplace. The papers represent a variety of research topics, from healthcare to sustainable mobility to disaster response, in settings from all over the world. For the first time, the proceedings include papers presented in an Early-Career Researchers Track which was organized in order to give young researchers the opportunity to discuss their work with an international community. This collection of papers provides a picture of new developments and classic topics of research around cooperative systems, based on the principle that a deep knowledge of cooperative practices is a key to understanding technology impacts and producing quality designs. The articles presented will appeal to researchers and practitioners alike, as they combine an understanding of the nature of work with the possibilities offered by novel digital technologies.




Artificial Intelligence and Smart Environment


Book Description

This book reviews the state of the art of big data analysis, artificial intelligence, and smart environments. Data is becoming an increasingly decisive resource in modern societies, economies, and governmental organizations. Data science, artificial intelligence, and smart environments inspire novel techniques and theories drawn from mathematics, statistics, information theory, computer science, and social science. This book reviews the state of the art of big data analysis, artificial intelligence, and smart environments. It includes issues that pertain to signal processing, probability models, machine learning, data mining, database, data engineering, pattern recognition, visualization, predictive analytics, data warehousing, data compression, computer programming, smart city, etc. The papers in this book were the outcome of research conducted in this field of study. The latter makes use of applications and techniques related to data analysis in general and big data and smart city in particular. The book appeals to advanced undergraduate and graduate students, post-doctoral researchers, lecturers, and industrial researchers, as well as anyone interested in big data analysis and artificial intelligence.