posted by user: hugotvieira || 343 views || tracked by 1 users: [display]

ALVIS 2016 : Special Issue on Architectures, Languages and Verification techniques for Internet-based Society

FacebookTwitterLinkedInGoogle

Link: http://mts.hindawi.com/submit/journals/sp/alvis/
 
When N/A
Where N/A
Submission Deadline Sep 15, 2016
 

Call For Papers

* Highlights *
This SI aims at bringing together contributions by scientists and practitioners to shed light on the
development of technologies for the Internet-based society (IbS). Topics of interest include the
design and implementation of service-oriented architectures and microservices, communication and
coordination models for the IbS, and rigorous analysis techniques.
*Manuscript due*: September 15, 2016 *Publication date*: April 15, 2017

* Scope *
Exponential changes in technology and the introduction of mobile devices led to dramatic societal
changes in the last two decades. Furthermore, the rise of social networks mutated forever the way
in which people interact, work, study and have fun. It is difficult to envision an inversion of this
tendency, which instead seems to progress faster and faster with the introduction of newer
technologies such as touchless credit cards, biometric identification, etc. At the same time, work
methodologies are more and more based on cloud technology and it is now common practice to
use services for remote computation and storage. Today, the daily work routine and the spare time
of citizens heavily relies on communicating devices, which are based on communication protocols
that allow message exchanges over computer networks.

With this incredible and progressive change of technological scenario, established development
methodologies are becoming outdated and unable to cope with modern requirements and contexts.
This leads to a series of interesting and challenging questions. How reliable is our communication
infrastructure, and how can the software developed for it be tested and verified? Are there
development methodologies to enhance its reliability and efficiency? What software architectures
and design patterns are ideal to guarantee security of financial-critical systems and reliability for
safety-critical? Are there programming languages and paradigms able to simplify the design,
development and testing of communicating software, and increase success rate of deployment?
To what extent different programming paradigms such as functional, object-oriented, and
service-oriented programming can help software developers? Is the race towards extreme
distributed componentization, as in the recent paradigm of microservices, justified?

To answer these and many other questions, in this critical historical phase of software engineering
and programming languages, the “Special Issue on Architectures, Languages and Verification
Techniques for Internet-based Society” aims at bringing together contributions by scientists and
practitioners to shed light on the development of technologies and society, and find a common
understanding and direction. We invite investigators to contribute original research articles as well
as review articles that will help in understanding such a complex and multifaceted scenario.

Potential topics include, but are not limited to:
- Design and implementation of Service-oriented Architectures and Microservices
- Critical software in distributed computing
- Security in communicating systems
- Design and implementation of communication protocols
- Big Data: frameworks and applications
- Formal models and analysis of communicating systems
- Software engineering in communication-centred systems
- Autonomous and Smart systems
- Coordination models for communications
- Probabilistic models for concurrent systems
- Models for multi-agent systems
- Performance analysis in computer networks
- Architectural support for the IbS
- Programming languages for the IbS
- Models and platforms for sociotechnical systems

Related Resources

SAC PL 2017   ACM SAC'17 PL Track
FTSCS 2016   Fifth International Workshop on Formal Techniques for Safety-Critical Systems
TAIC PART 2017   12th Workshop on Testing: Academia-Industry Collaboration, Practice and Research Techniques
PDP 2017   The 25th Euromicro International Conference on Parallel, Distributed and Network-Based Processing
SS-FN-IEEE Access Journal 2017   IEEE Access Special Section on Future Networks: Architectures, Protocols, and Applications
AMARETTO 2017   2nd International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn
META 2016   1st Workshop on Meta-Programming Techniques and Reflection (META)
REBLS 2016   3rd International Workshop on Reactive and Event-Based Languages & Systems
IUI 2017   22nd ACM International Conference on Intelligent User Interfaces
ST: Model-Based Testing 2016   Theme issue on Model-Based Testing : Software and Systems Modeling Journal (SoSyM)