Linguistic reflection in Java

Abstract.We describe an approach to designing and implementing a distributed system as a family of related finite state machines, generated from a single abstract model. Various artefacts are generated from each state machine, including diagrams, source-level protocol implementations and documentation. The state machine family formalises the interactions between the components of the distributed system, allowing increased confidence in correctness. Our methodology facilitates the application of state machines to problems for which they would not otherwise be suitable.We illustrate the technique with the example of a Byzantine-fault-tolerant commit protocol used in a distributed storage system, showing how an abstract model can be defined in terms of an abstract state space and various categories of state transitions. We describe how such an abstract model can be deployed in a concrete system, and propose a general methodology for developing systems in this style.

show abstract

“…Various approaches have been used [11][12][13]; more recently, Java 6 has provided explicit run-time access to the compiler [14].…”

Section: Incorporation Of Generated Codementioning

confidence: 99%

“…We have previously used generative techniques to build generic object browsers [11] and to support highly generic strongly typed code [12].…”

Section: Related Workmentioning

confidence: 99%

Design, Implementation and Deployment of State Machines Using a Generative Approach

Kirby

Dearle

Norcross

2008

Lecture Notes in Computer Science

View full text Add to dashboard Cite

show abstract

“…That is, as well as being able to decompose a system the user needs a concrete representation for the results of the decomposition. When introspection is combined with the specific binding mechanism of compilation the technique known as linguistic or structural reflection results [5].…”

Section: Component Technologies For Compliancementioning

confidence: 99%

An approach to compliance in software architectures

Morrison

Balasubramaniam

Greenwood³

et al. 2000

Computing &Amp; Control Engineering Journal

View full text Add to dashboard Cite

Conventional software architectures are designed to meet the average predicted needs of the majority of applications that use them. By contrast, a compliant software architecture can accommodate the needs of a particular application. As the application evolves, its requirements change and the supporting software components, if compliant, change accordingly to meet these new requirements. The degree of compliance can be measured by the goodness of fit of the supporting architecture to the evolved application.In this paper we introduce the concept of compliance and show how it may be useful in software systems. We illustrate some component technologies that form the basis for implementing compliance and finish with an example of compliance in operation.

show abstract

Iava: yet another interpreter for scripting within the Java platform

Richter¹

2000

Softw: Pract. Exper.

View full text Add to dashboard Cite

SUMMARYRecently, scripting languages have received growing attention from the software engineering community. With the advent of Java, existing scripting languages have started to integrate with the rich API of the Java platform. In this work we introduce Iava, an interpreter for scripting the Java platform. In contrast to existing scripting languages for the Java platform, the Iava interpreter accepts a strict subset of Java. Iava is implemented in Java using the reflection Application Programming Interface (API) and can be integrated into any Java-based application. This article describes why we consider scripting Java software systems with Iava a useful approach. We explain why Iava only accepts a subset of Java and what the difference between that subset and the full language is. We describe the implementation patterns that provide a high level of integration between Iava and embedding Java classes. We demonstrate the benefits of Iava using a scriptable text editor. As another example for the use of Iava, we integrate Iava with an existing framework for class testing (Ref.[1], Beck K, Gamma E. Test infected: Programmers love writing tests. Java Report; SIGS Publications, 1998.). We sketch how to use Iava for distribution script processing -a useful tool for testing distributed Java applications.

show abstract

Linguistic reflection in Java

Cited by 20 publications

References 25 publications

Design, Implementation and Deployment of State Machines Using a Generative Approach

Design, Implementation and Deployment of State Machines Using a Generative Approach

An approach to compliance in software architectures

Iava: yet another interpreter for scripting within the Java platform

Contact Info

Product

Resources

About