The Collection iterations and operations are perhaps the most important part of OCL.
It is therefore important for an OCL evaluation tool to provide efficient support for Collections. Unfortunately, some clauses of the OCL specification appear to inhibit efficient or deterministic support. We review the inhibitions and demonstrate a new deterministic and lazy implementation that avoids them.
Cilk - An Efficient Multithreaded Runtime SystemShareek Ahamed
Cilk is a C-based runtime system for multi-threaded parallel programming.
Cilk guarantees efficient and predictable performance, Lightweight fork and join.
(chapter 5) A Concise and Practical Introduction to Programming Algorithms in...Frank Nielsen
These are the slides accompanying the textbook:
A Concise and Practical Introduction to Programming Algorithms in Java
by Frank Nielsen
Published by Springer-Verlag (2009), Undergraduate textbook in computer science (UTiCS series)
ISBN: 978-1-84882-338-9
http://www.lix.polytechnique.fr/~nielsen/JavaProgramming/
http://link.springer.com/book/10.1007%2F978-1-84882-339-6
Hands-on Java 8 with examples and open discussion about the more relevant new feature of Java 8: lambdas, streams, CompletableFeature, new Date & Time API.
Extracting UML/OCL Integrity Constraints and Derived Types from Relational Da...Valerio Cosentino
Relational databases usually enforce relevant organizational business rules. This aspect is ignored by current database reverse engineering approaches which only focus on the extraction of the structural part of the conceptual schema.
Other database elements like triggers, views, column constraints, etc. are not considered by those methods. As a result, the generated conceptual schema is incomplete
since integrity constraints and derivation rules enforced by the database are not represented.
In this sense, this paper extends existing approaches by enriching the generated (UML) conceptual schema with a set of OCL integrity constraints and derivation rules inferred from the database schema. Our method has been implemented in a prototype tool for the Oracle database management system.
The Collection iterations and operations are perhaps the most important part of OCL.
It is therefore important for an OCL evaluation tool to provide efficient support for Collections. Unfortunately, some clauses of the OCL specification appear to inhibit efficient or deterministic support. We review the inhibitions and demonstrate a new deterministic and lazy implementation that avoids them.
Cilk - An Efficient Multithreaded Runtime SystemShareek Ahamed
Cilk is a C-based runtime system for multi-threaded parallel programming.
Cilk guarantees efficient and predictable performance, Lightweight fork and join.
(chapter 5) A Concise and Practical Introduction to Programming Algorithms in...Frank Nielsen
These are the slides accompanying the textbook:
A Concise and Practical Introduction to Programming Algorithms in Java
by Frank Nielsen
Published by Springer-Verlag (2009), Undergraduate textbook in computer science (UTiCS series)
ISBN: 978-1-84882-338-9
http://www.lix.polytechnique.fr/~nielsen/JavaProgramming/
http://link.springer.com/book/10.1007%2F978-1-84882-339-6
Hands-on Java 8 with examples and open discussion about the more relevant new feature of Java 8: lambdas, streams, CompletableFeature, new Date & Time API.
Extracting UML/OCL Integrity Constraints and Derived Types from Relational Da...Valerio Cosentino
Relational databases usually enforce relevant organizational business rules. This aspect is ignored by current database reverse engineering approaches which only focus on the extraction of the structural part of the conceptual schema.
Other database elements like triggers, views, column constraints, etc. are not considered by those methods. As a result, the generated conceptual schema is incomplete
since integrity constraints and derivation rules enforced by the database are not represented.
In this sense, this paper extends existing approaches by enriching the generated (UML) conceptual schema with a set of OCL integrity constraints and derivation rules inferred from the database schema. Our method has been implemented in a prototype tool for the Oracle database management system.
Timing verification of automotive communication architecture using quantile ...RealTime-at-Work (RTaW)
Slides of a paper at ERTSS'2014 co-authored by Nicolas NAVET (University of Luxembourg), Shehnaz LOUVART (Renault), Jose VILLANUEVA (Renault), Sergio CAMPOY-MARTINEZ (Renault) and Jörn MIGGE (RealTime-at-Work). Early stage timing verification on CAN traditionally relies on simulation and schedulability analysis, also known as worst-case response time (WCRT) analysis. Despite recent progresses, the latter technique remains pessimistic especially in complex networking architectures with gateways and heterogeneous communication stacks. Indeed, there are practical cases where no exact WCRT analysis is available, and merely upper bounds on the response times can be derived, on the basis of which unnecessary conservative design choices may be made. Simulation, on the other hand, does not provide anyguarantees per se and, in the context of critical networks, should only be used along with an adequate methodology. In this paper, we argue for the use of quantiles of the response time distribution as performance
metrics providing an adjustable trade-off between safety and resource usage optimization. We discuss how the exact value of the quantile to consider should be chosen with regard to the criticality of the frames, and illustrate the approach on two typical automotive use-cases.
Model Transformation: A survey of the state of the artTom Mens
Presentation about model transformation at the international summer school on Model-Driven Development for Distributed, Real-Time and Embedded Systems (MDD4DRES, 2009, Aussois, France).
OCCIware: extensible and standard-based XaaS platform to manage everything in...OCCIware
The OCCIware project aims at managing in a unified manner all layers and domains of the Cloud (XaaS), by building on the Open Cloud Computing (OCCI) standard. OCCIware Metamodel formally specifies the main OCCI concepts. Today a first EMF metamodel is defined that adds to OCCI new concepts such as Extension, Configuration, and EDataType, addressing some limitations of OCCI.
This session highlights OCCIware platform two main components:
- The OCCIware Studio Factory, allowing to produce visually customizable diagram editors for any Cloud configuration business domain modeled in OCCI using the OCCI Extension Studio, such as the flagship Docker Studio ;
- The OCCIware Runtime, based on OW2 erocci project, including the tools for deployment, supervision and administration, and allowing to federate multiple XaaS Cloud runtimes, such as the Roboconf PaaS server and the ActiveEon Cloud Automation multi-IaaS connector. This talk includes a demonstration of the Docker connector and of how to use the OCCIware Cloud Designer to configure a real life Cloud application (a Java API server on top of a MongoDB cluster)'s business, platform and infrastructure layers seamlessly on both VirtualBox and OpenStack infrastructure.
OCCIware, an extensible, standard-based XaaS consumer platform to manage ever...OCCIware
The OCCIware project aims at managing in a unified manner all layers and domains of the Cloud (XaaS), by building on the Open Cloud Computing (OCCI) standard. OCCIware Metamodel formally specifies the main OCCI concepts. Today a first EMF metamodel is defined that adds to OCCI new concepts such as Extension, Configuration, and EDataType, addressing some limitations of OCCI.
This session highlights OCCIware platform two main components:
– The OCCIware Studio Factory, allowing to produce visually customizable diagram editors for any Cloud configuration business domain modeled in OCCI using the OCCI Extension Studio, such as the flagship Docker Studio ;
– The OCCIware Runtime, based on OW2 erocci project, including the tools for deployment, supervision and administration, and allowing to federate multiple XaaS Cloud runtimes, such as the Roboconf PaaS server and the ActiveEon Cloud Automation multi-IaaS connector.
This talk includes a demonstration of the Docker connector and of how to use the OCCIware Cloud Designer to configure a real life Cloud application (a Java API server on top of a MongoDB cluster)’s business, platform and infrastructure layers seamlessly on both VirtualBox and OpenStack infrastructure.
Ressource numérique Circuit électrique au primaire Erradi Mohamed
Les pages écrans de la ressource numérique "Circuit électrique" réalisée à l'aide du logiciel ActivInspire et Powepoint.
La ressource est en arabe
Réalisation: Mohamed ERRADI; F.MOQADEM; A.ABERKANE
Lightning talk : OCL's 4-valued logic is a source of much unhappiness. We attempt to recreate the design decisions that led to the current design and thereby suggest solutions to escape from it.
Kotlin: forse è la volta buona (Trento)Davide Cerbo
Il codice di esempio e disponibile qui: https://github.com/jesty/kotlin-fossavotabona
La variazione col DAO al posto del repository è disponibile qui:
https://github.com/jesty/kotlin-fossavotabona/tree/dao-companion-object
A text model - Use your favourite M2M for M2TEdward Willink
A simple solution to using any M2M for M2T; use a standard text metamodel and exploit EMF Resource flexibility to save the text model as plain text. Also provides a solution to XML2XMLwith any M2M tool. Suggests some M2T-friendly OCL extensions.
Builder.ai Founder Sachin Dev Duggal's Strategic Approach to Create an Innova...Ramesh Iyer
In today's fast-changing business world, Companies that adapt and embrace new ideas often need help to keep up with the competition. However, fostering a culture of innovation takes much work. It takes vision, leadership and willingness to take risks in the right proportion. Sachin Dev Duggal, co-founder of Builder.ai, has perfected the art of this balance, creating a company culture where creativity and growth are nurtured at each stage.
LF Energy Webinar: Electrical Grid Modelling and Simulation Through PowSyBl -...DanBrown980551
Do you want to learn how to model and simulate an electrical network from scratch in under an hour?
Then welcome to this PowSyBl workshop, hosted by Rte, the French Transmission System Operator (TSO)!
During the webinar, you will discover the PowSyBl ecosystem as well as handle and study an electrical network through an interactive Python notebook.
PowSyBl is an open source project hosted by LF Energy, which offers a comprehensive set of features for electrical grid modelling and simulation. Among other advanced features, PowSyBl provides:
- A fully editable and extendable library for grid component modelling;
- Visualization tools to display your network;
- Grid simulation tools, such as power flows, security analyses (with or without remedial actions) and sensitivity analyses;
The framework is mostly written in Java, with a Python binding so that Python developers can access PowSyBl functionalities as well.
What you will learn during the webinar:
- For beginners: discover PowSyBl's functionalities through a quick general presentation and the notebook, without needing any expert coding skills;
- For advanced developers: master the skills to efficiently apply PowSyBl functionalities to your real-world scenarios.
Neuro-symbolic is not enough, we need neuro-*semantic*Frank van Harmelen
Neuro-symbolic (NeSy) AI is on the rise. However, simply machine learning on just any symbolic structure is not sufficient to really harvest the gains of NeSy. These will only be gained when the symbolic structures have an actual semantics. I give an operational definition of semantics as “predictable inference”.
All of this illustrated with link prediction over knowledge graphs, but the argument is general.
State of ICS and IoT Cyber Threat Landscape Report 2024 previewPrayukth K V
The IoT and OT threat landscape report has been prepared by the Threat Research Team at Sectrio using data from Sectrio, cyber threat intelligence farming facilities spread across over 85 cities around the world. In addition, Sectrio also runs AI-based advanced threat and payload engagement facilities that serve as sinks to attract and engage sophisticated threat actors, and newer malware including new variants and latent threats that are at an earlier stage of development.
The latest edition of the OT/ICS and IoT security Threat Landscape Report 2024 also covers:
State of global ICS asset and network exposure
Sectoral targets and attacks as well as the cost of ransom
Global APT activity, AI usage, actor and tactic profiles, and implications
Rise in volumes of AI-powered cyberattacks
Major cyber events in 2024
Malware and malicious payload trends
Cyberattack types and targets
Vulnerability exploit attempts on CVEs
Attacks on counties – USA
Expansion of bot farms – how, where, and why
In-depth analysis of the cyber threat landscape across North America, South America, Europe, APAC, and the Middle East
Why are attacks on smart factories rising?
Cyber risk predictions
Axis of attacks – Europe
Systemic attacks in the Middle East
Download the full report from here:
https://sectrio.com/resources/ot-threat-landscape-reports/sectrio-releases-ot-ics-and-iot-security-threat-landscape-report-2024/
JMeter webinar - integration with InfluxDB and GrafanaRTTS
Watch this recorded webinar about real-time monitoring of application performance. See how to integrate Apache JMeter, the open-source leader in performance testing, with InfluxDB, the open-source time-series database, and Grafana, the open-source analytics and visualization application.
In this webinar, we will review the benefits of leveraging InfluxDB and Grafana when executing load tests and demonstrate how these tools are used to visualize performance metrics.
Length: 30 minutes
Session Overview
-------------------------------------------
During this webinar, we will cover the following topics while demonstrating the integrations of JMeter, InfluxDB and Grafana:
- What out-of-the-box solutions are available for real-time monitoring JMeter tests?
- What are the benefits of integrating InfluxDB and Grafana into the load testing stack?
- Which features are provided by Grafana?
- Demonstration of InfluxDB and Grafana using a practice web application
To view the webinar recording, go to:
https://www.rttsweb.com/jmeter-integration-webinar
UiPath Test Automation using UiPath Test Suite series, part 3DianaGray10
Welcome to UiPath Test Automation using UiPath Test Suite series part 3. In this session, we will cover desktop automation along with UI automation.
Topics covered:
UI automation Introduction,
UI automation Sample
Desktop automation flow
Pradeep Chinnala, Senior Consultant Automation Developer @WonderBotz and UiPath MVP
Deepak Rai, Automation Practice Lead, Boundaryless Group and UiPath MVP
Smart TV Buyer Insights Survey 2024 by 91mobiles.pdf91mobiles
91mobiles recently conducted a Smart TV Buyer Insights Survey in which we asked over 3,000 respondents about the TV they own, aspects they look at on a new TV, and their TV buying preferences.
Encryption in Microsoft 365 - ExpertsLive Netherlands 2024Albert Hoitingh
In this session I delve into the encryption technology used in Microsoft 365 and Microsoft Purview. Including the concepts of Customer Key and Double Key Encryption.
Elevating Tactical DDD Patterns Through Object CalisthenicsDorra BARTAGUIZ
After immersing yourself in the blue book and its red counterpart, attending DDD-focused conferences, and applying tactical patterns, you're left with a crucial question: How do I ensure my design is effective? Tactical patterns within Domain-Driven Design (DDD) serve as guiding principles for creating clear and manageable domain models. However, achieving success with these patterns requires additional guidance. Interestingly, we've observed that a set of constraints initially designed for training purposes remarkably aligns with effective pattern implementation, offering a more ‘mechanical’ approach. Let's explore together how Object Calisthenics can elevate the design of your tactical DDD patterns, offering concrete help for those venturing into DDD for the first time!
Epistemic Interaction - tuning interfaces to provide information for AI supportAlan Dix
Paper presented at SYNERGY workshop at AVI 2024, Genoa, Italy. 3rd June 2024
https://alandix.com/academic/papers/synergy2024-epistemic/
As machine learning integrates deeper into human-computer interactions, the concept of epistemic interaction emerges, aiming to refine these interactions to enhance system adaptability. This approach encourages minor, intentional adjustments in user behaviour to enrich the data available for system learning. This paper introduces epistemic interaction within the context of human-system communication, illustrating how deliberate interaction design can improve system understanding and adaptation. Through concrete examples, we demonstrate the potential of epistemic interaction to significantly advance human-computer interaction by leveraging intuitive human communication strategies to inform system design and functionality, offering a novel pathway for enriching user-system engagements.
FIDO Alliance Osaka Seminar: The WebAuthn API and Discoverable Credentials.pdf
OCL 2.4. (... 2.5)
1. OCL 2.4 (... OCL 2.5)
Edward Willink
OMG OCL RTF chair,
OMG QVT RTF chair,
Eclipse OCL Project Lead,
Eclipse QVTd Project Lead,
OCL 2013 @ MODELS 2013
30 September 2013
Made available under EPL 1.0
2. Overview
OCL 2.4 (... OCL 2.5) Made available under EPL 1.0
OCL 2.4
New
Collection::selectByKind/selectByType
OclAny::oclAsSet
Significant clarification
not null
=
Minor details
OCL 2.5
3. Issue 18829 :
selectByKind/selectByType
Pre OCL 2.4
sources->select(oclIsKindOf(Z))->collect(oclAsType(Z))->asSet()
OCL 2.4
sources->selectByKind(Z)
selectByKind (analoguous to oclIsKindOf)
returns non-null elements of selected type/subtypes
selectByType (analoguous to oclIsTypeOf)
returns elements of selected type
result has unchanged Collection Kind
Set returns Set, Bag returns Bag etc
OCL 2.4 (... OCL 2.5) Made available under EPL 1.0
4. 15009: Implicit Set Conversion (1)
let anObject : OclAny = ... in anObject->forAll(...)
Pre OCL 2.4
implicit conversion of non-null anObject to
Bag{anObject} or Set{anObject}
implicit conversion of null to Bag{} or Set{}
ambiguous Collection Kind
requires run-time check
no mechansism to express conversion in XMI
... Set{anObject}->...
bypasses the run-time null test
OCL 2.4 (... OCL 2.5) Made available under EPL 1.0
5. 15009: Implicit Set Conversion (2)
let anObject : OclAny = ... in anObject->forAll(...)
OCL 2.4
implicit conversion is always to Set
implicit conversion is a navigation shorthand
... anObject.oclAsSet()->forAll(...)
OclAny::oclAsSet() returns Set{self}
OclVoid::oclAsSet() returns Set{}
OclInvalid::oclAsSet() returns invalid
run-time null check resolved by operation overload
XMI serialization can reference library operation
OCL 2.4 (... OCL 2.5) Made available under EPL 1.0
6. 14918: Equality
true = true
Pre OCL 2.4
comparison of objects
true not necessarily equal to true
OCL 2.4
datatypes compared by (deep) value
true necessarily equal to true
object equal to itself but not to any other object
Oops: Real::=(), Real::<>() overload omitted
1.0 not yet unambiguously = 1
OCL 2.4 (... OCL 2.5) Made available under EPL 1.0
7. 17531: Logical operations on null (1)
not not null
Pre OCL 2.2
logic of 'undefined' very ill-defined
OCL 2.3
invalid/null clarification made
not null = invalid
BAD: not not X not equal to X for all X
OCL 2.4 (... OCL 2.5) Made available under EPL 1.0
8. 17531: Logical operations on null (2)
not not null
OCL 2.4
not null = null
similarly null revised so that for all X
false and X = false
true and X = X
true or X = true
false or X = X
exists and forAll are explicitly iterated and/or
same null/invalid handling
OCL 2.4 (... OCL 2.5) Made available under EPL 1.0
9. Issue 15836 : Reverse CollectionRange
Sequence{4..2}
Pre OCL 2.4
unspecified; WFR loops indefinitely
OCL 2.4
CollectionRanges must count up
OCL 2.4 (... OCL 2.5) Made available under EPL 1.0
10. Issue 18437 : calling null
null.oclIsKindOf(OclVoid)
Pre OCL 2.4
all calls on null/invalid return invalid
except some calls on null return useful results
OCL 2.4
All oclXXX functions explicitly specified
for OclAny, OclVoid, OclInvalid
OCL 2.4 (... OCL 2.5) Made available under EPL 1.0
11. Issue 18464 : closure includes source
sources->closure(...)
Pre OCL 2.4
conflicting words excluding sources from results
OCL 2.4
results include sources in results
OCL 2.4 (... OCL 2.5) Made available under EPL 1.0
12. Issue 18504 : any on empty
Set{}->any(...)
Pre OCL 2.4
conflicting words suggest null return
OCL 2.4
no return gives invalid
allows null to be a valid return
Sequence{null}->any(true)
OCL 2.4 (... OCL 2.5) Made available under EPL 1.0
13. Issue 17220 : String::indexOf
''.indexOf('')
Pre OCL 2.4
empty string cannot be substring of itself
OCL 2.4
empty is substring of all strings at index 1
OCL 2.4 (... OCL 2.5) Made available under EPL 1.0
14. Issue 16260: ocl??InState
oclInState(...) oclIsInState(...)
Pre OCL 2.4
spelling unclear
OCL 2.4
It is oclIsInState(...)
OCL 2.4 (... OCL 2.5) Made available under EPL 1.0
15. Issue 6551 polymorphic iterations
select/reject etc are now polymorphic
let a : Collection(String) = ....
in a->select(...)
uses the appropriate derived Set::select...
OCL 2.4 (... OCL 2.5) Made available under EPL 1.0
16. OCL 2.4 Statistics
Many typos corrected
58 issues resolved
13 issues were duplicates
37 issues closed no change
Many many more remain
175 issues deferred
OCL 2.4 - local easy fixes
RTF - Revision Task Force
XMI files are unchanged so still not fit for purpose
OCL 2.4 (... OCL 2.5) Made available under EPL 1.0
17. OCL 2.5
The hard fixes, UML 2.5 alignment
accurate, useful models (normative)
auto-generated specification text (non-normative)
Major 'rewrite' requires an RFP then an FTF
Request For Proposal - December 2013
draft on my laptop
Submission(s) by ?? December 2014
Revisions by ?? March 2015
Finalization Task Force ?? June 2015
Standard ?? December 2015
OCL 2.4 (... OCL 2.5) Made available under EPL 1.0