A specification logic for dynamic composition of services

Lämmermann, Sven; Tyugu, Enn

doi:10.1109/cdcs.2001.918700

Cited by 3 publications

(3 citation statements)

References 10 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Also instance variables of the new class may be introduced automatically, if needed. The synthesis method used is SSPStructural Synthesis of Programs [1], [6].…”

Section: Software Generationmentioning

confidence: 99%

Visual tool for generative programming

Grigorenko

Saabas

Tyugu

2005

Proceedings of the 10th European Software Engineering Conference Held Jointly With 13th ACM SIGSOFT International Symposium on

View full text Add to dashboard Cite

A way of combining object-oriented and structural paradigms of software composition is demonstrated in a tool for generative programming. Metaclasses are introduced that are components with specifications called metainterfaces. Automatic code generation is used that is based on structural synthesis of programs. This guarantees that problems of handling data dependencies, order of application of components, usage of higher-order control structures etc are handled automatically. Specifications can be written either in a specification language or given visually on an architectural level. The tool is Java-based and portable.

show abstract

“…Also instance variables of the new class may be introduced automatically, if needed. The synthesis method used is SSPStructural Synthesis of Programs [1], [6].…”

Section: Software Generationmentioning

confidence: 99%

Visual tool for generative programming

Grigorenko

Saabas

Tyugu

2005

Proceedings of the 10th European Software Engineering Conference Held Jointly With 13th ACM SIGSOFT International Symposium on

View full text Add to dashboard Cite

show abstract

“…Techniques various power and complexity have been developed to describe interfaces of components. These approaches range from abstract interface definition languages like the Balboa Interface Definition Language (BIDL) (Doucet, Shukla, Gupta, & Otsuka, 2002), over XML-based component description languages (Pahl & Ward, 2002) and logic-based specifications (Lammermann & Tyugu, 2001) to automata-based languages (de Alfaro & Henzinger, 2001) that also capture temporal aspects of component interfaces. While the goal of these techniques is to facilitate the composition of components, they generally require programming expertise and the knowledge of technical details and, as such, are not suitable for the end users.…”

Section: Related Workmentioning

confidence: 99%

Semantic Composition of Web Portal Components

Jahnke

Bychkov

Dahlem

et al. 2006

Journal of Organizational and End User Computing

View full text Add to dashboard Cite

Many recently emerging component-based Web portal application platforms allow end users to compose dynamic Web dialogues on the fly. Experts predict that this paradigm will enable a class of new applications for Web-based content delivery in information-rich, agile business domains, such as health care. We present a conceptual analysis of the user-based composition paradigm currently used and argue that its usability is limited with respect to complex dynamic applications. To overcome these limitations, we present an alternative composition paradigm, which is based on a semantic model of a portal's application domain. We evaluate this approach with an application scenario in the health care domain.

show abstract

“…Also instance variables of the new class may be introduced automatically, if needed. The synthesis method used is SSP -Structural Synthesis of Programs [1], [6].…”

Section: Software Generationmentioning

confidence: 99%