Interaction protocols in paradigm : extensions to a modeling language through tool development

Centraal in dit proefschrift staat het begrip interactie - wederzijds beinvloedend gedrag. In hedendaagse computersystemen speelt interactie een steeds belangrijker rol. Software wordt meer en meer ontwikkeld als een verzameling zelfstandig werkende componenten die services aanbieden aan andere componenten. Iedere component kent een eigen "levenscyclus" - hij wordt ontwikkeld, doorontwikkeld, uitgebreid, gesplitst, samengevoegd, en weer weggegooid. Concrete toepassingen ontstaan doordat componenten worden samengesteld tot een groter geheel. Zulke toepassingen zijn alleen bruikbaar als er sprake is van zinvolle interactie tussen de componenten.De modelleertaal Paradigm, ontwikkeld aan het Leiden Institute of Advanced Computer Science (LIACS), is een taal die speciaal geschikt is voor het modelleren en analyseren van interactie. Een Paradigm-model beschrijft op een abstract niveau het gedrag van individuele componenten, de rollen die de componenten kunnen spelen in interactie met andere componenten, en de manier waarop die interactie tussen de rollen plaatsvindt. De taal heeft een aantal interessante eigenschappen, niet in de laatste plaats het feit dat het een executeerbare taal is: Paradigm-modellen kunnen door een computer worden uitgevoerd. Als bijzondere bijkomstigheid kunnen Paradigm-modellen zo worden ingericht dat ze zichzelf veranderen terwijl ze worden uitgevoerd - zo kunnen we ook de levenscyclus van componenten modelleren.LEI Universiteit LeidenFoundations of Software Technolog

Using XML Transformations for Enterprise Architectures

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

Using xml transformations for enterprise architectures

Abstract. 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.