dc.date.accessioned | 2016-01-07T13:48:18Z | |
dc.date.available | 2016-01-07T13:48:18Z | |
dc.date.issued | 2014 | |
dc.identifier.uri | http://hdl.handle.net/10852/48452 | |
dc.description.abstract | The increasing popularity of virtualized services and cloud computing, offering elastic and scalable computing resources challenges software engineering methods by asking a number of new questions: How can we integrate deployment-specific information in the overall design of software applications? How can we express and compare deployment decisions in the design phase, so that performance diagnosis can happen early in the software development cycle? How do we design scalable applications?
This thesis proposes a methodology for the modeling and analysis of object-oriented distributed applications that are able to adapt to changes in client traffic, so that they can keep desired levels of performance. As a starting point for developing our methodology, we take Core ABS, an abstract, behavioral specification language that targets the executable modeling of concurrent, distributed and object-oriented systems. We extend Core ABS with deployment-specific information such as deployment architectures, flexible application-specific schedulers, deadlines at the application level, resource management primitives, and user-defined resource costs.
The extensions are developed following conventions of formal methods, combining rigorous definitions and formal semantics with a user-friendly Java-like syntax and tool support. By exploiting these language extensions, our methodology makes it possible to compare at the modeling level how a software behaves under different deployment choices. Such comparisons allow a better understanding of the trade-offs from different deployment choices, consequently better design decisions for distributed applications can be made early in the software development life cycle.
By integrating resource management and deployment decisions in the design phase, our methodology has the potential to improve the software engineering process for virtualized and scalable software applications running in the cloud, both with respect to quality and with respect to development and deployment cost. | en_US |
dc.language.iso | en | en_US |
dc.relation.haspart | Paper 1. Bjørk, J., de Boer, F. S., Johnsen, E. B., Schlatte, R., & Tarifa, S. L. T. (2013). User-defined schedulers for real-time concurrent objects. Innovations in Systems and Software Engineering, 9(1), 29-43. The published version is available at: http://dx.doi.org/10.1007/s11334-012-0184-5 | |
dc.relation.haspart | Paper 2. Johnsen, E. B., Schlatte, R., & Tarifa, S. L. T. (2015). Integrating deployment architectures and resource consumption in timed object-oriented models. Journal of Logical and Algebraic Methods in Programming, 84(1), 67-91. The published version is available at: http://dx.doi.org/10.1016/j.jlamp.2014.07.001 | |
dc.relation.haspart | Paper 3. Johnsen, E. B., Schlatte, R., & Tarifa, S. L. T. (2012). Modeling resource-aware virtualized applications for the cloud in Real-Time ABS. In Formal Methods and Software Engineering (pp. 71-86). Springer Berlin Heidelberg. The published version is available at: http://dx.doi.org/10.1007/978-3-642-34281-3_8 | |
dc.relation.haspart | Paper 4. Albert, E., Genaim, S., Gómez-Zamalloa, M., Johnsen, E. B., Schlatte, R., & Tarifa, S. L. T. (2011). Simulating concurrent behaviors with worst-case cost bounds. In FM 2011: Formal Methods (pp. 353-368). Springer Berlin Heidelberg. The published version is available at: http://dx.doi.org/10.1007/978-3-642-21437-0_27 | |
dc.relation.uri | http://dx.doi.org/10.1007/s11334-012-0184-5 | |
dc.relation.uri | http://dx.doi.org/10.1016/j.jlamp.2014.07.001 | |
dc.relation.uri | http://dx.doi.org/10.1007/978-3-642-21437-0_27 | |
dc.rights.uri | http://dx.doi.org/10.1007/978-3-642-34281-3_8 | |
dc.title | Executable Modeling of Deployment Decisions for Resource-Aware Distributed Applications | en_US |
dc.type | Doctoral thesis | en_US |
dc.creator.author | Tapia Tarifa, Silvia Lizeth | |
dc.identifier.urn | URN:NBN:no-52353 | |
dc.type.document | Doktoravhandling | en_US |
dc.identifier.fulltext | Fulltext https://www.duo.uio.no/bitstream/handle/10852/48452/1/1484_Tarifa_materie_copyright.pdf | |