On the fundamental limitations of transformational design

Voeten, J.P.M.

doi:10.1145/502175.502181

Cited by 9 publications

(3 citation statements)

References 13 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…This of course raises the question when a solution is a new model solution, and when can a solution be transformed into an existing model solution. In general, it is impossible to develop a transformation system that can transform any two semantically equal programs into each other (Voeten, 2001). Our basic approach in Ask-Elle has been to only add transformations to Ask-Elle about which we never want to give feedback to students.…”

Section: Correct (But No Match)mentioning

confidence: 99%

Ask-Elle: an Adaptable Programming Tutor for Haskell Giving Automated Feedback

Gerdes

Heeren

Jeuring

et al. 2016

Int J Artif Intell Educ

View full text Add to dashboard Cite

Ask-Elle is a tutor for learning the higher-order, strongly-typed functional programming language Haskell. It supports the stepwise development of Haskell programs by verifying the correctness of incomplete programs, and by providing hints. Programming exercises are added to Ask-Elle by providing a task description for the exercise, one or more model solutions, and properties that a solution should satisfy. The properties and model solutions can be annotated with feedback messages, and the amount of flexibility that is allowed in student solutions can be adjusted.The main contribution of our work is the design of a tutor that combines (1) the incremental development of di↵erent solutions in various forms to a programming exercise with (2) automated feedback and (3) teacher-specified programming exercises, solutions, and properties. The main functionality is obtained by means of strategy-based model tracing and property-based testing. We have tested the feasibility of our approach in several experiments, in which we analyse both intermediate and final student solutions to programming exercises, amongst others.

show abstract

Section: Correct (But No Match)mentioning

confidence: 99%

Ask-Elle: an Adaptable Programming Tutor for Haskell Giving Automated Feedback

Gerdes

Heeren

Jeuring

et al. 2016

Int J Artif Intell Educ

View full text Add to dashboard Cite

show abstract

“…Voeten points out that each transformational design that is based on a general purpose language will suffer from fundamental incompleteness problems [41]. This means that the initial model to a large extent determines whether an effective and satisfying implementation can be obtained or not, since only a limited part of the design space can be explored.…”

Section: Related Workmentioning

confidence: 99%

System Modeling and Transformational Design Refinement in ForSyDe

Sander

Jantsch

2004

IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst.

144

100

View full text Add to dashboard Cite

Abstract-The scope of the Formal System Design (ForSyDe) methodology is high-level modeling and refinement of systems-on-a-chip and embedded systems. Starting with a formal specification model, that captures the functionality of the system at a high abstraction level, it provides formal design-transformation methods for a transparent refinement process of the system model into an implementation model that is optimized for synthesis. The main contribution of this paper is the ForSyDe modeling technique and the formal treatment of transformational design refinement. We introduce process constructors, that cleanly separate the computation part of a process from the synchronization and communication part. We develop the characteristic function for each process type and use it to define semantic preserving and design decision transformations. These transformations are characterized by name, the format of the original process network, the transformed process network, and a design implication. The implication expresses the relation between original and transformed process network by means of the characteristic function. The objective of the refinement process is a model that can be implemented cost efficiently. To this end, process constructors and processes have a hardware and software interpretation which shall facilitate accurate performance and cost estimations. In a study of a digital equalizer example, we illustrate the modeling and refinement process and focus in particular on refinement of the clock domain, communication refinement, and resource sharing.Index Terms-Formal methods, hardware/software codesign, modeling, system-on-a-chip (SoC).

show abstract

“…One of the goals of the EU-funded ADVANCE 1 project was to attempt and demonstrate this. Unfortunately, one of the unescapable lessons re-learned during ADVANCE is that at any level of intelligence built into a system, there are some desirable optimizations that are necessarily out of reach from that system, although they could be reachable by letting a human author refine the specification manually [16].…”

Section: Introductionmentioning

confidence: 99%

S+Net: extending functional coordination with extra-functional semantics

Poss¹,

Verstraaten²,

Penczek³

et al. 2013

Preprint

View full text Add to dashboard Cite

This technical report introduces S + Net, a compositional coordination language for streaming networks with extra-functional semantics. Compositionality simplifies the specification of complex parallel and distributed applications; extra-functional semantics allow the application designer to reason about and control resource usage, performance and fault handling.The key feature of S + Net is that functional and extra-functional semantics are defined orthogonally from each other. S + Net can be seen as a simultaneous simplification and extension of the existing coordination language S-Net, that gives control of extra-functional behavior to the S-Net programmer. S + Net can also be seen as a transitional research step between S-Net and AstraKahn, another coordination language currently being designed at the University of Hertfordshire. In contrast with AstraKahn which constitutes a re-design from the ground up, S + Net preserves the basic operational semantics of S-Net and thus provides an incremental introduction of extra-functional control in an existing language.

show abstract

On the fundamental limitations of transformational design

Cited by 9 publications

References 13 publications

Ask-Elle: an Adaptable Programming Tutor for Haskell Giving Automated Feedback

Ask-Elle: an Adaptable Programming Tutor for Haskell Giving Automated Feedback

System Modeling and Transformational Design Refinement in ForSyDe

S+Net: extending functional coordination with extra-functional semantics

Contact Info

Product

Resources

About