Multiple view environment supporting VDM and Ada

Albalooshi, Fawzi; Long, Fred

doi:10.1049/ip-sen:19990487

Cited by 2 publications

(2 citation statements)

References 7 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The ability to incorporate new tools to the environment is fair. Other works such as that proposed by Albalooshi and Long [1] follow a similar approach. Grundy and Hosking [9] use the database with views approach that has similar strengths of the canonical representation.…”

Section: Related Workmentioning

confidence: 98%

A database representation that improves automation and maintains consistency in a multiple view environment

Albalooshi

2002

Proceedings of the 14th International Conference on Software Engineering and Knowledge Engineering

View full text Add to dashboard Cite

The paper presents an approach to information representation that takes advantage of the incremental nature of software development to facilitate automation. Software is developed in stages where input to a stage is highly dependent on the stage that precedes it. A canonical database representation that is shared by the development tools is presented. It aims at the provision of maximum automated services in the development process. At the same time ensuring the consistency of design information and avoiding its redundancy, and yet providing an open environment in which new tools and services can be incorporated with no effect on existing ones. Experiments are carried out to examine the usefulness of the representation to store the artifacts of a system under development and its suitability in achieving automation in the development process. Similar work carried out by researchers in the field and a number of commercially available tools are analyzed.

show abstract

Section: Related Workmentioning

confidence: 98%

A database representation that improves automation and maintains consistency in a multiple view environment

Albalooshi

2002

Proceedings of the 14th International Conference on Software Engineering and Knowledge Engineering

View full text Add to dashboard Cite

show abstract

“…We have found more than 63 published papers on the development of object-oriented programs from formal speci cations, implying the importance of advances in this research eld. For example, there are 18 papers on animating formal speci cations; 11 papers used Object-Z [8][9][10][11][12][13][14][15][16][17][18]; seven used VDM and VDM++ [19][20][21][22][23][24][25] as the source speci cation languages. In addition, there are at least 32 works focusing on re nement of formal speci cations from which 10 approaches re ned Object-Z speci cations [26][27][28][29][30][31][32][33][34][35], 5 methods applied VDM++ [36][37][38][39][40], and 17 papers were published for B, Event-B, and UML-B [41][42][43][44][45][46][47][48][49][50][51][52][53]…”

Section: Introductionmentioning

confidence: 99%

From Object-Z Specification to Groovy Implementation

2018

View full text Add to dashboard Cite

So far, valuable research studies have been conducted on mapping notations of object-oriented speci cation, such as Object-Z, in di erent object-oriented programming languages, such as C++. However, the results of selecting JVM-based programming languages for mapping have not covered most of basic Object-Z structures. In this paper, the Groovy language, as a dynamic JVM-based language, is selected to overcome some of the existing limitations. As the main contribution, the rules required for mapping Object-Z speci cations to execute Groovy code are introduced. The proposed rules cover notions such as multiple inheritance, inverse speci cation of functions, functions de ned on generic de nitions, and free-type constructors. Previous methods have not covered these notions for the formal development of program from object-oriented speci cations, regardless of the selected formal speci cation language and target programming language. In addition, in this paper, the parallel composition construct is mapped to a parallel, executable code to improve the faithfulness of the nal code to the initial speci cation. A mapping rule for the class union construct is introduced, which has not yet been provided for any JVMbased language. Unlike previous works, instead of presenting the mapping rules in terms of natural languages, they are presented in terms of some formal mapping rules.

show abstract

Multiple view environment supporting VDM and Ada

Cited by 2 publications

References 7 publications

A database representation that improves automation and maintains consistency in a multiple view environment

A database representation that improves automation and maintains consistency in a multiple view environment

From Object-Z Specification to Groovy Implementation

Contact Info

Product

Resources

About