Andreas Mitrakas

  • Citations Per Year
Learn More
The Incoterms, international commercial terms, offer a rare example of highly standardised terms for commercial transactions. In this paper we present a logical analysis of the Incoterms. Our analysis shows that there is a rich variety of different cases of deontic and defeasible reasoning in the Incoterms. Most of the rules in the Incoterms are expressed(More)
Model driven architecture is an approach to increase the quality of complex software systems by creating high-level system models and automatically generating system architectures and components out of these models. We show how this paradigm can be applied to what we call model driven security for inter-organizational workflows in e-government. Our focus is(More)
This paper discusses future ways to regulate technology effectively in an ever accelerating speed of technological development. The current rate of response of legislation to technological evolution is unlikely to allow law keeping up pace with and responding to the needs of society for technology regulation. This is likely to create a rift between on one(More)
The delivery of seamless services is an essential feature of e-government applications. Offering seamless services presents several operational implications; a flexible and interoperable architecture is needed in order to provide some facilities to refer to, invoke, and combine e-government services in a standard way, within the context of(More)
  • 1