This SI aims at bringing together contributions by scientists and practitioners to shed light on the<br>development of technologies for the Internet–based society (IbS). Topics of interest include the<br>design and implementation of service–oriented architectures and microservices, communication and<br>coordination models for the IbS, and rigorous analysis techniques.<br>*Manuscript due*: September 15, 2016 *Publication date*: April 15, 2017<br>* Scope *<br>Exponential changes in technology and the introduction of mobile devices led to dramatic societal<br>changes in the last two decades. Furthermore, the rise of social networks mutated forever the way<br>in which people interact, work, study and have fun. It is difficult to envision an inversion of this<br>tendency, which instead seems to progress faster and faster with the introduction of newer<br>technologies such as touchless credit cards, biometric identification, etc. At the same time, work<br>methodologies are more and more based on cloud technology and it is now common practice to<br>use services for remote computation and storage. Today, the daily work routine and the spare time<br>of citizens heavily relies on communicating devices, which are based on communication protocols<br>that allow message exchanges over computer networks.<br>With this incredible and progressive change of technological scenario, established development<br>methodologies are becoming outdated and unable to cope with modern requirements and contexts.<br>This leads to a series of interesting and challenging questions. How reliable is our communication<br>infrastructure, and how can the software developed for it be tested and verified? Are there<br>development methodologies to enhance its reliability and efficiency? What software architectures<br>and design patterns are ideal to guarantee security of financial–critical systems and reliability for<br>safety–critical? Are there programming languages and paradigms able to simplify the design,<br>development and testing of communicating software, and increase success rate of deployment?<br>To what extent different programming paradigms such as functional, object–oriented, and<br>service–oriented programming can help software developers? Is the race towards extreme<br>distributed componentization, as in the recent paradigm of microservices, justified?<br>To answer these and many other questions, in this critical historical phase of software engineering<br>and programming languages, the “Special Issue on Architectures, Languages and Verification<br>Techniques for Internet–based Society” aims at bringing together contributions by scientists and<br>practitioners to shed light on the development of technologies and society, and find a common<br>understanding and direction. We invite investigators to contribute original research articles as well<br>as review articles that will help in understanding such a complex and multifaceted scenario.<br>Potential topics include, but are not limited to:<br>– Design and implementation of Service–oriented Architectures and Microservices<br>– Critical software in distributed computing<br>– Security in communicating systems<br>– Design and implementation of communication protocols<br>– Big Data: frameworks and applications<br>– Formal models and analysis of communicating systems<br>– Software engineering in communication–centred systems<br>– Autonomous and Smart systems<br>– Coordination models for communications<br>– Probabilistic models for concurrent systems<br>– Models for multi–agent systems<br>– Performance analysis in computer networks<br>– Architectural support for the IbS<br>– Programming languages for the IbS<br>– Models and platforms for sociotechnical systems<br>
Abbrevation
ALVIS
Country
NN
Deadline Paper
Abstract