Poplar: Java composition with labels and AI planning

Authors:
Johan T. Nyström Persson;Shinichi Honiden
Affiliations:
University of Tokyo, Tokyo, Japan;National Institute of Informatics, Tokyo, Japan
Venue:
Proceedings of the 2nd workshop on Free composition @ onward! 2011
Year:
2011

Citing 13
Cited 0

Typestate: A programming language concept for enhancing software reliability

IEEE Transactions on Software Engineering
A behavioral notion of subtyping

ACM Transactions on Programming Languages and Systems (TOPLAS)
Specification matching of software components

ACM Transactions on Software Engineering and Methodology (TOSEM)
Procedure Calls Are the Assembly Language of Software Interconnection: Connectors Deserve First-Class Status

ICSE '93 Selected papers from the Workshop on Studies of Software Design
Fully Automatic Adaptation of Software Components Based on Semantic Specifications

AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
Jungloid mining: helping to navigate the API jungle

Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation
The Role of Refactorings in API Evolution

ICSM '05 Proceedings of the 21st IEEE International Conference on Software Maintenance
Combining Proof Plans with Partial Order Planning for Imperative Program Synthesis

Automated Software Engineering
Rethinking software connectors

International workshop on Synthesis and analysis of component connectors: in conjunction with the 6th ESEC/FSE joint meeting
The mythical matched modules: overcoming the tyranny of inflexible software construction

Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications
Patterns of component evolution

SC'07 Proceedings of the 6th international conference on Software composition
Systematic nonlinear planning

AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 2
Towards an engineering approach to component adaptation

Proceedings of the 2004 international conference on Architecting Systems with Trustworthy Components

Quantified Score

Hi-index	0.00

Visualization

Abstract

Class evolution in object-oriented programming often causes so-called breaking changes, largely because of the rigidity of component interconnections in the form of explicit method calls and field accesses. We present a Java extension, Poplar, which we are currently developing. In Poplar, inter-component dependencies are expressed using declarative queries; concrete linking code, generated using a planning algorithm, replaces these at compile time. We show how Poplar can enable fully automatic integration of Java components through evolvable and statically checkable integration links, pointing the way to a new general composition method for object-oriented languages.