Software Language Engineering: 4th International Conference, by Paul Klint, Bert Lisser, Atze van der Ploeg (auth.), Anthony

By Paul Klint, Bert Lisser, Atze van der Ploeg (auth.), Anthony Sloane, Uwe Aßmann (eds.)

This e-book constitutes the completely refereed post-proceedings of the 4th overseas convention on software program Language Engineering, SLE 2011, held in Braga, Portugal, in July 2011.
The 18 papers offered including four tool/language demonstration papers have been rigorously reviewed and chosen from a variety of submissions. SLE’s ideal venture is to inspire and set up verbal exchange among groups that experience generally checked out software program languages from assorted, extra really good, and but complementary views. SLE emphasizes the basic inspiration of languages rather than any recognition in particular technical spaces.

Show description

Read Online or Download Software Language Engineering: 4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011, Revised Selected Papers PDF

Similar software books

Fundamental Approaches to Software Engineering: 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

This publication constitutes the refereed court cases of the twelfth foreign convention on basic techniques to software program Engineering, FASE 2009, held in York, united kingdom, in March 2009, as a part of ETAPS 2009, the eu Joint meetings on thought and perform of software program. The 30 revised complete papers offered including 2 instrument demonstrations have been conscientiously reviewed and chosen from 123 regluar and nine software paper submissions.

Software Business: 6th International Conference, ICSOB 2015, Braga, Portugal, June 10-12, 2015, Proceedings

This booklet comprises the refereed court cases of the sixth foreign convention on software program company, ICSOB 2015, held in Braga, Portugal, in June 2015. The subject matter of the development was once "Enterprising towns" concentrating on a visible spillover of software program inside different industries permitting new company versions: businesses package their actual items and software program providers into options and begin to promote self sustaining software program items as well as actual items.

Software Architecture: 10th European Conference, ECSA 2016, Copenhagen, Denmark, November 28 -- December 2, 2016, Proceedings

This booklet constitutes the complaints of the tenth ecu convention on software program structure, ECSA 2016, held in Copenhagen, Denmark, in November/December 2016. The thirteen complete papers provided including 12 brief papers have been conscientiously reviewed and chosen from eighty four submissions. they're equipped in topical sections on complete learn and adventure papers, brief papers for addressing rising learn, and schooling and coaching papers.

Additional resources for Software Language Engineering: 4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011, Revised Selected Papers

Example text

11 illustrates the execution sequence based on our application example. In step one, the model transformation, which is related to the module S2A, is applied into the application context of FS:S2A. This partly transforms the given fuelsys:SysML model into the related fuelsys:AUTOSAR model. In step two, the execution engine automatically creates (exports) instances of B2CT to all possible application contexts that exist within the context of FS:S2A (this are all combinations of a :Block, which are directly or indirectly contained by fuelsys:SysML, a :CompositionType, which is contained by fuelsys:AUTOSAR, and a :CorrB2CT, which is contained by FS:Correspondence).

6 Conclusions and Future Work In this paper, we have introduced our dedicated model transformation composition framework MoTCoF that supports the data-flow and context composition of model transformations specified in different model transformation languages. The model transformations do not require the inclusion of any additional information that would be necessary for the composition. Thus, we can consider model transformations as true black-boxes. Therefore, we have defined a module language to represent model transformation in MoTCoF.

This is necessary because B2CT should only exist between SysML blocks and AUTOSAR composition types that indeed correspond to each other. In our application example, three instances of B2CT are created in step two (one for each transformed SysML block generated by applying S2A). data-flow execution sequence 1. step FS:S2A FS:E2SD FS:S2A context execution sequence data da ta-fl ta -flow -fl ow comp co mpos mp ositititio os ion io n depe de pend pe nden nd ency cyy 2. step FS:S2A FSC:B2CT FRC:B2CT EM:B2CT FR:R2LTC L FS:E2SD FSC:B2CT FRC:B2CT EM:B2CT 3.

Download PDF sample

Rated 4.82 of 5 – based on 3 votes

Related posts