2,021 Hits in 5.1 sec

Compositional type-checking for delta-oriented programming

Ina Schaefer, Lorenzo Bettini, Ferruccio Damiani
2011 Proceedings of the tenth international conference on Aspect-oriented software development - AOSD '11  
In this paper, we provide a foundation for compositional type checking of delta-oriented product lines of JAVA programs by presenting a minimal core calculus for delta-oriented programming.  ...  The code base consists of a set of delta modules specifying modifications to object-oriented programs.  ...  We also thank Denis Meglio and Fabio Strocco for developing a prototypical implementation of a tool based on preliminary version of the IF∆J calculus.  ... 
doi:10.1145/1960275.1960283 dblp:conf/aosd/SchaeferBD11 fatcat:e3wa5mw4fnax3b5tlflvuqbel4

A formal foundation for dynamic delta-oriented software product lines

Ferruccio Damiani, Luca Padovani, Ina Schaefer
2013 SIGPLAN notices  
Delta-oriented programming (DOP) is a flexible approach for implementing software product lines (SPLs).  ...  DOP SPLs are implemented by a code base (a set of delta modules encapsulating changes to object-oriented programs) and a product line declaration (providing the connection of the delta modules with the  ...  We are grateful to the anonymous GPCE 2012 referees for insightful comments and suggestions for improving the presentation.  ... 
doi:10.1145/2480361.2371403 fatcat:pi6rxwfljzfthmloimbsk5lgou

Verification of Software Product Lines with Delta-Oriented Slicing [chapter]

Daniel Bruns, Vladimir Klebanov, Ina Schaefer
2011 Lecture Notes in Computer Science  
In this paper, we present delta-oriented slicing, an approach to reduce the deductive verification effort across an SPL where individual products are Java programs and their relations are described by  ...  SPL are often used in domains where high-quality software is desirable; the overwhelming product diversity, however, remains a challenge for assuring correctness.  ...  In delta-oriented programming, an SPL is implemented as a core module together with a set of delta modules.  ... 
doi:10.1007/978-3-642-18070-5_5 fatcat:fnzh2qdfnzaihejinjiyadpgsi

Behavior Consistency Verification for Evolution of Aspectual Component-Based Software

Xue Yao Zhou, Ning Jiang Chen, Dan Dan Hu
2013 Advanced Materials Research  
By using the semantic model of Pi-calculus, a set of the consistency verification methods of dynamic evolution from multiple aspects are introduced.  ...  A semantic model of aspectual component-based software is proposed to provide behavior description and semantic foundation for the consistency verification of software architecture dynamic evolution.  ...  Pi-calculus and Delta analysis.  ... 
doi:10.4028/ fatcat:qbdssjaxnjhdncrogx2eaundcq

Compositional type checking of delta-oriented software product lines

Lorenzo Bettini, Ferruccio Damiani, Ina Schaefer
2013 Acta Informatica  
In this paper, we provide a foundation for compositional type checking of delta-oriented product lines of JAVA programs by presenting a minimal core calculus for delta-oriented programming.  ...  The code base consists of a set of delta modules specifying modifications to object-oriented programs.  ...  We also thank Luca Padovani and Shmuel Tyszberowicz for useful comments on a preliminary version of this paper.  ... 
doi:10.1007/s00236-012-0173-z fatcat:mhxowg6fk5efzf4jh2fa6b2av4

A Functional Programming Language with Versions

Yudai Tanabe, Luthfan Anshar Lubis, Tomoyuki Aotani, Hidehiko Masuhara
2021 The Art, Science, and Engineering of Programming  
The type system guarantees the existence of a valid combination of versions for a program. The calculus enables programming languages to use multiple versions of a package within a program.  ...  The main goals are to design core language features to support multiple versions in one program and establish a proper notion of type safety with those features.  ...  We also thank Patrick Rein and Marcel Taeumel, Jens Lincke, and Robert Hirschfeld for discussions about the work presented in the paper.  ... 
doi:10.22152/ fatcat:kei5vpc2gjcszj5mocpk4h3rjy

Piccola — A Small Composition Language [chapter]

Oscar Nierstrasz
1999 Formal Methods for Open Object-Based Distributed Systems  
Using a concrete example, we illustrate how PICCOLA offers explicit support for viewing applications as compositions of components and show that separating components from their composition improves maintainability  ...  Although object-oriented languages are well-suited to implement software components, they fail to shine in the construction of component-based applications, largely because object-oriented design tends  ...  Acknowledgements We thank all members of the Software Composition Group for their support of this work, especially Juan Carlos Cruz, Serge Demeyer, Robb Nebbe, and Tamar Richner for helpful comments.  ... 
doi:10.1007/978-0-387-35562-7_1 fatcat:fgg7bav5ovafbo2gkbdc55vjiq

Software diversity: state of the art and perspectives

Ina Schaefer, Rick Rabiser, Dave Clarke, Lorenzo Bettini, David Benavides, Goetz Botterweck, Animesh Pathak, Salvador Trujillo, Karina Villela
2012 International Journal on Software Tools for Technology Transfer (STTT)  
The implementation of a product line in delta-oriented programming is organized into a core module and a set of delta modules. Delta modules specify changes of the core module to implement products.  ...  Delta-oriented programming [194] is an extension of feature-oriented programming that aims at providing a flexible modular approach for implementing SPLs.  ... 
doi:10.1007/s10009-012-0253-y fatcat:uicpvxsbm5golmrrves23gopny

Prototyping Concurrent Systems with Agents and Artifacts: Framework and Core Calculus

Alessandro Ricci, Mirko Viroli, Maurizio Cimadamore
2008 Electronical Notes in Theoretical Computer Science  
To pave the way towards identifying a true language extension for simpA, we define a core calculus of agents and artifacts, by suitabling mixing techniques coming from object-orientation and concurrency  ...  Section 2 describes in more details the basic abstraction layer introduced by the A&A meta-model; Section 3 describes the simpA framework and technology; Section 4 describes a core calculus providing a  ...  agent-oriented abstraction layer over the OO layer, and a first core calculus formalising a subset of simpA.  ... 
doi:10.1016/j.entcs.2008.03.102 fatcat:mkgicu4axvginjppjdcitbycge


Robert Hirschfeld, Atsushi Igarashi, Hidehiko Masuhara
2011 Proceedings of the 10th international workshop on Foundations of aspect-oriented languages - FOAL '11  
We develop a minimal core calculus called ContextFJ to model language mechanisms for context-oriented programming (COP).  ...  Unlike other formal models of COP, ContextFJ has a direct operational semantics that can serve as a precise description of the core of COP languages.  ...  Feature-oriented programming (FOP) [3] and delta-oriented programming (DOP) [12] also advocate the use of layers or delta modules respectively to describe behavioral variations.  ... 
doi:10.1145/1960510.1960515 dblp:conf/foal/HirschfeldIM11 fatcat:lwglxzie7zcbbmowc2xpu66cau

A novel model-based testing approach for software product lines

Ferruccio Damiani, David Faitelson, Christoph Gladisch, Shmuel Tyszberowicz
2016 Journal of Software and Systems Modeling  
To address this we used delta-oriented programming, a recently proposed flexible approach for implementing software product lines, and developed: (i) delta-tables as a means to apply the delta-oriented  ...  Model-based testing relies on a model of the system under test. FineFit is a framework for model-based testing of Java programs.  ...  valuable comments on a preliminary version of this paper and the anonymous SoSyM referees for many insightful comments and suggestions for improving the paper.  ... 
doi:10.1007/s10270-016-0516-2 fatcat:cigk2svlh5dabikonzmsucskp4


Hana Chockler, Alan J. Hu
2011 International Journal on Software Tools for Technology Transfer (STTT)  
Delta debugging can also be applied to isolate a bug-inducing change to a program.  ...  This paper introduces iterative delta debugging to address this problem. Iterative delta debugging starts with a test that fails on the current version of a program.  ... 
doi:10.1007/s10009-011-0194-x fatcat:ykr5cji6kjevhedkhzukzcmbeu

Applications = Components + Scripts [chapter]

Franz Achermann, Oscar Nierstrasz
2002 Software Architectures and Component Technology  
Forms and agents allow us to unify components, static and dynamic contexts and arguments for invoking services.  ...  Piccola is a language for composing applications from software components. It has a small syntax and a minimal set of features needed for specifying different styles of software composition.  ...  This work has been funded by the Swiss National Science Foundation under Project No. 20-53711.98, "A framework approach to composing heteregeneous applications".  ... 
doi:10.1007/978-1-4615-0883-0_9 fatcat:sncp6g7idjba7i3h3g3pmurqpm

The ABS tool suite: modelling, executing and analysing distributed adaptable object-oriented systems

Peter Y. H. Wong, Elvira Albert, Radu Muschevici, José Proença, Jan Schäfer, Rudolf Schlatte
2012 International Journal on Software Tools for Technology Transfer (STTT)  
The ABS language has a hybrid functional and object-oriented core, and comes with extensions that support the development of systems that are adaptable to diversified requirements, yet capable to maintain  ...  This paper introduces the Abstract Behavioural Specification (ABS) language and tool suite, a comprehensive platform for developing and analysing highly adaptable distributed concurrent software systems  ...  COSTABS A cost and termination analyzer for ABS programs. Delta A specification of modifications to core ABS classes and interfaces. Delta module see Delta.  ... 
doi:10.1007/s10009-012-0250-1 fatcat:4cax5b6gpfb5xlx6ugtjvsivda

A Language for Verification and Manipulation of Web Documents

Luigi Liquori, Furio Honsell, Rekha Redamalla
2006 Electronical Notes in Theoretical Computer Science  
The framework is particularly suited as a metalanguage for encoding rewriting logics and logical systems where proof terms have a special syntactic constraints, as in term rewriting systems, and rule-based  ...  Because of sophisticated pattern matching facilities PLF is suitable for verification and manipulation of HXML documents. This is a preliminary version. The final version will be published in  ...  Acknowledgments The authors are also sincerely grateful to Benjamin Wack for point out a bug in the encoding of Delta, and all the anonymous referees for the suggestions they give to improve the final  ... 
doi:10.1016/j.entcs.2005.12.046 fatcat:gq6centozfhrjmozdca2ncri6u
« Previous Showing results 1 — 15 out of 2,021 results