Peer Reviewed Publications

  • [2010,article] bibtex    DOI
    G. Georg, K. Anastasakis, B. Bordbar, S. H. Houmb, I. Ray, and M. Toahchoodee, "Verification and Trade-Off Analysis of Security Properties in UML System Models," IEEE Transactions on Software Engineering, vol. 36, pp. 338-356, 2010. 
    @ARTICLE{Georg2010,
      author = {Geri Georg and Kyriakos Anastasakis and Behzad Bordbar and Siv Hilde Houmb and Indrakshi Ray and Manachai Toahchoodee},
      title = {Verification and Trade-Off Analysis of Security Properties in {UML} System Models},
      journal = {IEEE Transactions on Software Engineering},
      year = {2010},
      volume = {36},
      pages = {338--356},
      address = {Los Alamitos, CA, USA},
      doi = {http://doi.ieeecomputersociety.org/10.1109/TSE.2010.36},
      issn = {0098-5589},
      publisher = {IEEE Computer Society}
    }
  • [2009,inproceedings] bibtex  PDF  
    M. Toahchoodee, I. Ray, K. Anastasakis, G. Georg, and B. Bordbar, "Ensuring Spatio-Temporal Access Control for Real-World Applications," in 14th ACM Symposium on Access Control Models and Technologies (SACMAT), Stresa, Italy, 2009, pp. 13-22. 
    @INPROCEEDINGS{Toahchoodee2009,
      author = {Manachai Toahchoodee and Indrakshi Ray and Kyriakos Anastasakis and Geri Georg and Behzad Bordbar},
      title = {Ensuring Spatio-Temporal Access Control for Real-World Applications},
      booktitle = {14th ACM Symposium on Access Control Models and Technologies (SACMAT)},
      year = {2009},
      pages = {13--22},
      address = {Stresa, Italy},
      pdf = {http://kyriakos.anastasakis.net/prof/pubs/sacmat09.pdf}
    }
  • [2009,article] bibtex    DOI
    G. Georg, I. Ray, K. Anastasakis, B. Bordbar, M. Toahchoodee, and S. H. Houmb, "An Aspect-Oriented Methodology for Desinging Secure Applications," Information and Software Technology. Special Issue on Model Based Development for Secure Information Systems, vol. 51, iss. 5, pp. 809-956, 2009. 
    @ARTICLE{Georg2009,
      author = {Geri Georg and Indrakshi Ray and Kyriakos Anastasakis and Behzad Bordbar and Manachai Toahchoodee and Siv Hilde Houmb},
      title = {An {A}spect-{O}riented {M}ethodology for {D}esinging {S}ecure {A}pplications},
      journal = {Information and Software Technology. Special Issue on Model Based Development for Secure Information Systems},
      year = {2009},
      volume = {51},
      pages = {809--956},
      number = {5},
      month = {May},
      doi = {http://dx.doi.org/10.1016/j.infsof.2008.05.004}
    }
  • [2009,inproceedings] bibtex   
    S. M. A. Shah, K. Anastasakis, and B. Bordbar, "From UML to Alloy and back again," in Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation (MODEVVA 09), 2009. (Best Paper Award)
    @INPROCEEDINGS{Shah2009,
      author = {Seyyed M. A. Shah and Kyriakos Anastasakis and Behzad Bordbar},
      title = {From {UML} to {A}lloy and back again},
      booktitle = {Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation ({MODEVVA} 09)},
      year = {2009},
      volume = {413},
      series = {{ACM} International Conference Proceeding Series},
      htmlnotes = {(Best Paper Award)}
    }
  • [2008,article] bibtex  PDF   DOI
    K. Anastasakis, B. Bordbar, G. Georg, and I. Ray, "On Challenges of Model Transformation from UML to Alloy," Software and Systems Modeling, Special Issue on MoDELS 2007, vol. 9, iss. 1, pp. 69-86, 2008. 
    @ARTICLE{Anastasakis2008,
      author = {Kyriakos Anastasakis and Behzad Bordbar and Geri Georg and Indrakshi Ray},
      title = {On {C}hallenges of {M}odel {T}ransformation from {UML} to {A}lloy},
      journal = {Software and Systems Modeling, Special Issue on {MoDELS 2007}},
      year = {2008},
      volume = {9},
      pages = {69--86},
      number = {1},
      doi = {http://dx.doi.org/10.1007/s10270-008-0110-3},
      pdf = {http://kyriakos.anastasakis.net/prof/pubs/sosym08.pdf}
    }
  • [2008,inproceedings] bibtex  PDF  
    S. Shah, K. Anastasakis, and B. Bordbar, "Using Traceability for Reverse Instance Transformations with SiTra," in Design and Architectures for Signal and Image Processing (DASIP 2008). Special Session on Formal Models, Transformations and Architectures for Reliable Embedded System Design., Bruxelles, Belgium, 2008. 
    @INPROCEEDINGS{Shah2008,
      author = {Seyyed Shah and Kyriakos Anastasakis and Behzad Bordbar},
      title = {Using Traceability for Reverse Instance Transformations with {SiTra}},
      booktitle = {Design and Architectures for Signal and Image Processing (DASIP 2008). Special Session on Formal Models, Transformations and Architectures for Reliable Embedded System Design.},
      year = {2008},
      address = {Bruxelles, Belgium},
      pdf = {http://kyriakos.anastasakis.net/prof/pubs/dasip08.pdf}
    }
  • [2007,inproceedings] bibtex  PDF   DOI
    K. Anastasakis, B. Bordbar, G. Georg, and I. Ray, "UML2Alloy: A Challenging Model Transformation," in ACM/IEEE 10th International Conference on Model Driven Engineering Languages and Systems, Nashville, USA, 2007, pp. 436-450. (Acceptance rate: 28%)
    @INPROCEEDINGS{Anastasakis2007a,
      author = {Kyriakos Anastasakis and Behzad Bordbar and Geri Georg and Indrakshi Ray},
      title = {{UML2Alloy}: {A} {C}hallenging {M}odel {T}ransformation},
      booktitle = {{ACM/IEEE} 10th {I}nternational {C}onference on {M}odel {D}riven {E}ngineering {L}anguages and {S}ystems},
      year = {2007},
      editor = {Engels, G. and Opdyke, B. and Schmidt, D.C. and Weil, F.},
      volume = {4735},
      series = {LNCS},
      pages = {436--450},
      address = {Nashville, USA},
      publisher = {Springer},
      abstract = {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 flaws at early stages of the software development. Our research makes use of model based techniques for the automated transformation of UML class diagrams with OCL constraints to Alloy code. The paper demonstrates challenging aspects of the model transformation, which originate in fundamental differences between UML and Alloy. We shall discuss some of the differences and illustrate their implications on the model transformation process. The presented approach is explained via an example of a secure e-business system.},
      doi = {http://dx.doi.org/10.1007/978-3-540-75209-7_30},
      htmlnotes = {(Acceptance rate: 28%)},
      keywords = {Alloy, MDD, Class Diagram, OCL},
      pdf = {http://kyriakos.anastasakis.net/prof/pubs/models07.pdf}
    }
  • [2007,inproceedings] bibtex  PDF  
    K. Anastasakis, B. Bordbar, and J. M. Küster, "Analysis of Model Transformations via Alloy," in Proceedings of the 4th MoDeVVa workshop Model-Driven Engineering, Verification and Validation, 2007, pp. 47-56. 
    @INPROCEEDINGS{Anastasakis2007c,
      author = {Kyriakos Anastasakis and Behzad Bordbar and Jochen M. K{\"u}ster},
      title = {Analysis of {M}odel {T}ransformations via {A}lloy},
      booktitle = {Proceedings of the 4th {MoDeVVa} workshop {M}odel-{D}riven {E}ngineering, {V}erification and {V}alidation},
      year = {2007},
      editor = {Benoit Baudry and Alain Faivre and Sudipto Ghosh and Alexander Pretschner},
      pages = {47--56},
      pdf = {http://kyriakos.anastasakis.net/prof/pubs/modevva07.pdf}
    }
  • [2005,inproceedings] bibtex  PDF  
    B. Bordbar and K. Anastasakis, "UML2Alloy: A tool for lightweight modelling of Discrete Event Systems.," in IADIS International Conference in Applied Computing 2005, Algarve, Portugal, 2005, pp. 209-216. 
    @INPROCEEDINGS{Bordbar2005,
      author = {Behzad Bordbar and Kyriakos Anastasakis},
      title = {{UML2Alloy: A tool for lightweight modelling of Discrete Event Systems}.},
      booktitle = {IADIS International Conference in Applied Computing 2005},
      year = {2005},
      editor = {Nuno Guimar{\~a}es and Pedro Isa{\'i}as},
      volume = {1},
      pages = {209-216},
      address = {Algarve, Portugal},
      month = {February},
      publisher = {IADIS Press},
      abstract = {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 defacto standard for modelling, specification and implementation of Object based systems. This paper studies the integration of the UML and Alloy into a single CASE tool, which aims to take advantage of the positive aspect of both the UML and Alloy. Alloy and UML specification provide two views of the system. In order to synchronise the two views, we make use of the MDA style transformation. In particular, we shall present a Meta Object Facility (MOF) compliant metamodel for Alloy and define a model transformation from the UML metamodel to the Alloy metamodel. Based on the approach presented in the paper, we have implemented a tool called UML2Alloy for the modelling and analysis of Discrete Event Systems. To evaluate the tool, the paper presents a case study involving the modelling and analysis of a prototype manufacturing system.},
      isbn = {972-99353-6-X},
      keywords = {UML, OCL, Alloy, Verification, MDA, Metamodel, Transformation},
      pdf = {http://kyriakos.anastasakis.net/prof/pubs/iadis05.pdf}
    }
  • [2005,inproceedings] bibtex  PDF   DOI
    B. Bordbar and K. Anastasakis, "MDA and Analysis of Web Applications," in Trends in Enterprise Application Architecture (TEAA) 2005, Trondheim, Norway, 2005, pp. 44-55. 
    @INPROCEEDINGS{Bordbar2005a,
      author = {Behzad Bordbar and Kyriakos Anastasakis},
      title = {{MDA} and {A}nalysis of {W}eb {A}pplications},
      booktitle = {Trends in Enterprise Application Architecture ({TEAA}) 2005},
      year = {2005},
      volume = {3888},
      series = {Lecture notes in Computer Science},
      pages = {44--55},
      address = {Trondheim, Norway},
      month = {August},
      publisher = {Springer},
      abstract = {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 applications is refined to create a new model called Abstract Description of Interaction (ADI). An ADI is a UML class diagram annotated with OCL statements to represent an abstraction of the interaction between the thin client and the business logic. Secondly, the ADI model is automatically transferred to an Alloy model and analysed using the Alloy Analyser.},
      doi = {http://dx.doi.org/10.1007/11681885_5},
      pdf = {http://kyriakos.anastasakis.net/prof/pubs/teaa05.pdf}
    }

PhD Thesis

  • [2009,phdthesis] bibtex  PDF  
    K. Anastasakis, "A Model Driven Approach for the Automated Analysis of UML Class Diagrams," PhD Thesis , 2009. 
    @PHDTHESIS{Anastasakis2009,
      author = {Kyriakos Anastasakis},
      title = {A Model Driven Approach for the Automated Analysis of {UML} Class Diagrams},
      school = {School of Computer Science},
      year = {2009},
      pdf = {http://kyriakos.anastasakis.net/prof/pubs/anastasakis_thesis.pdf}
    }

Other

  • [2007,misc] bibtex   Go to document 
    K. Anastasakis, UML2Alloy Reference Manual, 2007. 
    @MISC{Anastasakis2007,
      author = {Kyriakos Anastasakis},
      title = {{UML2Alloy} {R}eference {M}anual},
      year = {2007},
      note = {DRAFT},
      school = {School of Computer Science, The University of Birmingham, UK},
      url = {http://www.cs.bham.ac.uk/~bxb/UML2Alloy/}
    }
  • [2007,techreport] bibtex  PDF  
    K. Anastasakis and B. Bordbar, "Using Alloy for the Analysis of Model Transformations: A Case Study," School of Computer Science, The University of Birmingham, UK2007. 
    @TECHREPORT{Anastasakis2007b,
      author = {Kyriakos Anastasakis and Behzad Bordbar},
      title = {Using {A}lloy for the {A}nalysis of {M}odel {T}ransformations: {A} {C}ase {S}tudy},
      institution = {School of Computer Science, The University of Birmingham, UK},
      year = {2007},
      note = {(In Preperation)},
      pdf = {http://kyriakos.anastasakis.net/prof/pubs/report07.pdf},
      timestamp = {2007.07.10}
    }

Leave a reply

<a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code class="" title="" data-url=""> <del datetime=""> <em> <i> <q cite=""> <s> <strike> <strong> <pre class="" title="" data-url=""> <span class="" title="" data-url=""> 

required

Page last modified: 18:49 on July 23, 2009 (UTC+2)