This document discusses model executability within the GEMOC Studio. It provides an overview of the GEMOC initiative and projects, which aim to coordinate research on globalizing modeling languages. The GEMOC Studio allows users to design executable domain-specific modeling languages and edit, simulate, and animate heterogeneous models. Breakthroughs include defining modular and explicit semantics for modeling languages and integrating languages for heterogeneous model coordination. The document presents examples of debugging tools developed using the GEMOC Studio.
Quality of Experience in Smart EnvironmentsPedro Costa
The democratisation of powerful mobile devices and ubiquitous communication networks have paved the way for smart environments, whose main goal is to enhance users' experiences. In this talk we will briefly explore some of the opportunities and challenges in such an environment. A user-centric framework is proposed for the assessment of users' quality of experience, as well as the delivery of personalised services with the potential to improve their experience and influence behaviour. A version of the platform is currently being implemented in the context of public transportation, which will be presented alongside some preliminary results.
Smart Modeling: On the Convergence of Scientific and Engineering ModelsBenoit Combemale
Various disciplines use models for different purposes. Engineers, e.g., software engineers, use engineering models to represent the system to implement, and scientists, e.g., environmentalists, use scientific models to represent the complexity of the world to understand and reason over it for analysis purpose. While the former tries to integrate all the properties in between the various engineering involved in the development process, the latter use models to internalize all the possible externalities of any changes, and later perform trade-off analysis.
With the advent of smart CPS, the combination of scientific and engineering models becomes essential, respectively for openly and freely involving massive open data and predictive models in the decision process (either for trade-off analysis or dynamic adaptation purposes), and engineering models to support the smart design and reconfiguration process of modern CPS. It urges to provide the relevant facilities to software engineers for integrating into the future CPS the various models existing from the scientific community, and thus to support informed decisions, a broader engagement of the various stakeholders (incl. scientists, decision makers and the general public), and dynamic adaptations with regards to the expected political impact of the smart CPS.
To motivate this challenge, I present various application domains where the combination of the two kinds of models is more than expected. Then I highlight some important differences in the underlying foundations that currently prevent their possible combination in a given development project.
Quality of Experience in Smart EnvironmentsPedro Costa
The democratisation of powerful mobile devices and ubiquitous communication networks have paved the way for smart environments, whose main goal is to enhance users' experiences. In this talk we will briefly explore some of the opportunities and challenges in such an environment. A user-centric framework is proposed for the assessment of users' quality of experience, as well as the delivery of personalised services with the potential to improve their experience and influence behaviour. A version of the platform is currently being implemented in the context of public transportation, which will be presented alongside some preliminary results.
Smart Modeling: On the Convergence of Scientific and Engineering ModelsBenoit Combemale
Various disciplines use models for different purposes. Engineers, e.g., software engineers, use engineering models to represent the system to implement, and scientists, e.g., environmentalists, use scientific models to represent the complexity of the world to understand and reason over it for analysis purpose. While the former tries to integrate all the properties in between the various engineering involved in the development process, the latter use models to internalize all the possible externalities of any changes, and later perform trade-off analysis.
With the advent of smart CPS, the combination of scientific and engineering models becomes essential, respectively for openly and freely involving massive open data and predictive models in the decision process (either for trade-off analysis or dynamic adaptation purposes), and engineering models to support the smart design and reconfiguration process of modern CPS. It urges to provide the relevant facilities to software engineers for integrating into the future CPS the various models existing from the scientific community, and thus to support informed decisions, a broader engagement of the various stakeholders (incl. scientists, decision makers and the general public), and dynamic adaptations with regards to the expected political impact of the smart CPS.
To motivate this challenge, I present various application domains where the combination of the two kinds of models is more than expected. Then I highlight some important differences in the underlying foundations that currently prevent their possible combination in a given development project.
The development and evolution of an advanced IDE for a Domain-Specific Language (DSL) is a tedious task. Recent efforts in language workbenches result in frameworks that automatically provide syntactic tooling such as advanced editors. However, defining the execution semantics of languages and their tooling remains mostly hand crafted. Similarly to editors that share code completion or syntax highlighting, the development of advanced debuggers, animators, and others execution analysis tools shares common facilities, which should be reused among various DSLs.
In this talk, I will present and make a demo of the execution framework offered by the GEMOC studio, an Eclipse-based language and modeling workbench. The framework provides a generic interface to plug-in different execution engines associated to their specific metalanguages used to define the discrete-event operational semantics of DSMLs (e.g., Kermeta/Xtend, xMOF, ALE…). It also integrates generic runtime services that are shared among the approaches used to implement the execution semantics, such as graphical animation and omniscient debugging (provided by Sirius Animator).
Inria organisait durant l'open World Forum 2013 une Rencontre Inria Industrie sur le thème de la qualité logicielle. En effet, alors que le logiciel occupe une place de plus en plus importante dans l'informatique et que nous devenons plus exigeants, il devient essentiel de développer des outils de preuves et d'analyse permettant de tester la fiabilité de ces derniers. Cette rencontre a été l'occasion pour Inria de présenter quelques unes de ces solutions innovantes, développées par ses équipes de recherche.
The main idea of this strategy is based on the essential textbook of pedagogy Orbis sensualium pictus which was written according to Komenský’s belief that the school should be a game. It was first published in Nürnberg in 1658. He believed, contrary to the teaching practices at the time, that the pupils should be able to teach learned matter not only to renounce mechanically but to understand what they were learning. He, therefore, provided a textbook with some illustrations so that it would be captivating for the children. It was about biology (living and inanimate nature), theology and man, something that can now be called the foundations of social sciences.
Modern times have brought new opportunities to implement this strategy.
For example, using simple computer games for practicing and verifying the student’s knowledge. During the lecture, several computer games created for this purpose will be presented. Games are primarily designed to teach automation and programming in MATLAB software at university.
They are created in the way that the data about the matter are read from an external file. This file is enough to be edited and used for any subject of the study program. In the lecture, there will also be introduced several electronic aids facilitating the teaching of work with graphics programs and programs in the office at secondary schools in the Czech Republic. All these games and utilities were rated by students using questionnaires after the completion of the courses, and these results will be presented, too.
Augmented Reality (AR) is on the way to establishing itself in business and teaching once more. However, there is a lack of uniform guidelines or even standards both in the creation of teaching materials and in the use of AR in teaching. In addition, the industry needs enough well-trained specialists who can implement the established AR concepts, making a transfer from university to industry necessary. Therefore, in this talk we address both challenges in teaching with AR and the special needs of teaching about AR.
As teaching with AR will surely advance human performance and also brings in new perspectives with the communication, coordination and collaboration of AR in supporting human performance. As computer scientists, we have a European, interdisciplinary and application-oriented perspective, as our experience comes from several funded European projects in these areas. We also incorporate new incentives into teaching contexts in our framework, such as gamification, learning analytics and experience capturing. In addition, we refer to international standardization efforts such as IEEE ARLEM.
Teaching about AR adopts a multi-perspective view. First, there is scientific and technological basic knowledge helping to understand the underlying physical and technical principles. Second, there is engineering and design knowledge to master the creation, fabrication, and utilization of AR in many ways. Third, there is the necessary pedagogical knowledge to transform these complex settings in manageable teaching scenarios and processes, e.g. for higher education curricula.
Here, teaching AR can learn from traditions of science and engineering education as well as from more recent knowledge about computer science education. Examples from recent and on-going European projects will illustrate the argumentation.
STATICMOCK : A Mock Object Framework for Compiled Languages ijseajournal
Mock object frameworks are very useful for creating unit tests. However, purely compiled languages lack robust frameworks for mock objects. The frameworks that do exist rely on inheritance, compiler directives, or linker manipulation. Such techniques limit the applicability of the existing frameworks, especially when
dealing with legacy code.
We present a tool, StaticMock, for creating mock objects in compiled languages. This tool uses source-tosource
compilation together with Aspect Oriented Programming to deliver a unique solution that does not rely on the previous, commonly used techniques. We evaluate the compile-time and run-time overhead incurred by this tool, and we demonstrate the effectiveness of the tool by showing that it can be applied to
new and existing code
The development and evolution of an advanced IDE for a Domain-Specific Language (DSL) is a tedious task. Recent efforts in language workbenches result in frameworks that automatically provide syntactic tooling such as advanced editors. However, defining the execution semantics of languages and their tooling remains mostly hand crafted. Similarly to editors that share code completion or syntax highlighting, the development of advanced debuggers, animators, and others execution analysis tools shares common facilities, which should be reused among various DSLs.
In this talk, I will present and make a demo of the execution framework offered by the GEMOC studio, an Eclipse-based language and modeling workbench. The framework provides a generic interface to plug-in different execution engines associated to their specific metalanguages used to define the discrete-event operational semantics of DSMLs (e.g., Kermeta/Xtend, xMOF, ALE…). It also integrates generic runtime services that are shared among the approaches used to implement the execution semantics, such as graphical animation and omniscient debugging (provided by Sirius Animator).
Inria organisait durant l'open World Forum 2013 une Rencontre Inria Industrie sur le thème de la qualité logicielle. En effet, alors que le logiciel occupe une place de plus en plus importante dans l'informatique et que nous devenons plus exigeants, il devient essentiel de développer des outils de preuves et d'analyse permettant de tester la fiabilité de ces derniers. Cette rencontre a été l'occasion pour Inria de présenter quelques unes de ces solutions innovantes, développées par ses équipes de recherche.
The main idea of this strategy is based on the essential textbook of pedagogy Orbis sensualium pictus which was written according to Komenský’s belief that the school should be a game. It was first published in Nürnberg in 1658. He believed, contrary to the teaching practices at the time, that the pupils should be able to teach learned matter not only to renounce mechanically but to understand what they were learning. He, therefore, provided a textbook with some illustrations so that it would be captivating for the children. It was about biology (living and inanimate nature), theology and man, something that can now be called the foundations of social sciences.
Modern times have brought new opportunities to implement this strategy.
For example, using simple computer games for practicing and verifying the student’s knowledge. During the lecture, several computer games created for this purpose will be presented. Games are primarily designed to teach automation and programming in MATLAB software at university.
They are created in the way that the data about the matter are read from an external file. This file is enough to be edited and used for any subject of the study program. In the lecture, there will also be introduced several electronic aids facilitating the teaching of work with graphics programs and programs in the office at secondary schools in the Czech Republic. All these games and utilities were rated by students using questionnaires after the completion of the courses, and these results will be presented, too.
Augmented Reality (AR) is on the way to establishing itself in business and teaching once more. However, there is a lack of uniform guidelines or even standards both in the creation of teaching materials and in the use of AR in teaching. In addition, the industry needs enough well-trained specialists who can implement the established AR concepts, making a transfer from university to industry necessary. Therefore, in this talk we address both challenges in teaching with AR and the special needs of teaching about AR.
As teaching with AR will surely advance human performance and also brings in new perspectives with the communication, coordination and collaboration of AR in supporting human performance. As computer scientists, we have a European, interdisciplinary and application-oriented perspective, as our experience comes from several funded European projects in these areas. We also incorporate new incentives into teaching contexts in our framework, such as gamification, learning analytics and experience capturing. In addition, we refer to international standardization efforts such as IEEE ARLEM.
Teaching about AR adopts a multi-perspective view. First, there is scientific and technological basic knowledge helping to understand the underlying physical and technical principles. Second, there is engineering and design knowledge to master the creation, fabrication, and utilization of AR in many ways. Third, there is the necessary pedagogical knowledge to transform these complex settings in manageable teaching scenarios and processes, e.g. for higher education curricula.
Here, teaching AR can learn from traditions of science and engineering education as well as from more recent knowledge about computer science education. Examples from recent and on-going European projects will illustrate the argumentation.
STATICMOCK : A Mock Object Framework for Compiled Languages ijseajournal
Mock object frameworks are very useful for creating unit tests. However, purely compiled languages lack robust frameworks for mock objects. The frameworks that do exist rely on inheritance, compiler directives, or linker manipulation. Such techniques limit the applicability of the existing frameworks, especially when
dealing with legacy code.
We present a tool, StaticMock, for creating mock objects in compiled languages. This tool uses source-tosource
compilation together with Aspect Oriented Programming to deliver a unique solution that does not rely on the previous, commonly used techniques. We evaluate the compile-time and run-time overhead incurred by this tool, and we demonstrate the effectiveness of the tool by showing that it can be applied to
new and existing code
MONDO Project, a scalable modeling and model management on the Cloud - Paris...Alessandra Bagnato
MONDO Project, a scalable modeling and model management on the Cloud
Demo at https://twitter.com/alebagnato/status/667008408814379008
#Hawk Indexer on @modelio_org @mondo_project at @OSS_Paris #BigData track tomorrow 13h30 https://www.youtube.com/watch?v=EjJG281b_MA&feature=youtu.be! #OSSPARIS15 #opensource
MobiCloud: Towards Cloud Mobile Hybrid Application Generation using Semantica...Amit Sheth
Ajith Ranabahu, Amit Sheth, Ashwin Manjunatha, and Krishnaprasad Thirunarayan, 'Towards Cloud Mobile Hybrid Application Generation using Semantically Enriched Domain Specific Languages', International Workshop on Mobile Computing and Clouds (MobiCloud 2010), Santa Clara, CA,October 28, 2010.
Paper: http://knoesis.org/library/resource.php?id=865
Project: http://knoesis.wright.edu/research/srl/projects/mobi-cloud/
Methodology for the Development of Vocal User InterfacesJean Vanderdonckt
Natural User Interfaces allow users to interact with systems similarly as they interact with people. Human communications occur, mostly, in an oral way, since personal dialogs to phone calls and more recently in complain or information systems; the tendency is to automate some of these activities so the user might complete tasks in a more efficient way. The necessity for having a methodology that supports the development of vocal interfaces is therefore taking interest on it. The objective for this sample paper is to establish a methodology and to describe a set of rules that might be used for developing a software tool to generate code for multiplatform vocal User Interfaces from models
Almost all software development activities require collaboration, and model-based software development is no exception. In modern model-based development collaboration comes in two levels. We start from collaborative language creation (aka metamodeling) and describe the benefits it can provide and then do the same for collaborative language use (aka modeling). We conclude by inspecting how the collaboration enables scalability in terms of multiple engineers, multiple languages, large models, and transformations.
Table ronde: les sciences du logiciel au croisement des autres sciencesBenoit Combemale
Table ronde "les sciences du logiciel au croisement des autres sciences" lors de la conférence "Sciences du logiciel : de l'idée au binaire" au CNRS, les 19 et 20 septembre 2022
Model Simulation, Graphical Animation, and Omniscient Debugging with EcoreToo...Benoit Combemale
You have your shiny new modeling language up and running thanks to the Eclipse Modeling Technologies and you built a powerful graphical editor with Sirius to support it. But how can you see what is going on when a model is executed? Don't you need to debug your design in some way? Wouldn't you want to see your editors being animated directly within your modeling environment based on execution traces or simulator results?
In this talk, we will present Sirius Animator, an add-on to Sirius that provides you a tool- supported approach to complement a modeling language with an execution semantics and a graphical description of an animation layer. The execution semantics is defined thanks to ALE, an Action Language for EMF integrated into Ecore Tools to modularly implement the bodies of your EOperations, and the graphical description of the animation layer is defined thanks to Sirius. From both inputs, Sirius Animator automatically provides an advanced and extensible environment for model simulation, animation and debugging, on top of the graphical editor of Sirius and the debug UI of Eclipse. To illustrate the overall approach, we will demonstrate the ability to seamlessly extend Arduino Designer, in order to provide an advanced debugging environment that includes graphical animation, forward/backward step-by-step, breakpoint definition, etc.
Modeling For Sustainability: Or How to Make Smart CPS Smarter?Benoit Combemale
Various disciplines use models for different purposes. An engineering model, including a software engineering model, is often developed to guide the construction of a non-existent system. A scientific model is created to better understand an existing phenomenon (i.e., an already existing system or a physical phenomenon). An engineering model may incorporate scientific models to build a smart cyber-physical system (CPS) that require an understanding of the surrounding environment to decide of the relevant adaptation to apply. Sustainability systems, i.e., smart CPS managing resource production, transport and consumption for the sake of sustainability (e.g., smart grid, city, farming system…), are typical examples of smart CPS. Due to the inherent complex nature of sustainability that must delicately balance trade-offs between social, environmental, and economic concerns, modeling challenges abound for both the scientific and engineering disciplines.
In this talk, I will present a vision that promotes a unique approach combining engineering and scientific models to enable informed decision on the basis of open and scientific knowledge, a broader engagement of society for addressing sustainability concerns, and incorporate those decisions in the control loop of smart CPS. I will introduce a research roadmap to support this vision that emphasizes the socio-technical benefits of modeling.
Sound, yet Flexible, Modeling: A Language Engineering Point Of ViewBenoit Combemale
Domain-Specific Languages (DSLs) are increasingly used by domain experts to handle various concerns in systems and software development. To support this trend, the Model-Driven Engineering community has developed advanced techniques for designing new DSLs. However, the widespread use of independently developed, and constantly evolving DSLs is hampered by the rigidity imposed to the language users by the DSLs and their tooling, e.g., for manipulating a model through various similar DSLs or successive versions of a given DSL.
In this talk, I discuss a sound yet flexible model type system to support various scenarios of flexible modeling. I review different existing approaches, and highlight how they provide flexibility to language users. Finally, I conclude with a long term initiative for a full-fledged unifying approach for language reuse, aka. a Concern-Oriented Language Development (COLD), and the expected flexibility for language users.
Formally Defining and Iterating Infinite Models (MODELS 2012)Benoit Combemale
Talk given at MODELS 2012 and various seminars about a formal definition of the concept of infinite (software design) model, and associated iterators. Preprint available at https://hal.inria.fr/hal-00716623
Innovating Inference - Remote Triggering of Large Language Models on HPC Clus...Globus
Large Language Models (LLMs) are currently the center of attention in the tech world, particularly for their potential to advance research. In this presentation, we'll explore a straightforward and effective method for quickly initiating inference runs on supercomputers using the vLLM tool with Globus Compute, specifically on the Polaris system at ALCF. We'll begin by briefly discussing the popularity and applications of LLMs in various fields. Following this, we will introduce the vLLM tool, and explain how it integrates with Globus Compute to efficiently manage LLM operations on Polaris. Attendees will learn the practical aspects of setting up and remotely triggering LLMs from local machines, focusing on ease of use and efficiency. This talk is ideal for researchers and practitioners looking to leverage the power of LLMs in their work, offering a clear guide to harnessing supercomputing resources for quick and effective LLM inference.
SOCRadar Research Team: Latest Activities of IntelBrokerSOCRadar
The European Union Agency for Law Enforcement Cooperation (Europol) has suffered an alleged data breach after a notorious threat actor claimed to have exfiltrated data from its systems. Infamous data leaker IntelBroker posted on the even more infamous BreachForums hacking forum, saying that Europol suffered a data breach this month.
The alleged breach affected Europol agencies CCSE, EC3, Europol Platform for Experts, Law Enforcement Forum, and SIRIUS. Infiltration of these entities can disrupt ongoing investigations and compromise sensitive intelligence shared among international law enforcement agencies.
However, this is neither the first nor the last activity of IntekBroker. We have compiled for you what happened in the last few days. To track such hacker activities on dark web sources like hacker forums, private Telegram channels, and other hidden platforms where cyber threats often originate, you can check SOCRadar’s Dark Web News.
Stay Informed on Threat Actors’ Activity on the Dark Web with SOCRadar!
Gamify Your Mind; The Secret Sauce to Delivering Success, Continuously Improv...Shahin Sheidaei
Games are powerful teaching tools, fostering hands-on engagement and fun. But they require careful consideration to succeed. Join me to explore factors in running and selecting games, ensuring they serve as effective teaching tools. Learn to maintain focus on learning objectives while playing, and how to measure the ROI of gaming in education. Discover strategies for pitching gaming to leadership. This session offers insights, tips, and examples for coaches, team leads, and enterprise leaders seeking to teach from simple to complex concepts.
top nidhi software solution freedownloadvrstrong314
This presentation emphasizes the importance of data security and legal compliance for Nidhi companies in India. It highlights how online Nidhi software solutions, like Vector Nidhi Software, offer advanced features tailored to these needs. Key aspects include encryption, access controls, and audit trails to ensure data security. The software complies with regulatory guidelines from the MCA and RBI and adheres to Nidhi Rules, 2014. With customizable, user-friendly interfaces and real-time features, these Nidhi software solutions enhance efficiency, support growth, and provide exceptional member services. The presentation concludes with contact information for further inquiries.
Enterprise Resource Planning System includes various modules that reduce any business's workload. Additionally, it organizes the workflows, which drives towards enhancing productivity. Here are a detailed explanation of the ERP modules. Going through the points will help you understand how the software is changing the work dynamics.
To know more details here: https://blogs.nyggs.com/nyggs/enterprise-resource-planning-erp-system-modules/
Globus Connect Server Deep Dive - GlobusWorld 2024Globus
We explore the Globus Connect Server (GCS) architecture and experiment with advanced configuration options and use cases. This content is targeted at system administrators who are familiar with GCS and currently operate—or are planning to operate—broader deployments at their institution.
Field Employee Tracking System| MiTrack App| Best Employee Tracking Solution|...informapgpstrackings
Keep tabs on your field staff effortlessly with Informap Technology Centre LLC. Real-time tracking, task assignment, and smart features for efficient management. Request a live demo today!
For more details, visit us : https://informapuae.com/field-staff-tracking/
Custom Healthcare Software for Managing Chronic Conditions and Remote Patient...Mind IT Systems
Healthcare providers often struggle with the complexities of chronic conditions and remote patient monitoring, as each patient requires personalized care and ongoing monitoring. Off-the-shelf solutions may not meet these diverse needs, leading to inefficiencies and gaps in care. It’s here, custom healthcare software offers a tailored solution, ensuring improved care and effectiveness.
Enhancing Project Management Efficiency_ Leveraging AI Tools like ChatGPT.pdfJay Das
With the advent of artificial intelligence or AI tools, project management processes are undergoing a transformative shift. By using tools like ChatGPT, and Bard organizations can empower their leaders and managers to plan, execute, and monitor projects more effectively.
Experience our free, in-depth three-part Tendenci Platform Corporate Membership Management workshop series! In Session 1 on May 14th, 2024, we began with an Introduction and Setup, mastering the configuration of your Corporate Membership Module settings to establish membership types, applications, and more. Then, on May 16th, 2024, in Session 2, we focused on binding individual members to a Corporate Membership and Corporate Reps, teaching you how to add individual members and assign Corporate Representatives to manage dues, renewals, and associated members. Finally, on May 28th, 2024, in Session 3, we covered questions and concerns, addressing any queries or issues you may have.
For more Tendenci AMS events, check out www.tendenci.com/events
Navigating the Metaverse: A Journey into Virtual Evolution"Donna Lenk
Join us for an exploration of the Metaverse's evolution, where innovation meets imagination. Discover new dimensions of virtual events, engage with thought-provoking discussions, and witness the transformative power of digital realms."
Quarkus Hidden and Forbidden ExtensionsMax Andersen
Quarkus has a vast extension ecosystem and is known for its subsonic and subatomic feature set. Some of these features are not as well known, and some extensions are less talked about, but that does not make them less interesting - quite the opposite.
Come join this talk to see some tips and tricks for using Quarkus and some of the lesser known features, extensions and development techniques.
Exploring Innovations in Data Repository Solutions - Insights from the U.S. G...Globus
The U.S. Geological Survey (USGS) has made substantial investments in meeting evolving scientific, technical, and policy driven demands on storing, managing, and delivering data. As these demands continue to grow in complexity and scale, the USGS must continue to explore innovative solutions to improve its management, curation, sharing, delivering, and preservation approaches for large-scale research data. Supporting these needs, the USGS has partnered with the University of Chicago-Globus to research and develop advanced repository components and workflows leveraging its current investment in Globus. The primary outcome of this partnership includes the development of a prototype enterprise repository, driven by USGS Data Release requirements, through exploration and implementation of the entire suite of the Globus platform offerings, including Globus Flow, Globus Auth, Globus Transfer, and Globus Search. This presentation will provide insights into this research partnership, introduce the unique requirements and challenges being addressed and provide relevant project progress.
May Marketo Masterclass, London MUG May 22 2024.pdfAdele Miller
Can't make Adobe Summit in Vegas? No sweat because the EMEA Marketo Engage Champions are coming to London to share their Summit sessions, insights and more!
This is a MUG with a twist you don't want to miss.
Paketo Buildpacks : la meilleure façon de construire des images OCI? DevopsDa...Anthony Dahanne
Les Buildpacks existent depuis plus de 10 ans ! D’abord, ils étaient utilisés pour détecter et construire une application avant de la déployer sur certains PaaS. Ensuite, nous avons pu créer des images Docker (OCI) avec leur dernière génération, les Cloud Native Buildpacks (CNCF en incubation). Sont-ils une bonne alternative au Dockerfile ? Que sont les buildpacks Paketo ? Quelles communautés les soutiennent et comment ?
Venez le découvrir lors de cette session ignite
Into the Box Keynote Day 2: Unveiling amazing updates and announcements for modern CFML developers! Get ready for exciting releases and updates on Ortus tools and products. Stay tuned for cutting-edge innovations designed to boost your productivity.
Code reviews are vital for ensuring good code quality. They serve as one of our last lines of defense against bugs and subpar code reaching production.
Yet, they often turn into annoying tasks riddled with frustration, hostility, unclear feedback and lack of standards. How can we improve this crucial process?
In this session we will cover:
- The Art of Effective Code Reviews
- Streamlining the Review Process
- Elevating Reviews with Automated Tools
By the end of this presentation, you'll have the knowledge on how to organize and improve your code review proces
1. Benoit Combemale (Inria & Univ. Rennes 1)
http://people.irisa.fr/Benoit.Combemale
benoit.combemale@irisa.fr
@bcombemale
Model executability within the GEMOC Studio
GDR GPL, GT GL/CE
May 10th, 2016
2. - 2Model executability within the GEMOC Studio – GT GL/CE (May, 2016), B. Combemale (Inria/UR1)
Overview of the ANR project GEMOC (2013-2016)
https://youtu.be/Tk5DecseYOg
3. Complex Software-Intensive Systems
Software
intensive
systems
- 3Model executability within the GEMOC Studio – GT GL/CE (May, 2016), B. Combemale (Inria/UR1)
• Multi-engineering approach
• Domain-specific modeling
• Software as integration layer
• Openness and dynamicity
6. Globalization of Modeling Languages
- 6
• DSMLs are developed in an independent manner
to meet the specific needs of domain experts,
• DSMLs should also have an associated
framework that regulates interactions needed to
support collaboration and work coordination
across different system domains.
Benoit Combemale, Julien DeAntoni, Benoit Baudry, Robert B. France, Jean-Marc Jezequel,
Jeff Gray, "Globalizing Modeling Languages," Computer, vol. 47, no. 6, pp. 68-71, June, 2014
Model executability within the GEMOC Studio – GT GL/CE (May, 2016), B. Combemale (Inria/UR1)
7. Globalization of Modeling Languages
- 7
Supporting coordinated use of modeling
languages leads to what we call the globalization
of modeling languages, that is, the use of multiple
modeling languages to support coordinated
development of diverse aspects of a system.
Model executability within the GEMOC Studio – GT GL/CE (May, 2016), B. Combemale (Inria/UR1)
Benoit Combemale, Julien DeAntoni, Benoit Baudry, Robert B. France, Jean-Marc Jezequel,
Jeff Gray, "Globalizing Modeling Languages," Computer, vol. 47, no. 6, pp. 68-71, June, 2014
8. Globalization of Modeling Language
- 8
• Context: new emerging DSML in open world
⇒ impossible a priori unification
⇒ require a posteriori globalization
• Objective: socio-technical coordination to support interactions
across different system aspects
⇒ Language-based support for technical integration of
multiples domains
⇒ Language-based support for social translucence
Model executability within the GEMOC Studio – GT GL/CE (May, 2016), B. Combemale (Inria/UR1)
"Globalizing Domain-Specific Languages," Combemale, B., Cheng, B.H.C., France, R.B.,
Jézéquel, J.-M., Rumpe, B. (Eds.). Springer, Programming and Software Engineering,
Vol. 9400, 2015.
9. The GEMOC Initiative
- 9
An open and international initiative to
• coordinate (between members)
• disseminate (on behalf the members)
worldwide R&D efforts
on the globalization of modeling languages
http://gemoc.org
@gemocinitiative
Model executability within the GEMOC Studio – GT GL/CE (May, 2016), B. Combemale (Inria/UR1)
10. The GEMOC Studio
- 10Model executability within the GEMOC Studio – GT GL/CE (May, 2016), B. Combemale (Inria/UR1)
Design and compose
your executable DSMLs
http://gemoc.org/studio
Language
Workbench
Modeling
Workbench
Edit, simulate and animate
your heterogeneous models
11. The GEMOC Community
- 11Model executability within the GEMOC Studio – GT GL/CE (May, 2016), B. Combemale (Inria/UR1)
12. GEMOC: The Projects
- 12Model executability within the GEMOC Studio – GT GL/CE (May, 2016), B. Combemale (Inria/UR1)
• Survey of the techniques and tools to compose DSMLs and their respectives
MoCs
• Partners: IRISA (Triskell), I3S (Aoste)
• Cf. http://gemoc.org/as2011
CNRS GDR GPL
Specific Action 2011
• Travel funds for permanentstaff and PhD students
• Partners: IRISA (DiverSE), CSU
• Cf. http://gemoc.org/mbsar
CNRS PICS MBSAR
2013-2015
• A Language Workbench for Heterogeneous Modeling and Analysis ofComplex
Software-Intensive Systems
• Partners: Inria (DiverSE),I3S (Aoste), IRIT, ENSTA-Bretagne, Thales, Obeo
• Cf. http://gemoc.org/ins
ANR INS GEMOC
2012-2016
• Promote the sharing of foundations,techniques,and tools and to provide
educational resources,to both academia and industry
• Cf. http://www.cost.eu/COST_Actions/ict/Actions/IC1404
ICT COST Action
MPM4CPS
2014-2018
13. - 13
Le nouveau défis de la coordination des langages de modélisation. Gestion de
l'hétérogénéité des modèles dans le développement et l'exécution de systèmes
logiciels complexes (Benoit Combemale, Julien Deantoni, Ali Koudri, Jérôme Le
Noir), In Génie logiciel et ingénierie de système (GL & IS), 2013.
Concurrent Execution of Heterogeneous Models
• complex domain-specific behaviors
• highly communicating each others
• deployed on distributed platforms
Model executability within the GEMOC Studio – GT GL/CE (May, 2016), B. Combemale (Inria/UR1)
14. - 14
Breakthroughs:
• modular and explicit definition of the behavioral semantics of modeling
languages, incl. concurrency [APSEC’12, SLE’12, SLE’13, SLE’15 (x3),
ECMFA’15, DATE’15, SoSyM’15]
• explicit behavioral interface of modeling languages [GEMOC’13]
• reification of the coordination concerns at the language level
[MODELS’15, Computer'14, Dagstuhl #14412]
•Domain model
•Graphical representation
•Domain actions
•Model of concurrency
•Behavioral composition
xDSML
Design and
Composition
•Model debugging
•Model concurrency
•Model coordination
Heterogeneous
Modeling and
Simulation
Visit http://gemoc.org/ins
Concurrent Execution of Heterogeneous Models
(ANR Project GEMOC, #ANR-12-INSE-0011)
Model executability within the GEMOC Studio – GT GL/CE (May, 2016), B. Combemale (Inria/UR1)
15. xDSML
15
Breakthrough #1: modular and
explicit definition of the behavioral
semantics of modeling languages
Breakthrough #2: explicit mapping
used as behavioral interface of
modeling languages
Breakthrough #3: integration of
modeling languages for
heterogeneous model coordination
Semantics
ASDSAMoCC
Abstract
Syntax
Exec. function
and data
Concurrency
Model
xDSML Development and Composition
Model executability within the GEMOC Studio – GT GL/CE (May, 2016), B. Combemale (Inria/UR1)
16. xDSML
16
Breakthrough #1: modular and
explicit definition of the behavioral
semantics of modeling languages
Breakthrough #2: explicit mapping
used as behavioral interface of
modeling languages
Breakthrough #3: integration of
modeling languages for
heterogeneous model coordination
Semantics
ASDSAMoCC
DSE
(Domain
Specific Event)
Event-driven behavioral
interface
Concurrent execution of
homogeneous domain-specific
models
• Data
• Control
• Communication
xDSML Development and Composition
Model executability within the GEMOC Studio – GT GL/CE (May, 2016), B. Combemale (Inria/UR1)
17. Model executability within the GEMOC Studio – GT GL/CE (May, 2016), B. Combemale (Inria/UR1)
xDSML’
xDSML
17
Breakthrough #1: modular and
explicit definition of the behavioral
semantics of modeling languages
Breakthrough #2: explicit mapping
used as behavioral interface of
modeling languages
Breakthrough #3: integration of
modeling languages for
heterogeneous model coordination
Semantics
ASDSAMoCC
DSE
(Domain
Specific Event)
• Data
• Control
• Communication
Event-driven behavioral
interface
AS DSA MoCC
DSE
Concurrent execution of
heterogeneous domain-specific
models
xDSML Development and Composition
18. Reifying Concurrency and Coordination in xDSML
- 18
Model of
Concurrency &
Communication
Domain-Specific
Actions
Abstract
Syntax
Domain-Specific
Events
0..*
DSAMoCC
DSE
Concept0..*
Concepts
(from Las)
Execution
Function
(from Ldsa)
Las
Event
(from Lmoc)
Ldsa
Ldse
Lmocc
Event
0..*
* *
Constraint
0..*
0..*
Legend
<<dependsOn>>
<<conformsTo>>
Property
type
1Execution
State
0..*
Execution
Function
0..*
0..*
EcoreKermetaMoccML
MoccML
Composition
Operator
Composition
Operator
Lcompo
Matching
Rule
Coordination
Rule
B-COoL
Model executability within the GEMOC Studio – GT GL/CE (May, 2016), B. Combemale (Inria/UR1)
19. TheGEMOCStudio
- 19
http://gemoc.org/studio/
Benoit Combemale, Julien Deantoni, Olivier Barais, Arnaud Blouin, Erwan Bousse, Cédric Brun,
Thomas Degueule and Didier Vojtisek, "A Solution to the TTC'15 Model Execution Case Using the
GEMOC Studio," In 8th Transformation Tool Contest (TTC), 2015. Overall Winner
Model executability within the GEMOC Studio – GT GL/CE (May, 2016), B. Combemale (Inria/UR1)
20. Breathe Life Into Your Designer!
- 20Model executability within the GEMOC Studio – GT GL/CE (May, 2016), B. Combemale (Inria/UR1)
Model Animator
Operational Semantics
(executable)
Model
(executable)
Modeling
Language
Metamodeling
LanguagesKermeta Ecore
aModel
trace
manager,
timeline,
control
panel,
omniscient
debugger
Concrete Syntax
Graphical
representation
Sirius
Graphical
representation
DSA Executor
Interpreter
Diagram
Model Editor
Diagram
Domain-Specific
Actions
Execution
Functions
Execution
Data
Abstract Syntax
Domain Model
(Metamodel)
Legend
code generation
<<dependsOn>>
<<conformsTo>>
22. - 22
ArduinoDesigner(&Debugger)
https://github.com/gemoc/arduinomodeling
• Graphical animation
• Breakpoint definition on model element
• Multi-dimensional and efficient trace
management
• Model debugging facilities (incl., timeline,
step backward, stimuli management, etc.)
Model executability within the GEMOC Studio – GT GL/CE (May, 2016), B. Combemale (Inria/UR1)
23. - 23
ArduinoDesigner(&Debugger)
https://github.com/gemoc/arduinomodeling
Model executability within the GEMOC Studio – GT GL/CE (May, 2016), B. Combemale (Inria/UR1)
• Graphical animation
• Breakpoint definition on model element
• Multi-dimensional and efficient trace
management
• Model debugging facilities (incl., timeline,
step backward, stimuli management, etc.)
• Concurrency simulation and formal analysis
Modern platforms are
highly parallel (e.g.,
many-core, GPGPU,
distributed platform).
Complex software systems are
highly concurrent systems per
se (e.g., IoT, CPS).
24. Reifying Concurrency in xDSML: Limitations
- 24
• Concurrency remains implicit and ad-hoc in language design
and implementation:
• Design: implicitly inherited from the meta-language used
• Implementation: mostly embedded in the underlying execution
environment
• The lack of an explicit concurrency specification in language
design prevents:
• leveraging the concurrency concern of a particular domain or platform
• a complete understanding of the behavioral semantics
• effective concurrency-aware analysis techniques
• effective techniques for producing semantic variants
• analysis of the deployment on parallel architectures
Model executability within the GEMOC Studio – GT GL/CE (May, 2016), B. Combemale (Inria/UR1)
25. Reifying Concurrency in xDSML: Grand Challenge
- 25
Cross fertilization in languages of
the algorithm theory and the
concurrency theory
Leslie Lamport, “Turing Lecture: The Computer Science of Concurrency: The
Early Years,” Com. ACM, vol. 58, no. 6, 2015, pp. 71–76.
"Concurrency models were generally event-based, and avoided the
use of state. They did not easily describe algorithms or the usual
way of thinking about them based on the standard model."
Model executability within the GEMOC Studio – GT GL/CE (May, 2016), B. Combemale (Inria/UR1)
26. Weave Concurrency Constraints Into Your DSL!
- 26Model executability within the GEMOC Studio – GT GL/CE (May, 2016), B. Combemale (Inria/UR1)
Model Animator
Operational Semantics
Model of Concurrency
and Communication
(executable)
Model
(executable)
Modeling
Language
Metamodeling
LanguagesMoCCML Kermeta Ecore
Concurrency
Constraints
Domain-Specific
Events
aModel
omniscient
debugger,
concurrency
explorer.
Concrete Syntax
Graphical
representation
Sirius
Graphical
representation
MOCC Solver DSA Executor
Execution
Model
Interpreter
Diagram
Model Editor
Diagram
Domain-Specific
Actions
Execution
Functions
Execution
Data
Abstract Syntax
Domain Model
(Metamodel)
Legend
code generation
<<dependsOn>>
<<conformsTo>>
28. Coping with Semantic Variation Points
- 28
Florent Latombe, Xavier Crégut, Julien Deantoni, Marc Pantel, Benoit Combemale, "Coping with
Semantic Variation Points in Domain-Specific Modeling Languages", In EXE@MoDELS 2015.
Model executability within the GEMOC Studio – GT GL/CE (May, 2016), B. Combemale (Inria/UR1)
29. Conclusion
Model executability within the GEMOC Studio – GT GL/CE (May, 2016), B. Combemale (Inria/UR1) - 29
• Scientific breakthroughs:
• A concurrent and modular executable metamodeling approach
Ø Cross-fertilization of the algorithm theory and the concurrency theory
• An efficient and advanced execution trace management
approach for xDSML
Ø Omniscient debugging
• An explicit behavioral language interface
• The reification of the coordination concerns at the language level
• Technological breakthroughs:
• Dedicated meta-languages integrated into the GEMOC Studio,
atop Eclipse Modeling
• Execution environment integrated within the Eclipse debug UI,
incl. graphical animation, omniscient debugging, concurrency
analysis and behavioral coordination
30. Conclusion
Model executability within the GEMOC Studio – GT GL/CE (May, 2016), B. Combemale (Inria/UR1) - 30
• Software components:
• Sirius Animator: execution engine, animator designer/runtime, omniscient debugger, and
trace/event managers
• Host on Sirius lab for maturation as an Eclipse plugin (Obeo/INRIA)
Ø https://github.com/SiriusLab/ModelDebugging
• MoccML
• will be diffused as an open source project (I3S/ENSTA Bretagne)
Ø https://github.com/gemoc/concurrency
• BCOoL and heterogeneous engine coordination
• will be diffused as an open source project (I3S/INRIA)
Ø https://github.com/gemoc/coordination
• GEMOC studio: language and modeling workbench, wizard/dashboard, documentation and
examples
Ø https://github.com/gemoc/gemoc-studio
• Experimentations:
• fUML: execution, animation, debugging and concurrency analysis of activity diagrams
[TTC’15] (overall winner)
• xCapella: executable extension of Capella (model-based systems engineering
workbench) for model debugging, concurrency analysis, and behavioral coordination
[ERTS’16]
• Smart farming: water management system for smart farming [ICCS’15, EclipseCon-
NA’16]
31. Further Developments
Model executability within the GEMOC Studio – GT GL/CE (May, 2016), B. Combemale (Inria/UR1) - 31
• Maturation of the generic tools (debugging env., concurrency
env. and heterogeneous coordination env.)
• Maintenance of the GEMOC Studio
• Domain-specific property language, incl. for breakpoint
definition
• Domain-specific debugging services
• Support external stimuli / concurrency in operational semantics
• Plug in other execution engines (xMOF)
32. Perspectives
Model executability within the GEMOC Studio – GT GL/CE (May, 2016), B. Combemale (Inria/UR1) - 32
• Deep investigation of the notion of language interface
(viewpoint engineering, etc.)
• Formal analysis of model coordination
• Leveraging the execution trace of, possibly heterogeneous,
coordinated executable models
• Simulation, model explorer, model checking
• Coordination of discrete and continuous models
• Co-simulation (incl., FMI)
• Adaptable MoC at the language level
• @design/compile time: design space exploration, optimizing
compilers
• @runtime: code adaptation, code obfuscation
• Live and collaborative modeling (e.g., for sustainability
systems)
• SLE in Education
33. Join us!
The GEMOC Initiative
http://gemoc.org ~ @gemocinitiative
Advisory Board: Betty Cheng, BenoitCombemale, Jeff Gray, Jean-Marc Jézéquel and Bernhard Rumpe