References of "van der Torre, Leon 50003247"
     in
Bookmark and Share    
Peer Reviewed
See detailpowerJava: ontologically founded roles in object oriented programming language
Baldoni, Matteo; Boella, Guido; van der Torre, Leon UL

in Proceedings of ACM Symposium on Applied Computing (SAC'06), Track Object Oriented Programming Languages and Systems (OOPS'06) (2006)

In this paper we introduce a new view on roles in Object Oriented programming languages, based on an ontological analysis of roles. A role is always associated with an object instance playing the role and ... [more ▼]

In this paper we introduce a new view on roles in Object Oriented programming languages, based on an ontological analysis of roles. A role is always associated with an object instance playing the role and also to an object instance (its institution) which represents its context. The definition of a role depends on the definition of the institution. This property allows to endow role-players with powers that can modify the state of the institution and of the other roles defined in it. As an example, we introduce a role construct in Java, where the abolve features are interpreted as follows. Roles are implemented as classes, which can be instantiated only in presence of an instance of the player and of an instance of an institution. The definition of a class implementing a role is included in the class of the institution, the role belongs to. Powers are methods which can access private fields and methods of the institution they belong to, and of the other roles of the same institution [less ▲]

Detailed reference viewed: 49 (1 UL)
Peer Reviewed
See detailUsing XML Transformations for Enterprise Architectures
Stam, A.; Jacob, J.; de Boer, F. S. et al

in Leveraging Applications of Formal Methods, First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers (2006)

In this paper we report on the use of XML transformations in the context of Enterprise Architectures. We show that XML transformation techniques can be applied to visualize and analyze enterprise ... [more ▼]

In this paper we report on the use of XML transformations in the context of Enterprise Architectures. We show that XML transformation techniques can be applied to visualize and analyze enterprise architectures in a formal way. We propose transformational techniques to extract views from an XML document containing architectural information and indicate how to perform a specific form of impact analysis on this information. The transformations are formally expressed with the language RML, a compact yet powerful transformation language developed at CWI, which obtains its power from regular expressions defined on XML documents. We discuss a tool that has been built on top of it to visualize the results of the transformations and illustrate the advantages of our approach: the genericity of XML, the application of a single technique (namely XML transformations) for various tasks, and the benefits of having a model viewer which is in complete ignorance of the architectural language used. [less ▲]

Detailed reference viewed: 114 (0 UL)
Full Text
Peer Reviewed
See detailCoordination and Organization: Definitions, Examples and Future Research Directions.
Boella, Guido UL; van der Torre, Leon UL

in Electronic Notes in Theoretical Computer Science (2006), 150(3), 320

Coordination languages and models like Linda and Reo have been developed in computer science to coordinate the interaction among components and objects, and are nowadays used to model and analyze ... [more ▼]

Coordination languages and models like Linda and Reo have been developed in computer science to coordinate the interaction among components and objects, and are nowadays used to model and analyze organizations too. Moreover, organizational concepts are used to enrich the existing coordination languages and models. We describe this research area of “organization and coordination” by presenting definitions, examples, and future research directions. We highlight two issues. First, we argue for a study of value-based rather than information-based coordination languages to model the coordination of autonomous agents and organizations. Second, we argue for a study of the balance between enforced control and trust-based anticipation to deal with security aspects in the coordination of organizations. [less ▲]

Detailed reference viewed: 103 (0 UL)