Electronic Communications of the EASST (European Association of Software Science and Technology)
Not a member yet
887 research outputs found
Sort by
De-/Re-constructing Model Transformation Languages
Get PDFThe diversity of today's model transformation languages makes it hard to compare their expressiveness and provide a framework for interoperability. De-constructing and then re-constructing model transformation languages by means of a unique set of most primitive constructs facilitates both. We thus introduce T-Core, a collection of primitives for model transformation. Combining T-Core with a (programming or modelling) language enables the design of model transformation formalisms. We show how basic and more advanced features from existing model transformation languages can be re-constructed using T-Core primitives
Patterns as Abstractions of Spatial Axes
Get PDFThe decision of how to model patterns as elements of formal systems is
a yet sparsely covered research topic. The present article introduces an approach which understands patterns as non-linguistic carriers of formal semantics in models. The notion of patterns is embedded into a theory which links spatial orientation and navigation to the constitution of semantics in human understanding. Inside this framework, the concept of patterns is treated conform to the notion of spatial axes on a shared higher level of abstraction. A formal model is presented which expresses the introduced notion of patterns in a practically applicable meta-modeling language
Generation of Celtic Key Patterns with Tree-based Collage Grammars
Get PDFTree-based collage grammars are a syntactic device for modelling visual languages.
Celtic art provides such languages, which follow precise rules of construction, for instance key patterns and knotwork.
In this paper, we study the syntactic generation of Celtic key patterns using tree-based collage grammars. Moreover, the regulation mechanisms we employ to ensure that only consistent key patterns are generated are compared with the mechanisms used in a previous study for knotwork
Building an Infrastructure Level Context Model in Ambient Assisted Living
Get PDFAmbient Assisted Living (AAL) services provide intelligent and context aware assistance for elderly people in their home environment. This domain puts special requirements on context modeling that are not in the scope of current context modeling approaches. Such an approach has to support all phases of an AAL service, from its specification and development until its operation within the user’s smart home environment. In these phases different types of context models can be identified. We have developed a comprehensive context modeling approach for the development of AAL services. Part of it is the separation of context modeling into infrastructure, service adaptation and end user modeling specific aspects. In this paper we focus on the infrastructure, which includes the context sensors available in the smart home environment. Therein we present our context modeling approach starting from a conceptual context model. We also introduce a context management system based on a metamodel that supports its seamless transition into an operative context model without further implementation
On Teaching Logic and Algebraic Specification
Get PDFWe discuss teaching experiences with courses on first-order logic and
on algebraic specification, with an emphasis on software tools that can be used by students and that illustrate the meaning of logical notions. In particular, we discuss Language, Proof and Logic and the Heterogeneous Tool Set. Moreover, we claim that structuring constructs like those of the Common Algebraic Specification Language can be better digested when starting with applying them to propositional logic
Manipulation of Graphs, Algebras and Pictures. Essays Dedicated to Hans-Jörg Kreowski on the Occasion of His 60th Birthday
Get PDFSupporting Pervasive and Social Communications with FRASCATI
Get PDFIn pervasive environments, the runtime adaptation of applications is done considering available event sources and services. To do that, the events have to be collected and processed, and the volatile services identified and accessed. However, although the event flow and service mobility are key issues in the adaptation process, existing solutions fail to deal with them in a simple and flexible way. Therefore, in this paper we propose to face these issues by combining the SCA (Service Component Architecture) standard, micro-blogging services and discovery technologies. In particular, we benefit from the SCA extensibility, supported by the binding concept, for introducing two new communication mechanisms: i) social bindings, allowing synchronous event exchange via Twitter and, ii) pervasive bindings that provide support for discovery using standard protocols such as UPnP. We add support for these bindings in FRASCATI (a platform for SCA) and illustrate their usage with a smart home scenario that requires the integration of heterogeneous technologies
Pattern Catalogs using the Pattern Language Meta Language
Get PDFThis article focuses on the pattern language PLML. Some enhancements and corrections to it are proposed to make use of PLML in pattern catalogs. Additionally, a textual domain specific language as human-readable variant of PLML is proposed. Supporting editors, textual and graphical, which were developed using model-based techniques are presented
From Separate Formal Specifications to Certified Integrated Visual Modelling Techniques and Environments - Position Statement
Get PDFIn this position statement we discuss the state of the art and role of formal specification and modelling techniques in different periods with special focus on the work of the TFS-group at TU-Berlin. In the past (1970 – 1990) single formal specification techniques have been developed with little impact on practical software development. In the present (1990 – 2010) integrated and visual modelling techniques have gained more and more importance. For the future (2010 – 2020) we try to sketch the idea of a Certified Integrated Visual Modelling Technique and Environment based on an integration of graph theory, graph transformation and Petri net theory, short Dynamic Graph and Net Theory