Model Driven Architecture - Foundations and Applications: Third European Conference, ECMDA-FA 2007, Haifa, Israel, June 11-15, 2007, ProceedingsDavid Akehurst, Regis Vogel, Richard Paige Springer, 2007. gada 27. jūn. - 222 lappuses Model-driven architecture, and model-driven approaches in general, holds the promise of moving software development towards a higher level of abstraction. Given the challenges in the software industry of delivering more complex fu- tionality with less e?ort, it is not really a question whether model-driven - velopment will succeed, but rather a question of when it will break through. However, before this can happen, there are many challenging problems to c- quer, both theoretical and pragmatic. This requires close collaboration between academic research and industrial application. ThegoaloftheEuropeanConferenceonModel-DrivenArchitecture—Fo- dations and Applications (ECMDA-FA) is to bring together industry and academia to tackle the problems in model-driven development. This volume - cludes nine foundation papers and seven application papers. ECMDA-FA 2007 alsohostedsixworkshopsonboththeoreticalandpracticalaspectsofMDA.F- thermore, the keynote speakers, Stuart Kent from Microsoft and Andy Schur ̈ r from TU Darmstadt, proved that both industry and academia are interested in MDA and its applications. This third ECMDA-FA conference is the result of the work of the authors who submitted a total of 60 papers, the Program Committee members who produced careful and thoughtful reviews under signi?cant time pressures, the people organizing the workshops,and of course the Steering Committee. Several hundreds of people worked hard to make this conference a success. We have the honor of speaking for all these people in this preface and we would like to thank each of them for their valuable contribution. The ECMDA-FA 2007 conference was supported by the European Comm- sion’s Information Society Technologies (IST) initiative and by IBM. |
Saturs
| 1 | |
| 17 | |
A Practical Approach to Model Extension | 32 |
Model Transformation from OWLS to BPEL ViaSiTra | 43 |
Improving the Interoperability of AutomotiveTools by Raising the Abstraction from LegacyXML Formats to Standardized Metamodels | 59 |
Templatable Metamodels for Semantic VariationPoints | 68 |
Execution of Aspect Oriented UML Models | 83 |
An Algebraic View on theSemantics of Model Composition | 99 |
Constraints Modeling for Profiled UML Models | 130 |
Scenarios of Traceability in Model to TextTransformations | 144 |
Human Comprehensible and MachineProcessable Specifications of OperationalSemantics | 157 |
Adopting Model Driven Development in a LargeFinancial Organization | 172 |
Reverse Engineering Models from Traces to ValidateDistributed Systems An Industrial Case Study | 184 |
A Model Driven Software Factory UsingDomain Specific Languages | 194 |
Towards a Model Driven Approachto Automatic BPEL Generation | 204 |
Author Index | 219 |
Citi izdevumi - Skatīt visu
Model Driven Architecture - Foundations and Applications: Third European ... David Akehurst,Regis Vogel,Richard Paige Priekšskatījums nav pieejams - 2007 |
Model Driven Architecture - Foundations and Applications: Third European ... David Akehurst,Regis Vogel,Richard Paige Priekšskatījums nav pieejams - 2009 |
Bieži izmantoti vārdi un frāzes
abstract action activity additional adoption advice algorithm allows analysis application approach architecture aspects association automatically Available behavior BPEL Business called checking class diagram complex component composition concepts concrete consistent constraints construction contains context corresponding create defined definition describes domain Eclipse elements Engineering environment example execution existing expressed extension Figure finite satisfiability formal framework given graphical identified implementation important initial input instance integrated interface Java language layer mapping means mechanism metamodel method Model Driven model transformation object operation output OWL-S parameters pattern places points port possible present produce Profile properties provides reference relationship represents requirements result rules semantics shows specification standard stereotyped structure syntax template trace traceability transformation transition validation
Populāri fragmenti
34. lappuse - ... are either from a place to a transition or from a transition to a place. In graphical representation, places are drawn as circles, transitions as bars.
30. lappuse - Lenzerini. On the Interaction between ISA and Cardinality Constraints. In Proc. of the 10th IEEE Int. Conf. on Data Engineering (ICDE-94), pp.
31. lappuse - In Proceedings of the sixth International Conference on the Principles of Knowledge Representation and Reasoning (KR-98), p.2- 1 3.
44. lappuse - The structure of the paper is as follows. Section 2 provides an overview of the O-Plan system and the areas of Al planning research which it has covered to date.
206. lappuse - The test vessel and the stretching device of heated wire are shown in Fig. 1 and Fig. 2 respectively. As shown in Fig. 1 the...
74. lappuse - However, the various formulations can be related to each other and the choice of one or the other is a matter of standardisation in order to allow the ship structures to be compared.
58. lappuse - International Enterprise Distributed Object Computing Conference EDOC 2003. (2003) 186-197 [9] Duddy. K.. Gerber, A., Lawley, MJ, Raymond, K.. J, S.: Model transformation: A declarative, reusable patterns approach.
49. lappuse - Precondition specifies one of the preconditions of the service and ranges over a Precondition instance defined according to the schema in the Process ontology.
185. lappuse - The rest of the paper is organized as follows. The next section gives a short overview of the case study.
14. lappuse - Georgalas, N., Azmoodeh, M., Clark, T., Evans, A., Sammut, P., Willans, J.: MDADriven Development of standard-compliant OSS components: the OSS/J Inventory CaseStudy...