Hide metadata

dc.date.accessioned2016-01-07T13:48:18Z
dc.date.available2016-01-07T13:48:18Z
dc.date.issued2014
dc.identifier.urihttp://hdl.handle.net/10852/48452
dc.description.abstractThe 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.isoenen_US
dc.relation.haspartPaper 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.haspartPaper 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.haspartPaper 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.haspartPaper 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.urihttp://dx.doi.org/10.1007/s11334-012-0184-5
dc.relation.urihttp://dx.doi.org/10.1016/j.jlamp.2014.07.001
dc.relation.urihttp://dx.doi.org/10.1007/978-3-642-21437-0_27
dc.rights.urihttp://dx.doi.org/10.1007/978-3-642-34281-3_8
dc.titleExecutable Modeling of Deployment Decisions for Resource-Aware Distributed Applicationsen_US
dc.typeDoctoral thesisen_US
dc.creator.authorTapia Tarifa, Silvia Lizeth
dc.identifier.urnURN:NBN:no-52353
dc.type.documentDoktoravhandlingen_US
dc.identifier.fulltextFulltext https://www.duo.uio.no/bitstream/handle/10852/48452/1/1484_Tarifa_materie_copyright.pdf


Files in this item

Appears in the following Collection

Hide metadata