Recent Advances in Eclipse QVTO!
|
|
|
- Blanche Stokes
- 10 years ago
- Views:
Transcription
1 !! National Aeronautics and Recent Advances in Eclipse QVTO! Nicolas Rouquette Principal Computer Scientist, Systems and Software Division Government sponsorship acknowledged.
2 Outline! A Condensed History of OMG Eclipse JPL s improvements to Eclipse QVTO (Helios) Expose the QVTO compiler separately from the QVTO interpreter Performance improvements via selective Google Guava caching optimization Continuous integration support via JUnit result files OASIS XML Catalog-aware EMF ResourceSet QVTO: Compilation & Execution Overview & Internals 2
3 A Condensed History of OMG! OMG Specification Development & Revision Cycles: RFP ad/ MOF 2.0 Query/View/Transformation Formal formal/ MOF QVT version 1.0 Formal formal/ MOF QVT version 1.1 The QVT specification defines: 3 languages 2 conformance criteria Next Revision, QVT 1.2 Due Sept What is Eclipse QVTO conformance????? 3
4 A Condensed History of Eclipse! Eclipse QVTO originates from a Borland contribution Sergey Boyko (formerly at Borland) is the project lead/committer Eclipse OMG Used extensively for automating the production of Revision Task Force artifacts UML SysML 1.2 SysML 1.3 SysML/Modelica 1.0 Use of OMG QVT in other OMG specifications Diagram Definition & Interchange UML profile for BPMN SysML/Modelica 1.0 4
5 JPLʼs improvements to Eclipse QVTO (Helios)![ Available pending completion of legal! review by JPL & Caltech lawyers ]! 1. Expose the QVTO compiler separately from the QVTO interpreter Invoke the compiler from the QVTO Editor Cancellable QVTO compilation from the QVTO Builder Separate compilation vs. execution in QVTO Ant tasks 2. Performance improvements via selective Google Guava caching optimization QVT Operational provides powerful mechanisms for extending types & operations Eclipse QVTO 3.1 uses Eclipse OCL 3.0 for type resolution, lookup & reflection Eclipse OCL & EMF APIs are inefficient for extensive type lookup & reflection 3. Continuous integration support via JUnit result files QVTO Compilation JUnit result includes all compilation errors (if any) QVTO Execution JUnit result includes all exceptions & assertion violations (if any) 4. OASIS XML Catalog-aware EMF ResourceSet Protégé/OWL already uses OASIS XML Catalogs for redirecting ontology URIs QVTO s Catalog-aware ResourceSet does the same for redirecting Resource URIs 5. Conversion of YAML hashes to QVTO Dict(String,? extends OclAny) 5
6 QVTO: Compilation & Execution (overview)! *.qvto Compiler *.qvtotrace (in) <configuration Parameters> *.qvtox Eclipse QVTO Interpreter (inout) (out) 6
7 QVTO: Compilation & Execution (internals)! *.qvto Compiler *.qvtotrace (in) *.qvtox Interpreter (out) <configuration Parameters> (inout) 7
8 Eclipse QVTO Compliance! 8
9 Eclipse QVTO Compliance: SyntaxExecutable! *.qvto Compiler *.qvtotrace (in) *.qvtox Interpreter (out) <configuration Parameters> (inout) 9
10 Eclipse QVTO Compliance: XMIExecutable! *.qvto Compiler *.qvtotrace *.qvtox (in) *.qvtox Interpreter (out) <configuration Parameters> (inout) 10
11 Eclipse QVTO Compliance: SyntaxExportable! *.qvto Compiler *.qvtotrace (in) *.qvtox Interpreter (out) <configuration Parameters> (inout) *.qvto (out) 11
12 Eclipse QVTO Compliance: XMIExportable! *.qvto Compiler *.qvtotrace (in) *.qvtox Interpreter (out) <configuration Parameters> (inout) *.qvtox (out) 12
13 Eclipse QVTO = A missed conformance opportunity?! With JPL s patch, Eclipse QVTO could claim XMI Executable interoperability compliance 13
14 JPL Patch adds XMIExecutable compliance, OASIS XML Catalog Resource URI mapping & JUnit result instrumentation! *.qvto OASIS XML Catalog *.qvtox (in) <configuration Parameters> Compiler Interpreter (inout) *.qvtox Compilation JUnit result *.qvtotrace (out) Execution JUnit result 14
15 JPLʼs improvements to Eclipse QVTO (Helios)! 1. Expose the QVTO compiler separately from the QVTO interpreter Invoke the compiler from the QVTO Editor Cancellable QVTO compilation from the QVTO Builder Separate compilation vs. execution in QVTO Ant tasks 2. Performance improvements via selective Google Guava caching optimization QVT Operational provides powerful mechanisms for extending types & operations Eclipse QVTO 3.1 uses Eclipse OCL 3.0 for type resolution, lookup & reflection Eclipse OCL & EMF APIs are inefficient for extensive type lookup & reflection 3. Continuous integration support via JUnit result files QVTO Compilation JUnit result includes all compilation errors (if any) QVTO Execution JUnit result includes all exceptions & assertion violations (if any) 4. OASIS XML Catalog-aware EMF ResourceSet Protégé/OWL already uses OASIS XML Catalogs for redirecting ontology URIs QVTO s Catalog-aware ResourceSet does the same for redirecting Resource URIs 5. Conversion of YAML hashes to QVTO Dict(String,? extends OclAny) 15
16 Guava-accelerated Eclipse QVTO! Eclipse QVTO 3.1 is architecturally an extension of Eclipse OCL 3.0 Sensible: QVT Operational defines Imperative OCL as an extension of OCL But: OCL architecture was designed for expressiveness, not efficiency Mismatch: QVT Operational compilation & execution is slow Why? QVT Operational allows extending any metamodel QVT Operational allows defining new types QVT Operational allows defining new operations for existing types How does this flexibility work? Eclipse QVTO specializes OCL s architecture: AbstractTypeResolver EcoreEnvironment UMLReflection 16
17 Eclipse QVTO Anti-Patterns! Properties with complex initialization expressions Issue: No error handling; vulnerable to oclisinvalid() & oclisundefined() Remedy: Create an initialization helper Accessing type properties using dot notation Issue: Feature lookup is expensive (due to OCL s UMLReflection API) Remedy 1: Use an EMF code generator with efficient feature dispatch Remedy 2: Replace dot access with calls to an access helper Redundant imports Issue: Unnecessary overhead Remedy: Avoid them! 17
18 Eclipse project practices made optimizing Eclipse QVTO possible!! Eclipse QVTO has 2 test suites: org.eclipse.m2m.tests.qvt.oml 837 unit tests org.eclipse.m2m.tests.qvt.oml.ui 184 unit tests After patching: org.eclipse.m2m.tests.qvt.oml 841 unit tests (+4) 827 passed, 4 errors & 10 failures org.eclipse.m2m.tests.qvt.oml.ui 184 unit tests 183 passed, 1 failure Optimization: added Google Guava caches to optimize the lookup of expensive OCL operations in QVTO s implementaiton of: AbstractTypeResolver +1 cache EcoreEnvironment +1 cache UMLReflection +12 caches 18
19 Guava-optimized Eclipse QVTO implementation org.eclipse.m2m.internal.qvt.oml.stdlib.qvtumlreflection! The new method delegates to the cache The old method became the cache s load method 19
20 An Example of Guava cache in Eclipse QVTO! Creating Google Guava caches is easy. The challenge is to make sure the cache is invalidated when necessary => Systematic regression testing & profiling is important to judge the effectiveness of cache optimizations 20
21 Managing Guava caches with EMF Adapters! Most of OCL s APIs used in QVTO compute derived features from base features (e.g., Class::attributes) 1. Cache the computation of derived features (reflection makes this particularly expensive) 2. Invalidate the derived feature cache whenever the base feature changes 21
22 JPLʼs improvements to Eclipse QVTO (Helios)! 1. Expose the QVTO compiler separately from the QVTO interpreter Invoke the compiler from the QVTO Editor Cancellable QVTO compilation from the QVTO Builder Separate compilation vs. execution in QVTO Ant tasks 2. Performance improvements via selective Google Guava caching optimization QVT Operational provides powerful mechanisms for extending types & operations Eclipse QVTO 3.1 uses Eclipse OCL 3.0 for type resolution, lookup & reflection Eclipse OCL & EMF APIs are inefficient for extensive type lookup & reflection 3. Continuous integration support via JUnit result files QVTO Compilation JUnit result includes all compilation errors (if any) QVTO Execution JUnit result includes all exceptions & assertion violations (if any) 4. OASIS XML Catalog-aware EMF ResourceSet Protégé/OWL already uses OASIS XML Catalogs for redirecting ontology URIs QVTO s Catalog-aware ResourceSet does the same for redirecting Resource URIs 5. Conversion of YAML hashes to QVTO Dict(String,? extends OclAny) 22
23 Eclipse QVTO & Eclipse JUnit result format! New suite: org.eclipse.m2m.tests.qvt.oml.ant.qvtantcompilertests 23
24 Example of Eclipse QVTO JUnit results! For complex model transformation workflows deployed in a continuous integration environment, the new QVTO Junit result files are very useful Caveat: Junit.org does not define the XML Schema for Junit results Workaround: Defined an Ecore model of Eclipse JDT JUnit result format 24
25 JPLʼs improvements to Eclipse QVTO (Helios)! 1. Expose the QVTO compiler separately from the QVTO interpreter Invoke the compiler from the QVTO Editor Cancellable QVTO compilation from the QVTO Builder Separate compilation vs. execution in QVTO Ant tasks 2. Performance improvements via selective Google Guava caching optimization QVT Operational provides powerful mechanisms for extending types & operations Eclipse QVTO 3.1 uses Eclipse OCL 3.0 for type resolution, lookup & reflection Eclipse OCL & EMF APIs are inefficient for extensive type lookup & reflection 3. Continuous integration support via JUnit result files QVTO Compilation JUnit result includes all compilation errors (if any) QVTO Execution JUnit result includes all exceptions & assertion violations (if any) 4. OASIS XML Catalog-aware EMF ResourceSet Protégé/OWL already uses OASIS XML Catalogs for redirecting ontology URIs QVTO s Catalog-aware ResourceSet does the same for redirecting Resource URIs 5. Conversion of YAML hashes to QVTO Dict(String,? extends OclAny) 25
26 Finding Models & Transformations! /org.eclipse.m2m.tests.qvt.oml/buildertestdata/simpleuml_to_rdb.qvto Eclipse provides several mechanisms, including: Eclipse QVTO defines Eclipse extension points for registering metamodels Eclipse EMF defines several extension points for URI mapping, URI handling, etc At JPL, we have integrated OWL2 ontologies with MOF2 models Ontologies are models too! Protégé OWL uses OASIS XML Catalogs for mapping ontology URIs Key idea: use the same mechanism (OASIS XML Catalog) for ontologies & models 26
27 OASIS XML Catalogs vs. EMF URI Converters! ExtensibleURIConverterImpl is an implementation What if a ResourceSet has a different URIConverter??? 27
28 JPLʼs improvements to Eclipse QVTO (Helios)! 1. Expose the QVTO compiler separately from the QVTO interpreter Invoke the compiler from the QVTO Editor Cancellable QVTO compilation from the QVTO Builder Separate compilation vs. execution in QVTO Ant tasks 2. Performance improvements via selective Google Guava caching optimization QVT Operational provides powerful mechanisms for extending types & operations Eclipse QVTO 3.1 uses Eclipse OCL 3.0 for type resolution, lookup & reflection Eclipse OCL & EMF APIs are inefficient for extensive type lookup & reflection 3. Continuous integration support via JUnit result files QVTO Compilation JUnit result includes all compilation errors (if any) QVTO Execution JUnit result includes all exceptions & assertion violations (if any) 4. OASIS XML Catalog-aware EMF ResourceSet Protégé/OWL already uses OASIS XML Catalogs for redirecting ontology URIs QVTO s Catalog-aware ResourceSet does the same for redirecting Resource URIs 5. Conversion of YAML hashes to QVTO Dict(String,? extends OclAny) 28
29 Conversion of YAML hashes to QVTO Dict(String,? extends OclAny) QVTO Blackbox library for: Loading a YAML file from a URL as a QVTO Dict(String, OclAny) OCL-like conversions: oclasyamldictkind() oclasyamldicttype() convert values according to a Dict() type signature oclasyamlsequence() convert values according to a List() type signature 29
30 Questions?! Contact: 30
Open Source egovernment Reference Architecture Osera.modeldriven.org. Copyright 2006 Data Access Technologies, Inc. Slide 1
Open Source egovernment Reference Architecture Osera.modeldriven.org Slide 1 Caveat OsEra and the Semantic Core is work in progress, not a ready to use capability Slide 2 OsEra What we will cover OsEra
Overview. Stakes. Context. Model-Based Development of Safety-Critical Systems
1 2 Model-Based Development of -Critical Systems Miguel A. de Miguel 5/6,, 2006 modeling Stakes 3 Context 4 To increase the industrial competitiveness in the domain of software systems To face the growing
Organization of DSLE part. Overview of DSLE. Model driven software engineering. Engineering. Tooling. Topics:
Organization of DSLE part Domain Specific Language Engineering Tooling Eclipse plus EMF Xtext, Xtend, Xpand, QVTo and ATL Prof.dr. Mark van den Brand GLT 2010/11 Topics: Meta-modeling Model transformations
Business Performance Management Standards
Business Performance Management Standards Stephen A. White, PhD. BPM Architect Business Performance Management Business performance management Taking an holistic approach, companies align strategic and
Model Driven Interoperability through Semantic Annotations using SoaML and ODM
Model Driven Interoperability through Semantic Annotations using SoaML and ODM JiuCheng Xu*, ZhaoYang Bai*, Arne J.Berre*, Odd Christer Brovig** *SINTEF, Pb. 124 Blindern, NO-0314 Oslo, Norway (e-mail:
Metamodels and Modeling Multiple Kinds of Information Systems
Metamodels and Modeling Multiple Kinds of Information Systems Randall M. Hauch Chief Architect presented at MDA, SOA and Web Services: Delivering the Integrated Enterprise Practice, not Promise MetaMatrix
Development of Tool Extensions with MOFLON
Development of Tool Extensions with MOFLON Ingo Weisemöller, Felix Klar, and Andy Schürr Fachgebiet Echtzeitsysteme Technische Universität Darmstadt D-64283 Darmstadt, Germany {weisemoeller klar schuerr}@es.tu-darmstadt.de
Requirements Exchange: From Specification Documents to Models
Requirements Exchange: From Specification Documents to Models Morayo ADEDJOUMA, Hubert DUBOIS, François TERRIER Ansgar RADERMACHER UML&AADL 2011-27 April 2011, Las Vegas Agenda Big picture Challenge Technologies
Taking Subversion to a Higher Level. Branching/Merging Support. Component Management Support. And More
Taking Subversion to a Higher Level Branching/Merging Support Component Management Support And More About Impact CM Impact CM is a Service AddOn that facilitates software configuration management (CM)
A Tool Suite for the Generation and Validation of Configurations for Software Availability
A Tool Suite for the Generation and Validation of Configurations for Software Availability A. Gherbi 1, A. Kanso 1, F. Khendek 1, M. Toeroe 2 and A. Hamou-Lhadj 1 1 Concordia University, Montréal, Canada
Model-Driven Health Tools (MDHT) CDA Tools Overview. http://mdht.projects.openhealthtools.org
Model-Driven Health Tools (MDHT) CDA Tools Overview http://mdht.projects.openhealthtools.org CDA Tools Objectives Accelerate and lower cost of adopting CDAr2 standard Define new CDA templates and implementation
Designing a Semantic Repository
Designing a Semantic Repository Integrating architectures for reuse and integration Overview Cory Casanave Cory-c (at) modeldriven.org ModelDriven.org May 2007 The Semantic Metadata infrastructure will
Common Warehouse Metamodel (CWM): Extending UML for Data Warehousing and Business Intelligence
Common Warehouse Metamodel (CWM): Extending UML for Data Warehousing and Business Intelligence OMG First Workshop on UML in the.com Enterprise: Modeling CORBA, Components, XML/XMI and Metadata November
Information Management Metamodel
ISO/IEC JTC1/SC32/WG2 N1527 Information Management Metamodel Pete Rivett, CTO Adaptive OMG Architecture Board [email protected] 2011-05-11 1 The Information Management Conundrum We all have Data
Implementing reusable software components for SNOMED CT diagram and expression concept representations
1028 e-health For Continuity of Care C. Lovis et al. (Eds.) 2014 European Federation for Medical Informatics and IOS Press. This article is published online with Open Access by IOS Press and distributed
BPMN 2.0 Metamodel Implementation for Eclipse: Get it and Use it
BPMN 2.0 Metamodel Implementation for Eclipse: Get it and Use it Applies to: Business Process Modeling, Business Process Management. For more information, visit the Business Process Modeling homepage Summary
Federated, Generic Configuration Management for Engineering Data
Federated, Generic Configuration Management for Engineering Data Dr. Rainer Romatka Boeing GPDIS_2013.ppt 1 Presentation Outline I Summary Introduction Configuration Management Overview CM System Requirements
SEARCH The National Consortium for Justice Information and Statistics. Model-driven Development of NIEM Information Exchange Package Documentation
Technical Brief April 2011 The National Consortium for Justice Information and Statistics Model-driven Development of NIEM Information Exchange Package Documentation By Andrew Owen and Scott Came Since
VICCI. The Eclipse Modeling Framework (EMF) A Practical Introduction and Technology Overview. Dipl.-Inf. Christoph Seidl
VICCI Visual and Interactive Cyber-Physical Systems Control and Integration The Eclipse Modeling Framework (EMF) A Practical Introduction and Technology Overview Dipl.-Inf. Christoph Seidl Overview of
A Service-Oriented approach dedicated to Internet based Business Process Networks: Building a MDA based collaborative platform with opensource
A Service-Oriented approach dedicated to Internet based Business Process Networks: Building a MDA based collaborative platform with opensource solutions EBM WebSourcing Jean-Pierre LORRE R&D Manager ObjectWeb
A Categorization of Collaborative Business Process Modeling Techniques
A Categorization of Collaborative Business Process Modeling Techniques Stephan Roser, Bernhard Bauer Programming Distributed Systems Lab Institute of Computer Science, University of Augsburg, Germany [roser,
Automatic Generation of Consistency-Preserving Edit Operations for MDE Tools
Automatic Generation of Consistency-Preserving Edit Operations for MDE Tools Michaela Rindt, Timo Kehrer, Udo Kelter Software Engineering Group University of Siegen {mrindt,kehrer,kelter}@informatik.uni-siegen.de
Towards a Common Metamodel for the Development of Web Applications
Towards a Common Metamodel for the Development of Web Applications Nora Koch and Andreas Kraus Ludwig-Maximilians-Universität Munich, Germany Motivation Overwhelming diversity of Web methodologies Goal:
Business Rule Standards -- Interoperability and Portability
Rule Standards -- Interoperability and Portability April 2005 Mark H. Linehan Senior Technical Staff Member IBM Software Group Emerging Technology [email protected] Donald F. Ferguson IBM Fellow Software
Applying MDA in Developing Intermediary Service for Data Retrieval
Applying MDA in Developing Intermediary Service for Data Retrieval Danijela Boberić Krstićev University of Novi Sad Faculty of Sciences Trg Dositeja Obradovića 4, Novi Sad Serbia +381214852873 [email protected]
OpenEmbeDD basic demo
OpenEmbeDD basic demo A demonstration of the OpenEmbeDD platform metamodeling chain tool. Fabien Fillion [email protected] Vincent Mahe [email protected] Copyright 2007 OpenEmbeDD project (openembedd.org)
Maged Elaasar http://magedelaasar.com/contact
Maged Elaasar http://magedelaasar.com/contact Profile A highly motivated, self-driven, and well-accomplished computer scientist and software/systems architect. A technology and team leader with 19 years
Dr. Jana Koehler IBM Zurich Research Laboratory
Precise Modeling of Business Processes with the Business Process Modeling Notation BPMN 2.0 Dr. Jana Koehler IBM Zurich Research Laboratory ZRL BIT at a Glance Computer Science at ZRL: Security/Cryptography
Automating the Development of Information Systems with the MOSKitt Open Source Tool
http://www.moskitt.org Automating the Development of Information Systems with the MOSKitt Open Source Tool Vicente Pelechano Universidad Politécnica de Valencia Content PART I: About the Project and the
Model-driven secure system development framework
SCIENTIFIC PAPERS, UNIVERSITY OF LATVIA, 2010. Vol. 757 COMPUTER SCIENCE AND INFORMATION TECHNOLOGIES 43 52 P. Model-driven secure system development framework Viesturs Kaugers, Uldis Sukovskis Riga Technical
The Specific Text Analysis Tasks at the Beginning of MDA Life Cycle
SCIENTIFIC PAPERS, UNIVERSITY OF LATVIA, 2010. Vol. 757 COMPUTER SCIENCE AND INFORMATION TECHNOLOGIES 11 22 P. The Specific Text Analysis Tasks at the Beginning of MDA Life Cycle Armands Šlihte Faculty
Web Application Development Focused on BP Specifications*
Web Application Development Focused on BP Specifications* Victoria Torres Dept. De Sistemas Informáticos y Computación Universidad Politécnica de Valencia 46022 Valencia [email protected] Pau Giner Dept.
The OMG BPM Standards
The OMG BPM Standards Derek Miers CEO, BPM Focus +44 (20) 8742 8500 UK Office +44 (7703) 178 500 UK Cell +1 (714) 600 9010 US Cell [email protected] A BPM Definition Business Process Management is primarily
EMC Documentum Composer
EMC Documentum Composer Version 6.5 User Guide P/N 300 007 217 A02 EMC Corporation Corporate Headquarters: Hopkinton, MA 01748 9103 1 508 435 1000 www.emc.com Copyright 2008 EMC Corporation. All rights
Business Process Standards and Modeling
Business Process Standards and Modeling Janne J. Korhonen Helsinki University of Technology STANDARDS Standards Organizations Object Management Group (www.omg.org) Business Process Modeling Notation (BPMN)
Using UML to Construct a Model Driven Solution for Unified Access to Disparate Data
Using UML to Construct a Model Driven Solution for Unified Access to Disparate Data Randall M. Hauch VP Development, Chief Architect Metadata Management OMG's Second Workshop on UML for Enterprise Applications:
Which Enterprise Architect Edition Should I Purchase?
Which Enterprise Architect Edition Should I Purchase? Enterprise Architect is available in six editions -,, and Software, Corporate, Professional and Desktop. Functionality for each edition is as follows:.eap
Design of Visual Repository, Constraint and Process Modeling Tool based on Eclipse Plug-ins
Design of Visual Repository, Constraint and Process Modeling Tool based on Eclipse Plug-ins Rushiraj Heshi Department of Computer Science and Engineering Walchand College of Engineering, Sangli Smriti
CIM to PIM Transformation: A criteria Based Evaluation
ISSN:2229-6093 CIM to PIM Transformation: A criteria Based Evaluation Abdelouahed KRIOUILE *, Taoufiq GADI, Youssef BALOUKI Univ Hassan 1, LAVETE Laboratory, 26000 Settat, Maroc * E-mail of the corresponding
All you need are models Anneke Kleppe, Klasse Objecten
Model Driven Architecture All you need are models Anneke Kleppe, Klasse Objecten Contents Limited Vision on MDA Modeling Maturity Levels Models Model Driven Development Model Driven Architecture MDA in
Model-Driven Data Warehousing
Model-Driven Data Warehousing Integrate.2003, Burlingame, CA Wednesday, January 29, 16:30-18:00 John Poole Hyperion Solutions Corporation Why Model-Driven Data Warehousing? Problem statement: Data warehousing
Simplifying e Business Collaboration by providing a Semantic Mapping Platform
Simplifying e Business Collaboration by providing a Semantic Mapping Platform Abels, Sven 1 ; Sheikhhasan Hamzeh 1 ; Cranner, Paul 2 1 TIE Nederland BV, 1119 PS Amsterdam, Netherlands 2 University of Sunderland,
Definition and Generation of Data Exchange Formats in AUTOSAR
Definition and Generation of Data Exchange Formats in AUTOSAR Mike Pagel 1 and Mark Brörkens 2 1 BMW AG, Knorrstr. 147, 80788 München, Germany [email protected] 2 Carmeq GmbH, Carnotstr. 4, 10587 Berlin,
Transportation Process of Containers BPMN-Modeling and Transformation into ACTIF Model
ROMANIAN JOURNAL OF INFORMATION SCIENCE AND TECHNOLOGY Volume 14, Number 1, 2011, 67 80 Transportation Process of Containers BPMN-Modeling and Transformation into ACTIF Model Ismahène HADJ KHALIFA 1, Abdelkader
Combining SAWSDL, OWL DL and UDDI for Semantically Enhanced Web Service Discovery
Combining SAWSDL, OWL DL and UDDI for Semantically Enhanced Web Service Discovery Dimitrios Kourtesis, Iraklis Paraskakis SEERC South East European Research Centre, Greece Research centre of the University
Model Based Document and Report Generation for Systems Engineering
Model Based Document and Report Generation for Systems Engineering Christopher Delp, Doris Lam, Elyse Fosse, Cin-Young Lee Jet Propulsion Laboratory, California Institute of Technology 4800 Oak Grove Drive
Settlers of Catan Phase 1
Settlers of Catan Phase 1 Objective In this phase you will design, implement, and test the following subsystems: 1. Catan Model 2. Server Proxy 3. Server Poller Catan Model The Catan Model will be at the
Software infrastructure for Java development projects
Tools that can optimize your development process Software infrastructure for Java development projects Presentation plan Software Development Lifecycle Tools What tools exist? Where can tools help? Practical
A Framework for Creating Domain-specific Process Modeling Languages
A Framework for Creating Domain-specific Process Modeling Languages Henning Heitkötter Department of Information Systems, University of Münster, Münster, Germany [email protected] Keywords:
Rules and Business Rules
OCEB White Paper on Business Rules, Decisions, and PRR Version 1.1, December 2008 Paul Vincent, co-chair OMG PRR FTF TIBCO Software Abstract The Object Management Group s work on standards for business
An Automated Workflow System Geared Towards Consumer Goods and Services Companies
Proceedings of the 2014 International Conference on Industrial Engineering and Operations Management Bali, Indonesia, January 7 9, 2014 An Automated Workflow System Geared Towards Consumer Goods and Services
An Ontological Approach to Oracle BPM
An Ontological Approach to Oracle BPM Jean Prater, Ralf Mueller, Bill Beauregard Oracle Corporation, 500 Oracle Parkway, Redwood City, CA 94065, USA [email protected], [email protected], [email protected]
Integrating Performance Characterization with Software Development
International Journal of Basic & Applied Sciences IJBAS-IJENS Vol: 11 No: 02 7 Integrating Performance Characterization with Software Development Abstract- The importance of integrating performance considerations
Server based signature service. Overview
1(11) Server based signature service Overview Based on federated identity Swedish e-identification infrastructure 2(11) Table of contents 1 INTRODUCTION... 3 2 FUNCTIONAL... 4 3 SIGN SUPPORT SERVICE...
MDA Overview OMG. Enterprise Architect UML 2 Case Tool by Sparx Systems http://www.sparxsystems.com. by Sparx Systems
OMG MDA Overview by Sparx Systems All material Sparx Systems 2007 Sparx Systems 2007 Page:1 Trademarks Object Management Group, OMG, CORBA, Model Driven Architecture, MDA, Unified Modeling Language, UML,
Polyglot Multi-Paradigm. Modeling. MDA in the Real World. Stefan Tilkov [email protected]
Polyglot Multi-Paradigm Modeling MDA in the Real World Stefan Tilkov [email protected] What I ll Talk About How I define MDA What a typical tool chain looks like Real-world examples How UML/MOD,
Model-Driven Development - From Frontend to Code
Model-Driven Development - From Frontend to Code Sven Efftinge [email protected] www.efftinge.de Bernd Kolb [email protected] www.kolbware.de Markus Völter [email protected] www.voelter.de -1- Model Driven
Analysis of the Specifics for a Business Rules Engine Based Projects
Analysis of the Specifics for a Business Rules Engine Based Projects By Dmitri Ilkaev and Dan Meenan Introduction In recent years business rules engines (BRE) have become a key component in almost every
Transforming PICTURE to BPMN 2.0 as Part of the Model-driven Development of Electronic Government Systems
Heitkötter, Henning, Transforming PICTURE to BPMN 2.0 as Part of the Model-Driven Development of Electronic Government Systems, 44th Hawaii International Conference on System Sciences (HICSS), pp. 1 10,
MDA Transformations Applied to Web Application Development 1
MDA Transformations Applied to Web Application Development 1 Santiago Meliá 1, Andreas Kraus 2, and Nora Koch 2, 3 1 Universidad de Alicante, Spain 2 Ludwig-Maximilians-Universität München, Germany 3 F.A.S.T
The OMG Business Process Related Standards
The OMG Business Process Related Standards An emerging set of standards that enable Model Driven businesses Author: Derek Miers, CEO BPM Focus and PR Chair BPMI-SC 1 Table Of Contents ABSTRACT... 1 OMG
Generating the PIM Behavioral Model from the CIM using QVT
Journal of Computer Science and Information Technology December 2014, Vol. 2, No. 3 & 4, pp. 55-81 ISSN: 2334-2366 (Print), 2334-2374 (Online) Copyright The Author(s). 2014. All Rights Reserved. Published
Consuming and Producing Web Services with Web Tools. Christopher M. Judd. President/Consultant Judd Solutions, LLC
Consuming and Producing Web Services with Web Tools Christopher M. Judd President/Consultant Judd Solutions, LLC Christopher M. Judd President/Consultant of Judd Solutions Central Ohio Java User Group
KLAPER: an Intermediate Language for Model-Driven Predictive Analysis of Performance and Reliability
KLAPER: an Intermediate Language for Model-Driven Predictive Analysis of Performance and Reliability Vincenzo Grassi Dipartimento di Informatica, Sistemi e Produzione, Università di Roma Tor Vergata Raffaela
What is Enterprise Architect? Enterprise Architect is a visual platform for designing and constructing software systems, for business process
1 2 3 What is Enterprise Architect? Enterprise Architect is a visual platform for designing and constructing software systems, for business process modeling, and for more generalized modeling purposes.
Business Process Execution Language for Web Services
Business Process Execution Language for Web Services Second Edition An architect and developer's guide to orchestrating web services using BPEL4WS Matjaz B. Juric With Benny Mathew and Poornachandra Sarang
SCADE System 17.0. Technical Data Sheet. System Requirements Analysis. Technical Data Sheet SCADE System 17.0 1
SCADE System 17.0 SCADE System is the product line of the ANSYS Embedded software family of products and solutions that empowers users with a systems design environment for use on systems with high dependability
IBM WebSphere Business Integration
BPTrends 1 Product Overview 1133 Westchester Ave. White Plains, New York 10604 Check site for phone and fax numbers in your area. sells a suite of BPM products under the WebSphere Business Integration
Business Process Modeling and Standardization
Business Modeling and Standardization Antoine Lonjon Chief Architect MEGA Content Introduction Business : One Word, Multiple Arenas of Application Criteria for a Business Modeling Standard State of the
Semantic Business Process Management Lectuer 1 - Introduction
Arbeitsgruppe Semantic Business Process Management Lectuer 1 - Introduction Prof. Dr. Adrian Paschke Corporate Semantic Web (AG-CSW) Institute for Computer Science, Freie Universitaet Berlin [email protected]
Java Metadata Interface and Data Warehousing
Java Metadata Interface and Data Warehousing A JMI white paper by John D. Poole November 2002 Abstract. This paper describes a model-driven approach to data warehouse administration by presenting a detailed
UML Modelling of Automated Business Processes with a Mapping to BPEL4WS
UML Modelling of Automated Business Processes with a Mapping to BPEL4WS Tracy Gardner IBM UK Laboratories, Hursley Park, Winchester, SO21 2JN, UK [email protected] Abstract. The Business Process Execution
Unit Testing webmethods Integrations using JUnit Practicing TDD for EAI projects
TORRY HARRIS BUSINESS SOLUTIONS Unit Testing webmethods Integrations using JUnit Practicing TDD for EAI projects Ganapathi Nanjappa 4/28/2010 2010 Torry Harris Business Solutions. All rights reserved Page
Cloudify and OpenStack Heat
Cloudify and OpenStack Heat General Cloudify is an application orchestration platform that provides a complete solution for automating and managing application deployment and DevOps processes on top of
Profiling and Testing with Test and Performance Tools Platform (TPTP)
Profiling and Testing with Test and Performance Tools Platform (TPTP) 2009 IBM Corporation and Intel Corporation; made available under the EPL v1.0 March, 2009 Speakers Eugene Chan IBM Canada [email protected]
IEC CIM, Enterprise Architect, Profiles and CIMTool
IEC CIM, Enterprise Architect, Profiles and CIMTool Scott Neumann February 2010 Introduction The purpose of this presentation is to provide an overview of the IEC CIM and common usage within IEC TC57 Topics
INTRODUCTION TO BUSINESS PROCESS MODELING NOTATION BPMN 1.2 AND BPMN 2.0
INTRODUCTION TO BUSINESS PROCESS MODELING NOTATION BPMN 1.2 AND BPMN 2.0 Email: {goliva,gerosa}@ime.usp.br / Twitter: @golivax Agenda 2 Introduction to Business Processes BPMN 1.2 Introduction Elements
Principles of integrated software development environments. Learning Objectives. Context: Software Process (e.g. USDP or RUP)
Principles of integrated software development environments Wolfgang Emmerich Professor of Distributed Computing University College London http://sse.cs.ucl.ac.uk Learning Objectives Be able to define the
Megamodels as models of the linguistic architecture of software products and software technologies
19 April 2012 Megamodels as models of the linguistic architecture of software products and software technologies Ralf Lämmel (Software Languages Team) on behalf of Jean-Marie Favre, Thomas Schmorleiz,
Eclipse. Software Engineering with an Integrated Development Environment (IDE) Markus Scheidgen
Eclipse Software Engineering with an Integrated Development Environment (IDE) Markus Scheidgen Agenda What is eclipse and why bother? - An introduction to eclipse. eclipse fundamentals (Java) development
Tool Support for Model Checking of Web application designs *
Tool Support for Model Checking of Web application designs * Marco Brambilla 1, Jordi Cabot 2 and Nathalie Moreno 3 1 Dipartimento di Elettronica e Informazione, Politecnico di Milano Piazza L. Da Vinci,
The BPM to UML activity diagram transformation using XSLT
The BPM to UML activity diagram transformation using XSLT Ondřej Macek 1 and Karel Richta 1,2 1 Department of Computer Science and Engineering, Faculty of Electrical Engineering, Czech Technical University,
Consuming and Producing Web Services with WST and JST. Christopher M. Judd. President/Consultant Judd Solutions, LLC
Consuming and Producing Web Services with WST and JST Christopher M. Judd President/Consultant Judd Solutions, LLC Christopher M. Judd President/Consultant of Judd Solutions Central Ohio Java User Group
Jairson Vitorino. PhD Thesis, CIn-UFPE February 2009. Supervisor: Prof. Jacques Robin. Ontologies Reasoning Components Agents Simulations
CHROME: A Model-Driven Component- Based Rule Engine Jairson Vitorino PhD Thesis, CIn-UFPE February 2009 Supervisor: Prof. Jacques Robin Ontologies Reasoning Components Agents Simulations Contents 1. Context
Service-centric Software Engineering. Ian Sommerville 2006 Software Engineering, 8th edition. Chapter 31 Slide 1
Service-centric Software Engineering Ian Sommerville 2006 Software Engineering, 8th edition. Chapter 31 Slide 1 Objectives To explain the notion of a reusable service, based on web service standards, that
1 What Are Web Services?
Oracle Fusion Middleware Introducing Web Services 11g Release 1 (11.1.1.6) E14294-06 November 2011 This document provides an overview of Web services in Oracle Fusion Middleware 11g. Sections include:
#d8rules - Support the Rules module for Drupal 8
#d8rules - Support the Rules module for Drupal 8 Introduction Benefits of funding Rules in Drupal 8 On a larger scale For your own business Rules 8.x Overview of the Rules 8.x features Site building based