ESR-15 Ilias Gerostathopoulos

Model-driven development of scalable service-oriented systems

During my research I will be exploring the broad area of Cloud Computing focusing on the area of modeling and model-driven development of service-based applications. The purpose is to extend the current state of the art of model-driven methodologies and component-based software engineering in designing and maintaining service-oriented (cloud) applications.

Specifically, my focus is on modeling approaches that deal with high dynamicity apparent in cloud infrastructures. The on-demand and opportunistic fashion of operation, together with the increasing complexity of such systems call for models that will simplify the systems entire lifecycle, from design to maintenance.

Whereas traditional software engineering methodologies guide the procedure of building software systems from requirements and design phase to testing and deployment, they seem to be inefficient when exploited in the domain of continuously changing, massively distributed and dynamic systems. These systems need to adjust to changes in their architecture and environment seamlessly or, even better, integrate the absence of absolute certainty over their – constantly changing – architecture and environment. An appealing research direction seems to be the decomposition of such systems into components that operate upon temporary and volatile information in an autonomous and self-adaptive fashion. The research question that arises from the above is: How can we devise a systematic approach for designing such systems?

As a possible outcome of the research could be the development of a new component model, capable of handling the dynamicity by acquiring for changes in the environment. Another expected accomplishment is the suggestion of a design methodology that will guide the whole development process. The high-level design that will accompany this methodology could then be used as the basis for a tool that will allow for code generation through model transformation. A desired long-term goal would be the enhancement of the model and tool with means that allow for automatic verification through model checking.

Contact

iliasg[at]d3s.mff.cuni.cz

Homepage

http://d3s.mff.cuni.cz/~iliasg

Publications

Gerostathopoulos I., Keznikl J., Bureš T., Kit M., Plášil F.: Software Engineering for Software-Intensive Cyber-Physical Systems. In Proceedings of the CPSData Workshop: Big Data Technologies for the Analysis and Control of complex Cyber-Physical Systems (collocated with INFORMATIK 2014), September 23, Stuttgart, Germany, 2014 (to appear)

Gerostathopoulos I. : Model-Driven Design of Ensemble-Based Component Systems. In Joint Proceedings of MODELS’ 14 Poster Session and ACM Student Research Competition, Valencia, Spain, CEUR, September 2014 (to appear)

Gerostathopoulos I., Bureš T., Hnětynka P. : Position Paper: Towards a Requirements-Driven Design of Ensemble-Based Component Systems. In Proceedings of International Workshop on Hot Topics in Cloud Services (HotTopiCS 2013), April 20–21, Prague, Czech Republic, 2013, pp. 79-86, LINK

Gerostathopoulos I., Keznikl J., Bureš T., Kit M., Plášil F. Software Engineering for Software-Intensive Cyber-Physical Systems. Technical Report no. D3S-TR-2014-02, D3S, Charles University in Prague, 2014, PDF

Bureš T., Gerostathopoulos I., Hnětynka P., Keznikl J., Kit M., Plášil F. : Gossiping Components for Cyber-Physical Systems. In Proceedings of the 8th European Conference on Software Architecture (ECSA 2014), Vienna, Austria, Best Research Paper Award, Springer, August 2014, pp. 250-266, LINK

Al Ali R., Bureš T., Gerostathopoulos I., Hnětynka P., Keznikl J., Kit M., Plášil F.: DEECo: an Ecosystem for Cyber-Physical Systems. In Companion proceedings of the 36th International Conference on Software Engineering (ICSE 2014), Hyderabad, India, ACM, poster and extended abstract, June 2014, pp. 610-611, LINK

Bureš T., Gerostathopoulos I., Al Ali R. : DEECo: Software Engineering for Smart CPS. In ERCIM news Special theme: Cyber-Physical Systems, April 2014, LINK

Al Ali R., Bureš T., Gerostathopoulos I., Keznikl J., Kit M., Plášil F.: Architecture Adaptation Based on Belief Inaccuracy Estimation. In Proceedings of the 11th Working IEEE/IFIP Conference on Software Architecture (WICSA 2014), April 7-11, Sydney, Australia (to appear)

Al Ali R., Gerostathopoulos I., Gonzalez-Herrera I., Juan-Verdejo A., Kit M., Surajbali B.: An Architecture-Based Approach for Compute-Intensive Pervasive Systems in Dynamic Environments. In Proceedings of International Workshop on Hot Topics in Cloud service Scalability (ICPE ’14), March 20, Dublin, Ireland, 2014, PDF

Bures T., Gerostathopoulos I., Hnetynka P., Keznikl J., Kit M., Plasil F.: DEECo – an Ensemble-Based Component System. In Proceedings of the 16th International Symposium on Component-Based Software Engineering (CBSE 2013), June 17-21, Vancouver, Canada, 2013, pp.81-90, LINK

Keznikl J., Bures T., Plasil F., Gerostathopoulos I., Hnetynka P., Hoch N.: Design of Ensemble-Based Component Systems by Invariant Refinement. In Proceedings of the 16th International Symposium on Component-Based Software Engineering (CBSE 2013), June 17-21, Vancouver, Canada, 2013, pp-91-100, LINK

Bureš T., Rocco de Nicola, Gerostathopoulos I., Hoch N., Kit M., Koch N., Valentina Monreale G., Montanari U., Pugliese R., Serbedzija N., Wirsing M., Zambonelli F.: A Life Cycle for the Development of Autonomic Systems: The e-Mobility Showcase. In Proceedings of the 3rd Workshop on Challenges for Achieving Self-Awareness in Autonomic Systems, September 13, Philadelphia, USA, 2013., PDF

Bureš T., Gerostathopoulos I., Hnětynka P., Keznikl J., Kit M., Plášil F.: Autonomous components in dynamic environments. Awareness Magazine (official magazine for the Awareness: Self-Awareness in Autonomic Systems Future and Emerging Technologies Proactive Initiative, funded by the European Commission under FP7), 2012, PDF

Al Ali R., Bureš T., Gerostathopoulos I., Hnětynka P., Keznikl J., Kit M., and Plášil F.: DEECo computational model – I. Technical Report no. D3S-TR-2013-01. D3S, Charles University in Prague, 2013, PDF

Bureš T., Gerostathopoulos I., Hnětynka P., Keznikl J., Kit M., Plášil F., Plouzeau N. Adaptation in Cyber-Physical Systems: from System Goals to Architecture Configurations. Technical Report no. D3S-TR-2014-01, D3S, Charles University in Prague , 2014, PDF

Bureš T., Gerostathopoulos I., Hnětynka P., Keznikl J., Kit M., and Plášil F.: DEECo – an Ensemble-Based Component System. Technical Report no. D3S-TR-2013-02. D3S, Charles University in Prague, 2013, PDF

This entry was posted in Research Projects, WP1. Bookmark the permalink.

Comments are closed.