Kyriakos Anastasakis

Learn More
Alloy is a formal language, which has been applied to modelling of systems in a wide range of application domains. It is supported by Alloy Analyzer, a tool, which allows fully automated analysis. As a result, creating Alloy code from a UML model provides the opportunity to exploit analysis capabilities of the Alloy Analyzer to discover possible design(More)
The Unified Modeling Language (UML) is the de facto language used in the industry for software specifications. Once an application has been specified, Model Driven Architecture (MDA) techniques can be applied to generate code from such specifications. Since implementing a system based on a faulty design requires additional cost and effort, it is important(More)
The brown macro-alga Laminaria saccharina was converted into bio-crude by hydrothermal liquefaction in a batch reactor. The influence of reactor loading, residence time, temperature and catalyst (KOH) loading was assessed. A maximum bio-crude yield of 19.3 wt% was obtained with a 1:10 biomass:water ratio at 350 °C and a residence time of 15 min without the(More)
The concept of model transformations is central to the domain of Model Driven Engineering (MDE). A model transformation automates the translation of models between a source and a target language. In order to reason about the correctness of the translation it is important to be able to analyse model transformations. A model transformation specification can(More)
Alloy is a textual language developed by Daniel Jackson and his team at MIT. It is a formal language, which has a succinct syntax and allows specification and automatic analysis of a wide variety of systems. On the other hand, the Unified Modelling Language (UML) is a semi-formal language, which is accepted by the software engineering community as the(More)
Enterprise systems are mission critical. As a result, ensuring their correctness is of primary concern. This paper aids to the analysis of Web Applications, focusing on the aspects related to the interaction of business logic and Web browsers. The method adopted is based on the Model Driven Architecture. First, the Platform Independent Model of Web(More)
We propose a methodology, based on Aspect-Oriented Modeling (AOM), for incorporating security mechanisms in an application. The functionality of the application is described using the primary model and the attacks are specified using aspects. The attack aspect is composed with the primary model to obtain the misuse model. The misuse model describes how much(More)
Model Transformations can be used to bridge the gap between design and analysis <i>technical spaces</i> by creating tools that allow a model produced by a designer to be transformed to a model suitable for conducting automated analysis. Such model transformations aim at allowing the designer to benefit from the capabilities provided by analysis tools and(More)
To avoid negative impacts on food production, novel non-food biofuel feedstocks need to be identified and utilised. One option is to utilise marine biomass, notably fast-growing, large marine 'plants' such as the macroalgal kelps. This paper reports on the changing composition of Laminaria digitata throughout it growth cycle as determined by new(More)