Nominal and Structural Subtyping in Component-Based Programming.

Ostermann, Klaus

doi:10.5381/jot.2008.7.1.a4

Cited by 16 publications

(11 citation statements)

References 36 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Ideally, we would like to write classes AbstractFile and AbstractFileReader which are statically verified to have the same structural interface as their concrete counterparts. This would require some form of structural subtyping or a form of nominal subtyping where a subtype of a class can be created without inheriting its implementation, such as in the work by Ostermann et al [19], [20].…”

Section: Discussionmentioning

confidence: 99%

Engineering Abstractions in Model Checking and Testing

Achenbach

Ostermann

2009

2009 Ninth IEEE International Working Conference on Source Code Analysis and Manipulation

Self Cite

View full text Add to dashboard Cite

Abstract-Abstractions are used in model checking to tackle problems like state space explosion or modeling of IO. The application of these abstractions in real software development processes, however, lacks engineering support. This is one reason why model checking is not widely used in practice yet and testing is still state of the art in falsification. We show how user-defined abstractions can be integrated into a Java PathFinder setting with tools like AspectJ or Javassist and discuss implications of remaining weaknesses of these tools. We believe that a principled engineering approach to designing and implementing abstractions will improve the applicability of model checking in practice.

show abstract

Section: Discussionmentioning

confidence: 99%

Engineering Abstractions in Model Checking and Testing

Achenbach

Ostermann

2009

2009 Ninth IEEE International Working Conference on Source Code Analysis and Manipulation

Self Cite

View full text Add to dashboard Cite

show abstract

“…When method names do not fit, the usual OOP solution is to implement Adapter classes like: Such name abstraction at a function level can also be related to the distinction between nominal and structural compatibilities (see e.g. [Bru02,Ost08]). Recall that in the nominal case, type compatibilities depend on explicit declarations, generally by explicit class inheritances and subtyping definitions.…”

Section: Functional Granularity Design In Oopmentioning

confidence: 99%

Functional Programming at Work in Object- Oriented Programming.

Narbel¹

2009

JOT

View full text Add to dashboard Cite

This paper is a synthesis about why and how some functional programming (FP) can be helpful from a program design point-of-view within mainstream object-oriented programming (OOP). We first introduce criteria to ensure that FP-oriented features give an effective functional/method granularity design level within OOP. Next, we list up and discuss the general techniques and design consequences of having such FP capabilities in OOP, i.e. code abstraction/factoring at a function level, generic iterator/loop implementations, operation compositions, sequence comprehensions, partial application and currying, reduction of the number of class definitions, name abstractions, and function-based structural compatibilities. We also stress some of the difficulties of blending FP constructs with OOP, by pointing out potential problems related to design granularity mismatch, architecture non-uniformity and datatype incoherences. Several classic OOP design patterns are analyzed, since FP techniques make alternative implementations manageable: basic cases like Strategies, Commands and Observers, but also Proxies (using functional-based evaluation control) and Visitors (using functional data-driven programming). This synthesis is illustrated with C# 3.0 which offers effective FP-oriented features -based on delegates -, but also by using comparisons with other cross-paradigm languages.

show abstract

“…In designing particular aspects of our system we have been inspired by a great many other technologies; in particular languages such as XAML [11], work on structural subtyping [12], event-driven architectures such as SEDA [19] and many others.…”

Section: Related Workmentioning

confidence: 99%

WS-OBJECTS: Extending Service-Oriented Architecture with Hierarchical Composition of Client-Side Asynchronous Event-Processing Logic

Ostrowski

Birman

2009

2009 IEEE International Conference on Web Services

View full text Add to dashboard Cite

Abstract-There is a growing need for a new type of WS-*/SOA standards that could facilitate hierarchical, object-oriented composition of client-side executable code. This is especially true for the sorts of client-side logic embedded in AJAX and rich Internet applications, virtual worlds and MMORPGs; code that deals with issuing requests to servers, processing their responses, rendering UI, interacting with users, and processing asynchronous events from other client nodes. The paper offers an analysis of client-side composition patterns, a brief explanation why they lack adequate support from the existing web technologies, and design guidelines for client-side component integration environments to follow. The proposed guidelines have been successfully implemented in a prototype system [16]. Our analysis is thus strongly rooted in reality; it is based on real experiences with concrete application scenarios. The paper concludes by highlighting the key architectural aspects of our implementation with respect to the principles listed earlier.

show abstract

Nominal and Structural Subtyping in Component-Based Programming.

Cited by 16 publications

References 36 publications

Engineering Abstractions in Model Checking and Testing

Engineering Abstractions in Model Checking and Testing

Functional Programming at Work in Object- Oriented Programming.

WS-OBJECTS: Extending Service-Oriented Architecture with Hierarchical Composition of Client-Side Asynchronous Event-Processing Logic

Contact Info

Product

Resources

About