Pol: specification-driven synthesis of architectural code frameworks for platform-based applications

Authors:
Hamid Bagheri;Kevin Sullivan
Affiliations:
University of Virginia, Charlottesville, VA;University of Virginia, Charlottesville, VA
Venue:
Proceedings of the 11th International Conference on Generative Programming and Component Engineering
Year:
2012

Citing 26
Cited 1

Abstractions for Software Architecture and Tools to Support Them

IEEE Transactions on Software Engineering - Special issue on software architecture
Frameworks = (components + patterns)

Communications of the ACM
Exploiting ADLs to specify architectural styles induced by middleware infrastructures

Proceedings of the 21st international conference on Software engineering
Analysis of a Conflict between Aggregation and Interface Negotiation in Microsoft's Component Object Model

IEEE Transactions on Software Engineering
Principled design of the modern Web architecture

Proceedings of the 22nd international conference on Software engineering
Alloy: a lightweight object modelling notation

ACM Transactions on Software Engineering and Methodology (TOSEM)
ArchJava: connecting software architecture to implementation

Proceedings of the 24th International Conference on Software Engineering
Case Studies for Method and Tool Evaluation

IEEE Software
A Style-Aware Architectural Middleware for Resource-Constrained, Distributed Systems

IEEE Transactions on Software Engineering
Analyzing architectural styles with alloy

Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis
Design fragments make using frameworks easier

Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
Using SCL to Specify and Check Design Intent in Source Code

IEEE Transactions on Software Engineering
A metric for software readability

ISSTA '08 Proceedings of the 2008 international symposium on Software testing and analysis
A Scalable Approach to Multi-style Architectural Modeling and Verification

ICECCS '08 Proceedings of the 13th IEEE International Conference on on Engineering of Complex Computer Systems
A Lightweight Approach for Defining the Formal Semantics of a Modeling Language

MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Improving Domain-Specific Language Reuse with Software Product Line Techniques

IEEE Software
Supporting Framework Use via Automatically Extracted Concept-Implementation Templates

Genoa Proceedings of the 23rd European Conference on ECOOP 2009 --- Object-Oriented Programming
A Methodology and Framework for Creating Domain-Specific Development Infrastructures

ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Engineering of Framework-Specific Modeling Languages

IEEE Transactions on Software Engineering
An architecture-driven software mobility framework

Journal of Systems and Software
Guiding Architectural Restructuring through Architectural Styles

ECBS '10 Proceedings of the 2010 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems
Automating the construction of domain-specific modeling languages for object-oriented frameworks

Journal of Systems and Software
Archface: a contract place where architectural design and code meet together

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1
Architectural style as an independent variable

Proceedings of the IEEE/ACM international conference on Automated software engineering
A formal approach to software synthesis for architectural platforms

Proceedings of the 33rd International Conference on Software Engineering
Enhancing architecture-implementation conformance with change management and support for behavioral mapping

Proceedings of the 34th International Conference on Software Engineering

Bottom-up model-driven development

Proceedings of the 2013 International Conference on Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

Developing applications that use complex platforms for functionalities such as authentication and messaging is hard. Model-driven engineering promises to help, but transformation systems are themselves hard to produce. We contribute a new approach using constraint-based synthesis of partial code frameworks that developers complete by hand without the need for hand-coded transformation systems. Rather, synthesis is driven by formal, partial specifications of target platforms and application architectures, and by design (code) fragments encoding application-specific platform us-age patterns. We present results of an early evaluation using the case study method to test hypotheses of feasibility and potential industrial utility, using a laboratory model of a nationwide health information network as a subject system.