CxStates
•
0 likes•223 views
E
ESUGThis document presents a dynamically defined state model called CxStates that is not based on the state pattern. CxStates allows for a user-configurable state model that allows easy communication with external systems. It includes basic classes like CxBaseState that defines a state, CxTransitionEntry that defines transitions between states, and CxActionSequence to execute methods in external systems during transitions. Transitions are executed by executing pre-transition and post-transition actions. The document demonstrates CxStates with an example of modeling the states of an automatic coffee machine.
Report
Share
Report
Share
Download to read offline
Recommended
Kotlin functional programming basic@Kotlin TW study group
This document discusses functional programming concepts in Kotlin including collections, sequences, and functions. It explains that functional programming uses functions as first-class citizens and avoids shared and mutable state for improved testability and concurrency. Collections and sequences are constructed in different ways, with sequences being lazily evaluated. Common collection operations like map, filter, and reduce are covered along with when to use sequences versus collections.
Reactive cocoa 101
The document covers topics related to functional programming and ReactiveCocoa including:
1. It discusses the concepts of functional reactive programming where time is an implicit parameter and functions have no side effects.
2. It introduces ReactiveCocoa as an open source FRP framework for iOS and OSX that uses signals to send values over time and chains signals to transform data values.
3. It explains common functional programming building blocks like map, reduce, and filter that are used to transform and filter signal values in ReactiveCocoa.
UMLX and QVT and ATL
UMLX is a graphical transformation editor that aims to provide an environment for creating and executing model transformations. It allows users to visually define transformations using relations and evolutions. The document discusses UMLX's goals of being error-checked, executable, and interchangeable with textual notations like QVT and ATL. It also outlines UMLX's current features like multi-model editing and its use of transformations to convert to other formats.
A Tour of Akka-Streams
As the world is growing, so is data and with that analysis of this data has become important. Akka Stream is built on top of Akka-actors to handle the streaming data. It is used to analyze the data, perform operations on it asynchronously. In the session, I'm going to discuss basic components in Akka-Streams, back pressure, materialization, fusion, etc.
A Tour of Akka Streams
As the world is growing, so is data and with that analysis of this data has become important. Akka Stream is built on top of Akka-actors to handle the streaming data. It is used to analyze the data, perform operations on it asynchronously. In the session, I'm going to discuss basic components in Akka-Streams, back pressure, materialization, fusion, etc.
[Paper Reading] QAGen: Generating query-aware test databases
Today, a common methodology for testing a database management system (DBMS) is to generate a set of test databases and then execute queries on top of them. However, for DBMS testing, it would be a big advantage if we can control the input and/or the output (e.g., the cardinality) of each individual operator of a test query for a particular test case. Unfortunately, current database generators generate databases independent of queries. As a result, it is hard to guarantee that executing the test query on the generated test databases can obtain the desired (intermediate) query results that match the test case. In this paper, we propose a novel way for DBMS testing. Instead of first generating a test database and then seeing how well it matches a particular test case (or otherwise use a trial-and-error approach to generate another test database), we propose to generate a query-aware database for each test case. To that end, we designed a query-aware test database generator called QAGen. In addition to the database schema and the set of basic constraints defined on the base tables, QAGen takes the query and the set of constraints defined on the query as input, and generates a query-aware test database as output. The generated database guarantees that the test query can get the desired (intermediate) query results as defined in the test case. This approach of testing facilitates a wide range of DBMS testing tasks such as testing of memory managers and testing the cardinality estimation components of query optimizers.
OpenGL Transformations
This document discusses transformations in OpenGL, including rotation, translation, scaling, and matrix operations. It introduces the model-view and projection matrices that make up the current transformation matrix (CTM) applied to vertices. It describes how to manipulate these matrices using functions like glRotate, glTranslate, glScale, and loading identity and arbitrary matrices. It also covers matrix stacks, reading matrices back, and using transformations to smoothly rotate objects over time.
Streaming, effects and beautiful folds: a winning trilogy
Streaming libraries are kind of complex. Why is that so?
They have to handle many different concerns: streaming, composition, concurrency, resources management,... Is it possible to isolate those concerns into smaller, composable libraries?
Recommended
Kotlin functional programming basic@Kotlin TW study group
This document discusses functional programming concepts in Kotlin including collections, sequences, and functions. It explains that functional programming uses functions as first-class citizens and avoids shared and mutable state for improved testability and concurrency. Collections and sequences are constructed in different ways, with sequences being lazily evaluated. Common collection operations like map, filter, and reduce are covered along with when to use sequences versus collections.
Reactive cocoa 101
The document covers topics related to functional programming and ReactiveCocoa including:
1. It discusses the concepts of functional reactive programming where time is an implicit parameter and functions have no side effects.
2. It introduces ReactiveCocoa as an open source FRP framework for iOS and OSX that uses signals to send values over time and chains signals to transform data values.
3. It explains common functional programming building blocks like map, reduce, and filter that are used to transform and filter signal values in ReactiveCocoa.
UMLX and QVT and ATL
UMLX is a graphical transformation editor that aims to provide an environment for creating and executing model transformations. It allows users to visually define transformations using relations and evolutions. The document discusses UMLX's goals of being error-checked, executable, and interchangeable with textual notations like QVT and ATL. It also outlines UMLX's current features like multi-model editing and its use of transformations to convert to other formats.
A Tour of Akka-Streams
As the world is growing, so is data and with that analysis of this data has become important. Akka Stream is built on top of Akka-actors to handle the streaming data. It is used to analyze the data, perform operations on it asynchronously. In the session, I'm going to discuss basic components in Akka-Streams, back pressure, materialization, fusion, etc.
A Tour of Akka Streams
As the world is growing, so is data and with that analysis of this data has become important. Akka Stream is built on top of Akka-actors to handle the streaming data. It is used to analyze the data, perform operations on it asynchronously. In the session, I'm going to discuss basic components in Akka-Streams, back pressure, materialization, fusion, etc.
[Paper Reading] QAGen: Generating query-aware test databases
Today, a common methodology for testing a database management system (DBMS) is to generate a set of test databases and then execute queries on top of them. However, for DBMS testing, it would be a big advantage if we can control the input and/or the output (e.g., the cardinality) of each individual operator of a test query for a particular test case. Unfortunately, current database generators generate databases independent of queries. As a result, it is hard to guarantee that executing the test query on the generated test databases can obtain the desired (intermediate) query results that match the test case. In this paper, we propose a novel way for DBMS testing. Instead of first generating a test database and then seeing how well it matches a particular test case (or otherwise use a trial-and-error approach to generate another test database), we propose to generate a query-aware database for each test case. To that end, we designed a query-aware test database generator called QAGen. In addition to the database schema and the set of basic constraints defined on the base tables, QAGen takes the query and the set of constraints defined on the query as input, and generates a query-aware test database as output. The generated database guarantees that the test query can get the desired (intermediate) query results as defined in the test case. This approach of testing facilitates a wide range of DBMS testing tasks such as testing of memory managers and testing the cardinality estimation components of query optimizers.
OpenGL Transformations
This document discusses transformations in OpenGL, including rotation, translation, scaling, and matrix operations. It introduces the model-view and projection matrices that make up the current transformation matrix (CTM) applied to vertices. It describes how to manipulate these matrices using functions like glRotate, glTranslate, glScale, and loading identity and arbitrary matrices. It also covers matrix stacks, reading matrices back, and using transformations to smoothly rotate objects over time.
Streaming, effects and beautiful folds: a winning trilogy
Streaming libraries are kind of complex. Why is that so?
They have to handle many different concerns: streaming, composition, concurrency, resources management,... Is it possible to isolate those concerns into smaller, composable libraries?
SUnit 4.0
This document discusses the state of various Smalltalk dialects and versions of SUnit that are available across those dialects. It also summarizes new features in SUnit 4.0, including the addition of TestResources to allow sharing of test fixtures, and pluggable exceptions to customize test failure handling. The document raises questions about future enhancements to SUnit including removing compatibility methods no longer needed and ideas for the relationship between the SUnit core and variant implementations.
Madeo - a CAD Tool for reconfigurable Hardware
This document discusses Madeo, a CAD tool for programming reconfigurable hardware using an object-oriented methodology. Madeo was developed over 10 years and allows describing circuits as objects in a high-level language. It supports various reconfigurable architectures by modeling them and can generate configuration bitstreams. The tool aims to improve on existing solutions by providing retargetability, exploiting flexibility of reconfigurable hardware, and applying principles like code reuse and portability through a virtual machine-like approach. The document outlines key aspects of Madeo like its architecture modeling, compilation flow, and results demonstrating its capabilities on different targets. It also discusses lessons learned like using meta-modeling for evolution and interchange support.
Innovation Technology Awards
The document announces an awards competition hosted by ESUG in 2009 to encourage innovation and development of Smalltalk software. The goal is to advertise Smalltalk and related VM software by releasing and making publicly available Smalltalk code submissions. Any Smalltalk code is eligible for the awards, including free, commercial, academic, or other types of code. Winners will be determined based on number of submissions by country, dialect, and whether from academia or companies. Prizes totaling 1000 Euros will be awarded to the top submissions, with 500, 300, and 200 Euros for first, second, and third place respectively.
Resilient Smalltalk
Mads Torgersen: Design, Implementation and Evaluation of the
Resilient Smalltalk Embedded Platform (ESUG 2004, Koethen)
Automatic Strategies for Decision Support in TriageTelephone
This document describes an automated framework for decision support in telephone triage. It presents ExpertCare, a software application that simulates telephone triages by gathering initial data, asking questions, and providing presumptive diagnoses. The framework represents medical concepts and sessions logically and tests different question-asking strategies through simulation. The best-performing strategies are based on the notion of "support", which scores how well symptoms support potential diagnoses. These strategies achieved the project's goal of diagnosing patients in 3-6 questions on average. The framework was developed in Smalltalk, which facilitated knowledge representation, strategy testing, and refining approaches based on results. Future work could include integrating the framework with the real ExpertCare system and adapting it to other
Object Graph Swapping
The document discusses object graphs in object-oriented programming and the problem of referenced but unused objects consuming memory. It proposes "swapping" unused objects to disk rather than removing them, to avoid memory issues. This is done by grouping unused objects into "subgraphs" and replacing the roots with proxies. When an object is needed again, it can be loaded back from disk. The key aspects involve identifying used/unused objects at runtime, using proxies to represent swapped objects, and grouping objects intelligently into subgraphs to swap.
Coordinated Testing with a Test-Server
The document describes a test server tool that coordinates automated testing across developers. The test server tracks test case results, code versions, and test case status. Developers can run tests from a client that reports results to the server. The server flags tests that are not up to date and allows developers to check out test suites for repair. It also facilitates parallel test execution across multiple clients. The tool currently supports Smalltalk test frameworks and the presenters are working on new implementations and additional features.
Embedded system design process_models
The document discusses different models for describing the behavior of embedded systems, including sequential program models, state machine models, and finite state machine with datapath (FSMD) models. It uses an example of a simple elevator controller to illustrate how each model can be applied. The state machine and FSMD models are presented as alternatives to the sequential program model that may provide a more natural description of systems whose behavior involves reacting to inputs by transitioning between states.
ppt.pptx
VLSI design involves integrating hundreds of thousands of transistors onto a single microchip. It follows Moore's law, which predicts that the number of transistors per chip doubles every 18 months. The VLSI design flow includes behavioral, structural, and dataflow modeling using Verilog HDL. Test benches are used to apply inputs to designs and verify functionality. Common digital designs include microprocessors, UARTs for serial communication, and finite state machines like Mealy and Moore machines.
How to build an event driven architecture with kafka and kafka connect
How to build an event driven architecture with Kafka & Kafka Connect?
Bài talk chia sẻ về quá trình 2 năm ứng dụng Kafka, Kafka Connect để chuyển đổi mô hình hệ thống của Vexere từ Monolithic thành Microservice, event driven
- Event driven architecture là gì?
- Làm thế nào để xây dựng 1 hệ thống event driven architecture một cách hiệu qủa bằng Kafka và Kafka Connect
onnect
- Các usercase hữu ích với Kafka & Kafka Connect
- Kinh nghiệm thực tế và các bài học rút ra
Scalability truths and serverless architectures
This document discusses scalability challenges with stateful, data-driven systems and event-driven architectures. It introduces concepts like scalability truths, serverless architectures, and maintaining state in event-driven systems. The document then discusses the Flux project, which is an open source, asynchronous, distributed, and reliable state machine-based orchestrator that can be used to build stateful event-driven applications and workflows in a serverless environment.
Introduction to-vhdl
This document provides an introduction to VHDL, including:
- VHDL allows modeling and developing digital systems through modules that can be reused, with in/out ports and behavioral or structural specification.
- Models can be tested through simulation and used for synthesis.
- There are three ways to specify models: dataflow, behavioral, and structural. Behavioral models describe algorithms, structural models compose subsystems.
- A test bench applies inputs to verify a model's outputs through simulation.
Apache flink
Apache Flink is a framework and distributed processing engine for stateful computations over unbounded and bounded data streams. Flink has been designed to run in all common cluster environments, perform computations at in-memory speed and at any scale.
SDN Fundamentals - short presentation
The document provides an overview of software-defined networking (SDN) fundamentals, including:
- In traditional networks, the control plane and data plane are logically coupled within each network device, whereas SDN separates these planes and centralizes the control plane in an SDN controller.
- The SDN controller holds the entire network description as a graph and can perform optimization calculations. It programs flow entries into forwarding devices using the OpenFlow protocol.
- OpenFlow defines a standard interface that gives access to the forwarding plane of network switches or routers. It separates the data and control planes and allows the control logic to be implemented separately in the SDN controller.
Design System Design-ASM and Asynchronous Sequential Circuits
Algorithmic State Machines (ASMs): ASM chart, ASM block, simplifications and timing considerations with design example. ASMD chart for binary multiplier and Verilog HDL code, one hot state controller.
Asynchronous Sequential logic: Analysis procedure-Transition table, flow table, race conditions. Hazards with design example of Vending-Machine Controller
Building a fully Kafka-based product as a Data Scientist | Patrick Neff, BAADER
A data analytics project for a food processing factory revealed that business problems could be solved and processes improved by implementing streaming applications.
BAADER's Transport Manager consists of a few microservices based on Kafka Streams and several ksqlDB queries running on a managed ksqlDB in Confluent Cloud. It tracks poultry trailers to improve animal welfare. Moreover, additional data are associated, such as weather information and ETA, to optimize for on-time delivery.
This session guides through the development process from a Data Scientist's perspective having a limited software development skillset. A closer look is taken on challenges being tackled such as creating and testing topologies, acquiring knowledge about state stores, streams and KTables, and dealing with ksqlDB breaking changes. Takeaways are presented about great developer resources for Kafka Streams and handy ksqlDB functions, to help developers with similar skills working with Apache Kafka.
Fast federated SQL with Apache Calcite
This document discusses Apache Calcite, an open source framework for federated SQL queries. It provides an introduction to Calcite and its components. It then evaluates Calcite's performance on single data sources through benchmarks. Lastly, it proposes a hybrid approach to enable efficient federated queries using Calcite and Spark.
SWEET - A Tool for WCET Flow Analysis - Björn Lisper
Slides fra InfInIT arrangement i interessegruppen for Embedded Systems Engineering
http://www.infinit.dk/dk/arrangementer/tidligere_arrangementer/sweet---a-tool-for-wcet-flow-analysis.htm
Design and Implementation of a Load Balancing Algorithm for a Clustered SDN C...
1) The document describes the design and implementation of a load balancing algorithm for a clustered SDN control plane.
2) The algorithm dynamically assigns switches to controllers based on CPU load to balance load across the cluster. It migrates switches between controllers to address load imbalances.
3) The algorithm was implemented in OpenDaylight and evaluated based on response times and throughput under different test scenarios with a single controller and multiple controllers.
A Multicore Parallelization of Continuous Skyline Queries on Data Streams
This document summarizes a research paper on parallelizing continuous skyline queries over data streams using multicore processors. The paper presents an eager algorithm for computing skyline queries over sliding windows of data streams. It parallelizes the algorithm using a map-reduce pattern across multiple worker threads, and proposes optimizations like asynchronous reduce and load-balancing owner selection policies. Experimental results show the parallel approach achieves near-linear speedup and scales throughput up to hundreds of thousands of points processed per second.
Comparative Evaluation of Spark and Flink Stream Processing
This document compares the performance of Apache Spark and Apache Flink for stream processing tasks. It develops two evaluation workloads using aircraft trajectory data from the DatAcron project: 1) computing statistics for each trajectory, and 2) detecting changes in aircraft sectors. The document finds that Flink has lower latency than Spark Streaming due to its stateful, low-latency processing model. However, Spark Streaming can achieve higher throughput than Flink by increasing batch durations. Overall, the document concludes that Flink is generally better suited than Spark for stream processing workloads.
More Related Content
Viewers also liked
SUnit 4.0
This document discusses the state of various Smalltalk dialects and versions of SUnit that are available across those dialects. It also summarizes new features in SUnit 4.0, including the addition of TestResources to allow sharing of test fixtures, and pluggable exceptions to customize test failure handling. The document raises questions about future enhancements to SUnit including removing compatibility methods no longer needed and ideas for the relationship between the SUnit core and variant implementations.
Madeo - a CAD Tool for reconfigurable Hardware
This document discusses Madeo, a CAD tool for programming reconfigurable hardware using an object-oriented methodology. Madeo was developed over 10 years and allows describing circuits as objects in a high-level language. It supports various reconfigurable architectures by modeling them and can generate configuration bitstreams. The tool aims to improve on existing solutions by providing retargetability, exploiting flexibility of reconfigurable hardware, and applying principles like code reuse and portability through a virtual machine-like approach. The document outlines key aspects of Madeo like its architecture modeling, compilation flow, and results demonstrating its capabilities on different targets. It also discusses lessons learned like using meta-modeling for evolution and interchange support.
Innovation Technology Awards
The document announces an awards competition hosted by ESUG in 2009 to encourage innovation and development of Smalltalk software. The goal is to advertise Smalltalk and related VM software by releasing and making publicly available Smalltalk code submissions. Any Smalltalk code is eligible for the awards, including free, commercial, academic, or other types of code. Winners will be determined based on number of submissions by country, dialect, and whether from academia or companies. Prizes totaling 1000 Euros will be awarded to the top submissions, with 500, 300, and 200 Euros for first, second, and third place respectively.
Resilient Smalltalk
Mads Torgersen: Design, Implementation and Evaluation of the
Resilient Smalltalk Embedded Platform (ESUG 2004, Koethen)
Automatic Strategies for Decision Support in TriageTelephone
This document describes an automated framework for decision support in telephone triage. It presents ExpertCare, a software application that simulates telephone triages by gathering initial data, asking questions, and providing presumptive diagnoses. The framework represents medical concepts and sessions logically and tests different question-asking strategies through simulation. The best-performing strategies are based on the notion of "support", which scores how well symptoms support potential diagnoses. These strategies achieved the project's goal of diagnosing patients in 3-6 questions on average. The framework was developed in Smalltalk, which facilitated knowledge representation, strategy testing, and refining approaches based on results. Future work could include integrating the framework with the real ExpertCare system and adapting it to other
Object Graph Swapping
The document discusses object graphs in object-oriented programming and the problem of referenced but unused objects consuming memory. It proposes "swapping" unused objects to disk rather than removing them, to avoid memory issues. This is done by grouping unused objects into "subgraphs" and replacing the roots with proxies. When an object is needed again, it can be loaded back from disk. The key aspects involve identifying used/unused objects at runtime, using proxies to represent swapped objects, and grouping objects intelligently into subgraphs to swap.
Coordinated Testing with a Test-Server
The document describes a test server tool that coordinates automated testing across developers. The test server tracks test case results, code versions, and test case status. Developers can run tests from a client that reports results to the server. The server flags tests that are not up to date and allows developers to check out test suites for repair. It also facilitates parallel test execution across multiple clients. The tool currently supports Smalltalk test frameworks and the presenters are working on new implementations and additional features.
Viewers also liked (7)
Automatic Strategies for Decision Support in TriageTelephone
Automatic Strategies for Decision Support in TriageTelephone
Similar to CxStates
Embedded system design process_models
The document discusses different models for describing the behavior of embedded systems, including sequential program models, state machine models, and finite state machine with datapath (FSMD) models. It uses an example of a simple elevator controller to illustrate how each model can be applied. The state machine and FSMD models are presented as alternatives to the sequential program model that may provide a more natural description of systems whose behavior involves reacting to inputs by transitioning between states.
ppt.pptx
VLSI design involves integrating hundreds of thousands of transistors onto a single microchip. It follows Moore's law, which predicts that the number of transistors per chip doubles every 18 months. The VLSI design flow includes behavioral, structural, and dataflow modeling using Verilog HDL. Test benches are used to apply inputs to designs and verify functionality. Common digital designs include microprocessors, UARTs for serial communication, and finite state machines like Mealy and Moore machines.
How to build an event driven architecture with kafka and kafka connect
How to build an event driven architecture with Kafka & Kafka Connect?
Bài talk chia sẻ về quá trình 2 năm ứng dụng Kafka, Kafka Connect để chuyển đổi mô hình hệ thống của Vexere từ Monolithic thành Microservice, event driven
- Event driven architecture là gì?
- Làm thế nào để xây dựng 1 hệ thống event driven architecture một cách hiệu qủa bằng Kafka và Kafka Connect
onnect
- Các usercase hữu ích với Kafka & Kafka Connect
- Kinh nghiệm thực tế và các bài học rút ra
Scalability truths and serverless architectures
This document discusses scalability challenges with stateful, data-driven systems and event-driven architectures. It introduces concepts like scalability truths, serverless architectures, and maintaining state in event-driven systems. The document then discusses the Flux project, which is an open source, asynchronous, distributed, and reliable state machine-based orchestrator that can be used to build stateful event-driven applications and workflows in a serverless environment.
Introduction to-vhdl
This document provides an introduction to VHDL, including:
- VHDL allows modeling and developing digital systems through modules that can be reused, with in/out ports and behavioral or structural specification.
- Models can be tested through simulation and used for synthesis.
- There are three ways to specify models: dataflow, behavioral, and structural. Behavioral models describe algorithms, structural models compose subsystems.
- A test bench applies inputs to verify a model's outputs through simulation.
Apache flink
Apache Flink is a framework and distributed processing engine for stateful computations over unbounded and bounded data streams. Flink has been designed to run in all common cluster environments, perform computations at in-memory speed and at any scale.
SDN Fundamentals - short presentation
The document provides an overview of software-defined networking (SDN) fundamentals, including:
- In traditional networks, the control plane and data plane are logically coupled within each network device, whereas SDN separates these planes and centralizes the control plane in an SDN controller.
- The SDN controller holds the entire network description as a graph and can perform optimization calculations. It programs flow entries into forwarding devices using the OpenFlow protocol.
- OpenFlow defines a standard interface that gives access to the forwarding plane of network switches or routers. It separates the data and control planes and allows the control logic to be implemented separately in the SDN controller.
Design System Design-ASM and Asynchronous Sequential Circuits
Algorithmic State Machines (ASMs): ASM chart, ASM block, simplifications and timing considerations with design example. ASMD chart for binary multiplier and Verilog HDL code, one hot state controller.
Asynchronous Sequential logic: Analysis procedure-Transition table, flow table, race conditions. Hazards with design example of Vending-Machine Controller
Building a fully Kafka-based product as a Data Scientist | Patrick Neff, BAADER
A data analytics project for a food processing factory revealed that business problems could be solved and processes improved by implementing streaming applications.
BAADER's Transport Manager consists of a few microservices based on Kafka Streams and several ksqlDB queries running on a managed ksqlDB in Confluent Cloud. It tracks poultry trailers to improve animal welfare. Moreover, additional data are associated, such as weather information and ETA, to optimize for on-time delivery.
This session guides through the development process from a Data Scientist's perspective having a limited software development skillset. A closer look is taken on challenges being tackled such as creating and testing topologies, acquiring knowledge about state stores, streams and KTables, and dealing with ksqlDB breaking changes. Takeaways are presented about great developer resources for Kafka Streams and handy ksqlDB functions, to help developers with similar skills working with Apache Kafka.
Fast federated SQL with Apache Calcite
This document discusses Apache Calcite, an open source framework for federated SQL queries. It provides an introduction to Calcite and its components. It then evaluates Calcite's performance on single data sources through benchmarks. Lastly, it proposes a hybrid approach to enable efficient federated queries using Calcite and Spark.
SWEET - A Tool for WCET Flow Analysis - Björn Lisper
Slides fra InfInIT arrangement i interessegruppen for Embedded Systems Engineering
http://www.infinit.dk/dk/arrangementer/tidligere_arrangementer/sweet---a-tool-for-wcet-flow-analysis.htm
Design and Implementation of a Load Balancing Algorithm for a Clustered SDN C...
1) The document describes the design and implementation of a load balancing algorithm for a clustered SDN control plane.
2) The algorithm dynamically assigns switches to controllers based on CPU load to balance load across the cluster. It migrates switches between controllers to address load imbalances.
3) The algorithm was implemented in OpenDaylight and evaluated based on response times and throughput under different test scenarios with a single controller and multiple controllers.
A Multicore Parallelization of Continuous Skyline Queries on Data Streams
This document summarizes a research paper on parallelizing continuous skyline queries over data streams using multicore processors. The paper presents an eager algorithm for computing skyline queries over sliding windows of data streams. It parallelizes the algorithm using a map-reduce pattern across multiple worker threads, and proposes optimizations like asynchronous reduce and load-balancing owner selection policies. Experimental results show the parallel approach achieves near-linear speedup and scales throughput up to hundreds of thousands of points processed per second.
Comparative Evaluation of Spark and Flink Stream Processing
This document compares the performance of Apache Spark and Apache Flink for stream processing tasks. It develops two evaluation workloads using aircraft trajectory data from the DatAcron project: 1) computing statistics for each trajectory, and 2) detecting changes in aircraft sectors. The document finds that Flink has lower latency than Spark Streaming due to its stateful, low-latency processing model. However, Spark Streaming can achieve higher throughput than Flink by increasing batch durations. Overall, the document concludes that Flink is generally better suited than Spark for stream processing workloads.
Automate SAP PI/PO Migration
How we can automate the Migrations with Figaf IRT testing tool.
Migration is one of the big tasks on any SAP PI/PO project. There is a lot of manual work that needs to be performed to make it happen. That is what we will help automate.
Video replay is at https://youtu.be/Q-E6d7hQV2k
Blog is at https://figaf.com/automatic-sap-pi-migration/
Let's start with REDUX
Predictable state container for javascript apps
Redux is an evolution of a concept called flux
Light weight implementation of flux (24 kb)
Redux was created by Dan Abramov around June 2015
Taming event-driven software via formal verification
Event-driven software can be found everywhere, from low-level drivers, to software that controls and coordinates complex subcomponents, and even in GUIs. Typically, event-driven software is characterised as consisting of a number of stateful components that communicate by sending messages to each other. Event-driven software is notoriously difficult to test. There are often many different sequences of events, and because the exact order of the events will affect the state of the system, it can be easy for bugs to lurk in obscure un-tested sequences of events. Even worse, reproducing these bugs can be difficult due to the need to reproduce the exact sequence of events that led to the issue.
Formal verification is one method of solving this: rather than writing tests to check each of the different possible sequences of events, automated formal verification could be used to verify that the software is correct no matter what sequence of events is observed. In this talk, we will look at what capabilities are required to ensure that this will be successful, including what it means for event-driven software to be correct, and how to ensure that the verification can scale to industrial-sized software projects.
Reactive Streams - László van den Hoek
This document provides an overview of reactive programming concepts including Reactive Streams and implementations like Akka and Akka Streams. It discusses:
- Non-blocking processing with asynchronous event loops and back pressure to prevent OutOfMemoryErrors.
- Use cases for Reactive Streams like managing uneven producer/consumer rates, ordering requirements, and efficient resource usage.
- Key aspects of Reactive Streams including the Publisher, Subscriber, and Subscription interfaces.
- How Akka implements the actor model for building concurrent, distributed applications and provides features like ordered message delivery, location transparency, and high-level components.
- How Akka Streams implements Reactive Streams for building data pipelines
Similar to CxStates (20)
How to build an event driven architecture with kafka and kafka connect
How to build an event driven architecture with kafka and kafka connect
Design System Design-ASM and Asynchronous Sequential Circuits
Design System Design-ASM and Asynchronous Sequential Circuits
Building a fully Kafka-based product as a Data Scientist | Patrick Neff, BAADER
Building a fully Kafka-based product as a Data Scientist | Patrick Neff, BAADER
SWEET - A Tool for WCET Flow Analysis - Björn Lisper
SWEET - A Tool for WCET Flow Analysis - Björn Lisper
Design and Implementation of a Load Balancing Algorithm for a Clustered SDN C...
Design and Implementation of a Load Balancing Algorithm for a Clustered SDN C...
A Multicore Parallelization of Continuous Skyline Queries on Data Streams
A Multicore Parallelization of Continuous Skyline Queries on Data Streams
Comparative Evaluation of Spark and Flink Stream Processing
Comparative Evaluation of Spark and Flink Stream Processing
Taming event-driven software via formal verification
Taming event-driven software via formal verification
More from ESUG
Workshop: Identifying concept inventories in agile programming
This document discusses the development of a concept inventory to identify common misconceptions in agile programming and object-oriented development. The project aims to strengthen collaboration between INRIA/Lille and ÉTS/UQAM by creating a concept inventory that can be used to improve teaching of agile development with object-oriented languages like TypeScript, JavaScript, and Pharo. The methodology involves identifying misconceptions, proposing a concept inventory, and validating it in courses by measuring understanding before and after instruction. A workshop will help identify initial misconceptions in Smalltalk/Pharo by capturing them in a collaborative tool.
Technical documentation support in Pharo
This document proposes integrating documentation into the Pharo language metamodel and environment to improve documentation support. It suggests making documentation first-class citizens in Pharo by providing built-in support and a minimal API, which would allow tight integration with development tools and future extensions without requiring grammar changes or large efforts. This could improve documentation quality by enabling direct references between code and documentation and automatic logging of documentation usage.
The Pharo Debugger and Debugging tools: Advances and Roadmap
This document outlines advances and the roadmap for debugging tools in Pharo. It discusses recent improvements to the debugging infrastructure, including architectural changes and new debugging commands. It also describes upcoming work, such as additional infrastructure improvements, an emergency debugger, support for meta-object protocols, a redesigned user experience, a remote debugger, and improved documentation. The document concludes by inviting participants to help evaluate new debugging experiments.
Sequence: Pipeline modelling in Pharo
The document describes Sequence, a pipeline modeling and discrete event simulation framework developed in Pharo Smalltalk. Sequence allows describing system resources, building blocks that use those resources, assembling scenarios from blocks, collecting information during simulated runs, and interactively exploring system traces. The framework implements a discrete event simulation engine with event streams that model periodic processes and resources. Sequence provides tools for evaluating system performance through simulation before complete hardware is available.
Migration process from monolithic to micro frontend architecture in mobile ap...
This document discusses migrating a monolithic mobile application called CARL Touch to a micro frontend architecture. It presents a migration process involving three steps: 1) analysis of the monolithic codebase, 2) identification of potential micro frontends, and 3) transformation of the codebase to implement the identified micro frontends. Previous experiments at Berger-Levrault involving two teams migrating CARL Touch provided insights. The proposed process uses static and dynamic analysis, code visualization and clustering techniques to help identify optimal micro frontends and transform the codebase in a semi-automated manner.
Analyzing Dart Language with Pharo: Report and early results
This document summarizes an analysis of the Dart programming language using tools in the Pharo environment. It describes generating a parser for Dart using SmaCC, which produces an AST. It also details defining a Famix meta-model for Dart and the Chartreuse-D importer that creates a FamixDart model from the AST. Future work is outlined, including improving SmaCCDart, continuing to develop the FamixDart meta-model, and handling dynamic types when importing associations. The goal is to analyze Dart and explore modeling Flutter applications.
Transpiling Pharo Classes to JS ECMAScript 5 versus ECMAScript 6
This document summarizes research on transpiling Pharo classes to JavaScript using ECMAScript 5 versus ECMAScript 6. It finds that transpiling to ES6 provides benefits like significantly faster load times, improved benchmark performance up to 43%, and more idiomatic code compared to ES5. However, fully emulating Smalltalk semantics like metaclass inheritance remains challenging when targeting JavaScript.
A Unit Test Metamodel for Test Generation
The document presents an approach for automated test generation from software models and execution traces. Key aspects of the approach include using metamodels to represent the codebase, values, and desired unit test structure. Models are built from the codebase and traces, then transformations are applied to generate unit tests conforming to the test metamodel. Abstract syntax trees are used to export the generated tests to code. The approach aims to generate tests that are relevant, readable and maintainable without relying on existing tests. An example demonstrates generating a JUnit test from an application class.
Creating Unit Tests Using Genetic Programming
Genetic programming is used to generate unit tests by evolving test code via genetic algorithms to maximize coverage. Tests are represented as chromosomes of object and message statements. The genetic algorithm selects tests based on coverage, combines tests through crossover, and replaces tests in the population over generations to find optimal test sequences. Future work includes improving path exploration and comparing with other test generation tools.
Threaded-Execution and CPS Provide Smooth Switching Between Execution Modes
Threaded execution and continuation-passing style (CPS) allow for smooth switching between execution modes in Zag Smalltalk. Threaded execution interprets code as a sequence of addresses like bytecode but is 2.3-4.7 times faster, while CPS passes continuations explicitly like in functional languages and is 3-5 times faster than bytecode. Both approaches allow fallback to debugging. The implementation shares context and stack between modes to easily switch with proper object structures.
Exploring GitHub Actions through EGAD: An Experience Report
This document summarizes an experience report on exploring GitHub Actions through EGAD, a tool for GitHub Action analysis. It discusses three key lessons learned: 1) Composing a story by documenting tasks and linking documentation to code, 2) Navigating custom views to conduct research, and 3) Supporting onboarding of researchers by assigning mentors, scheduling meetings, and encouraging use of resources. EGAD takes workflow YAML files, wraps them in a domain model to provide context, and allows inspecting examples to fully explore the GitHub Actions domain model.
Pharo: a reflective language A first systematic analysis of reflective APIs
This document analyzes the reflective features and APIs in Pharo, a reflective programming language. It presents a catalog of Pharo's reflective APIs and analyzes how they relate to metaobjects. The analysis highlights areas for potential improvement, such as providing solutions for intercession on state reads/writes and addressing constraints when changing an object's class. The document contributes to understanding Pharo's reflective design and its evolution over time.
Garbage Collector Tuning
The document discusses garbage collector tuning for applications with pathological allocation patterns. It begins by explaining the motivation and issues caused by pathological patterns, such as applications taking over an hour and a half to run. It then provides an overview of garbage collection and how allocation patterns can impact performance. The document dives into two specific tuning techniques - increasing the full GC threshold to prevent premature full GCs from being triggered, and increasing the tenuring threshold to avoid large objects residing in the remembered set and slowing down scavenges. These tunings resulted in significant performance improvements for the sample DataFrame application, reducing the run time from over an hour and a half to around seven minutes.
Improving Performance Through Object Lifetime Profiling: the DataFrame Case
This document discusses improving garbage collection performance in Pharo through object lifetime profiling. It presents Illimani, a lifetime profiler developed for Pharo. Illimani was used to profile the lifetimes of objects created when loading a large DataFrame. The profiling revealed that most objects had short lifetimes, suggesting the garbage collector could be tuned. Tuning the garbage collector parameters based on the lifetime profiles improved the performance of loading the DataFrame.
Pharo DataFrame: Past, Present, and Future
This document discusses the past, present, and future of Pharo DataFrames. It began as a student project but has evolved into a mature project with dedicated engineers, improving performance and adding functionality. Future plans include further performance enhancements, adding more functionality, better integration with other Pharo projects, and support for big data. Evaluation of DataFrames is also planned.
thisContext in the Debugger
This document discusses issues with thisContext in the Pharo debugger not correctly representing the execution context and being the DoIt context instead. This was fixed in Pharo12 by making thisContext a variable object that is wrapped in a DoItVariable, so the debugger context is used. When inspecting or doing DoIt, the doIt Variable is pushed and read to provide the proper execution context.
Websockets for Fencing Score
This document proposes using websockets to display fencing scores and a chronometer from an arena server to mobile phones over the internet in real-time. It includes links to video examples of a chronometer display and photos from fencing competitions.
ShowUs: PharoJS.org Develop in Pharo, Run on JavaScript
This document discusses PharoJS, which allows developers to develop applications in Pharo and then export them to run as JavaScript applications. PharoJS enables 100% of Pharo code to be executed during development, and then 100% of that same code is exported to JavaScript to be executed in production. The document also briefly mentions deployment options for exported PharoJS applications like GitHub Pages and GitHub Actions.
Advanced Object- Oriented Design Mooc
The document contains testimonials from participants of the Pharo MOOC praising its effectiveness at teaching object-oriented design. It also announces an upcoming advanced design MOOC that will have over 60 lectures, slides, videos and an exercise booklet. Finally, it provides links to the course websites and encourages people to stay tuned for the new MOOC.
A New Architecture Reconciling Refactorings and Transformations
This document discusses reconciling refactorings and transformations in software engineering. It proposes a new architecture where refactorings decorate transformations by checking preconditions and composing multiple transformations. Refactorings ensure transformations are applied safely while transformations focus on model changes. Open questions remain around precondition handling and composition semantics. The goals are to reduce duplication, support custom refactorings/transformations, and provide a modern driver-based user interface.
More from ESUG (20)
Workshop: Identifying concept inventories in agile programming
Workshop: Identifying concept inventories in agile programming
The Pharo Debugger and Debugging tools: Advances and Roadmap
The Pharo Debugger and Debugging tools: Advances and Roadmap
Migration process from monolithic to micro frontend architecture in mobile ap...
Migration process from monolithic to micro frontend architecture in mobile ap...
Analyzing Dart Language with Pharo: Report and early results
Analyzing Dart Language with Pharo: Report and early results
Transpiling Pharo Classes to JS ECMAScript 5 versus ECMAScript 6
Transpiling Pharo Classes to JS ECMAScript 5 versus ECMAScript 6
Threaded-Execution and CPS Provide Smooth Switching Between Execution Modes
Threaded-Execution and CPS Provide Smooth Switching Between Execution Modes
Exploring GitHub Actions through EGAD: An Experience Report
Exploring GitHub Actions through EGAD: An Experience Report
Pharo: a reflective language A first systematic analysis of reflective APIs
Pharo: a reflective language A first systematic analysis of reflective APIs
Improving Performance Through Object Lifetime Profiling: the DataFrame Case
Improving Performance Through Object Lifetime Profiling: the DataFrame Case
ShowUs: PharoJS.org Develop in Pharo, Run on JavaScript
ShowUs: PharoJS.org Develop in Pharo, Run on JavaScript
A New Architecture Reconciling Refactorings and Transformations
A New Architecture Reconciling Refactorings and Transformations
Recently uploaded
Harnessing the Power of NLP and Knowledge Graphs for Opioid Research
Gursev Pirge, PhD
Senior Data Scientist - JohnSnowLabs
The Microsoft 365 Migration Tutorial For Beginner.pptx
This presentation will help you understand the power of Microsoft 365. However, we have mentioned every productivity app included in Office 365. Additionally, we have suggested the migration situation related to Office 365 and how we can help you.
You can also read: https://www.systoolsgroup.com/updates/office-365-tenant-to-tenant-migration-step-by-step-complete-guide/
Main news related to the CCS TSI 2023 (2023/1695)
An English 🇬🇧 translation of a presentation to the speech I gave about the main changes brought by CCS TSI 2023 at the biggest Czech conference on Communications and signalling systems on Railways, which was held in Clarion Hotel Olomouc from 7th to 9th November 2023 (konferenceszt.cz). Attended by around 500 participants and 200 on-line followers.
The original Czech 🇨🇿 version of the presentation can be found here: https://www.slideshare.net/slideshow/hlavni-novinky-souvisejici-s-ccs-tsi-2023-2023-1695/269688092 .
The videorecording (in Czech) from the presentation is available here: https://youtu.be/WzjJWm4IyPk?si=SImb06tuXGb30BEH .
High performance Serverless Java on AWS- GoTo Amsterdam 2024
Java is for many years one of the most popular programming languages, but it used to have hard times in the Serverless community. Java is known for its high cold start times and high memory footprint, comparing to other programming languages like Node.js and Python. In this talk I'll look at the general best practices and techniques we can use to decrease memory consumption, cold start times for Java Serverless development on AWS including GraalVM (Native Image) and AWS own offering SnapStart based on Firecracker microVM snapshot and restore and CRaC (Coordinated Restore at Checkpoint) runtime hooks. I'll also provide a lot of benchmarking on Lambda functions trying out various deployment package sizes, Lambda memory settings, Java compilation options and HTTP (a)synchronous clients and measure their impact on cold and warm start times.
"Choosing proper type of scaling", Olena Syrota
Imagine an IoT processing system that is already quite mature and production-ready and for which client coverage is growing and scaling and performance aspects are life and death questions. The system has Redis, MongoDB, and stream processing based on ksqldb. In this talk, firstly, we will analyze scaling approaches and then select the proper ones for our system.
Day 2 - Intro to UiPath Studio Fundamentals
In our second session, we shall learn all about the main features and fundamentals of UiPath Studio that enable us to use the building blocks for any automation project.
📕 Detailed agenda:
Variables and Datatypes
Workflow Layouts
Arguments
Control Flows and Loops
Conditional Statements
💻 Extra training through UiPath Academy:
Variables, Constants, and Arguments in Studio
Control Flow in Studio
“Temporal Event Neural Networks: A More Efficient Alternative to the Transfor...
“Temporal Event Neural Networks: A More Efficient Alternative to the Transfor...Edge AI and Vision Alliance
For the full video of this presentation, please visit: https://www.edge-ai-vision.com/2024/06/temporal-event-neural-networks-a-more-efficient-alternative-to-the-transformer-a-presentation-from-brainchip/
Chris Jones, Director of Product Management at BrainChip , presents the “Temporal Event Neural Networks: A More Efficient Alternative to the Transformer” tutorial at the May 2024 Embedded Vision Summit.
The expansion of AI services necessitates enhanced computational capabilities on edge devices. Temporal Event Neural Networks (TENNs), developed by BrainChip, represent a novel and highly efficient state-space network. TENNs demonstrate exceptional proficiency in handling multi-dimensional streaming data, facilitating advancements in object detection, action recognition, speech enhancement and language model/sequence generation. Through the utilization of polynomial-based continuous convolutions, TENNs streamline models, expedite training processes and significantly diminish memory requirements, achieving notable reductions of up to 50x in parameters and 5,000x in energy consumption compared to prevailing methodologies like transformers.
Integration with BrainChip’s Akida neuromorphic hardware IP further enhances TENNs’ capabilities, enabling the realization of highly capable, portable and passively cooled edge devices. This presentation delves into the technical innovations underlying TENNs, presents real-world benchmarks, and elucidates how this cutting-edge approach is positioned to revolutionize edge AI across diverse applications."$10 thousand per minute of downtime: architecture, queues, streaming and fin...
Direct losses from downtime in 1 minute = $5-$10 thousand dollars. Reputation is priceless.
As part of the talk, we will consider the architectural strategies necessary for the development of highly loaded fintech solutions. We will focus on using queues and streaming to efficiently work and manage large amounts of data in real-time and to minimize latency.
We will focus special attention on the architectural patterns used in the design of the fintech system, microservices and event-driven architecture, which ensure scalability, fault tolerance, and consistency of the entire system.
Mutation Testing for Task-Oriented Chatbots
Conversational agents, or chatbots, are increasingly used to access all sorts of services using natural language. While open-domain chatbots - like ChatGPT - can converse on any topic, task-oriented chatbots - the focus of this paper - are designed for specific tasks, like booking a flight, obtaining customer support, or setting an appointment. Like any other software, task-oriented chatbots need to be properly tested, usually by defining and executing test scenarios (i.e., sequences of user-chatbot interactions). However, there is currently a lack of methods to quantify the completeness and strength of such test scenarios, which can lead to low-quality tests, and hence to buggy chatbots.
To fill this gap, we propose adapting mutation testing (MuT) for task-oriented chatbots. To this end, we introduce a set of mutation operators that emulate faults in chatbot designs, an architecture that enables MuT on chatbots built using heterogeneous technologies, and a practical realisation as an Eclipse plugin. Moreover, we evaluate the applicability, effectiveness and efficiency of our approach on open-source chatbots, with promising results.
Session 1 - Intro to Robotic Process Automation.pdf
👉 Check out our full 'Africa Series - Automation Student Developers (EN)' page to register for the full program:
https://bit.ly/Automation_Student_Kickstart
In this session, we shall introduce you to the world of automation, the UiPath Platform, and guide you on how to install and setup UiPath Studio on your Windows PC.
📕 Detailed agenda:
What is RPA? Benefits of RPA?
RPA Applications
The UiPath End-to-End Automation Platform
UiPath Studio CE Installation and Setup
💻 Extra training through UiPath Academy:
Introduction to Automation
UiPath Business Automation Platform
Explore automation development with UiPath Studio
👉 Register here for our upcoming Session 2 on June 20: Introduction to UiPath Studio Fundamentals: https://community.uipath.com/events/details/uipath-lagos-presents-session-2-introduction-to-uipath-studio-fundamentals/
Leveraging the Graph for Clinical Trials and Standards
Katja Glaß
OpenStudyBuilder Community Manager - Katja Glaß Consulting
Marius Conjeaud
Principal Consultant - Neo4j
"NATO Hackathon Winner: AI-Powered Drug Search", Taras Kloba
This is a session that details how PostgreSQL's features and Azure AI Services can be effectively used to significantly enhance the search functionality in any application.
In this session, we'll share insights on how we used PostgreSQL to facilitate precise searches across multiple fields in our mobile application. The techniques include using LIKE and ILIKE operators and integrating a trigram-based search to handle potential misspellings, thereby increasing the search accuracy.
We'll also discuss how the azure_ai extension on PostgreSQL databases in Azure and Azure AI Services were utilized to create vectors from user input, a feature beneficial when users wish to find specific items based on text prompts. While our application's case study involves a drug search, the techniques and principles shared in this session can be adapted to improve search functionality in a wide range of applications. Join us to learn how PostgreSQL and Azure AI can be harnessed to enhance your application's search capability.
What is an RPA CoE? Session 1 – CoE Vision
In the first session, we will review the organization's vision and how this has an impact on the COE Structure.
Topics covered:
• The role of a steering committee
• How do the organization’s priorities determine CoE Structure?
Speaker:
Chris Bolin, Senior Intelligent Automation Architect Anika Systems
"What does it really mean for your system to be available, or how to define w...
We will talk about system monitoring from a few different angles. We will start by covering the basics, then discuss SLOs, how to define them, and why understanding the business well is crucial for success in this exercise.
AppSec PNW: Android and iOS Application Security with MobSF
Mobile Security Framework - MobSF is a free and open source automated mobile application security testing environment designed to help security engineers, researchers, developers, and penetration testers to identify security vulnerabilities, malicious behaviours and privacy concerns in mobile applications using static and dynamic analysis. It supports all the popular mobile application binaries and source code formats built for Android and iOS devices. In addition to automated security assessment, it also offers an interactive testing environment to build and execute scenario based test/fuzz cases against the application.
This talk covers:
Using MobSF for static analysis of mobile applications.
Interactive dynamic security assessment of Android and iOS applications.
Solving Mobile app CTF challenges.
Reverse engineering and runtime analysis of Mobile malware.
How to shift left and integrate MobSF/mobsfscan SAST and DAST in your build pipeline.
GraphRAG for LifeSciences Hands-On with the Clinical Knowledge Graph
Tomaz Bratanic
Graph ML and GenAI Expert - Neo4j
GNSS spoofing via SDR (Criptored Talks 2024)
In the realm of cybersecurity, offensive security practices act as a critical shield. By simulating real-world attacks in a controlled environment, these techniques expose vulnerabilities before malicious actors can exploit them. This proactive approach allows manufacturers to identify and fix weaknesses, significantly enhancing system security.
This presentation delves into the development of a system designed to mimic Galileo's Open Service signal using software-defined radio (SDR) technology. We'll begin with a foundational overview of both Global Navigation Satellite Systems (GNSS) and the intricacies of digital signal processing.
The presentation culminates in a live demonstration. We'll showcase the manipulation of Galileo's Open Service pilot signal, simulating an attack on various software and hardware systems. This practical demonstration serves to highlight the potential consequences of unaddressed vulnerabilities, emphasizing the importance of offensive security practices in safeguarding critical infrastructure.
Apps Break Data
How information systems are built or acquired puts information, which is what they should be about, in a secondary place. Our language adapted accordingly, and we no longer talk about information systems but applications. Applications evolved in a way to break data into diverse fragments, tightly coupled with applications and expensive to integrate. The result is technical debt, which is re-paid by taking even bigger "loans", resulting in an ever-increasing technical debt. Software engineering and procurement practices work in sync with market forces to maintain this trend. This talk demonstrates how natural this situation is. The question is: can something be done to reverse the trend?
Recently uploaded (20)
Poznań ACE event - 19.06.2024 Team 24 Wrapup slidedeck
Poznań ACE event - 19.06.2024 Team 24 Wrapup slidedeck
Harnessing the Power of NLP and Knowledge Graphs for Opioid Research
Harnessing the Power of NLP and Knowledge Graphs for Opioid Research
The Microsoft 365 Migration Tutorial For Beginner.pptx
The Microsoft 365 Migration Tutorial For Beginner.pptx
Nordic Marketo Engage User Group_June 13_ 2024.pptx
Nordic Marketo Engage User Group_June 13_ 2024.pptx
High performance Serverless Java on AWS- GoTo Amsterdam 2024
High performance Serverless Java on AWS- GoTo Amsterdam 2024
“Temporal Event Neural Networks: A More Efficient Alternative to the Transfor...
“Temporal Event Neural Networks: A More Efficient Alternative to the Transfor...
"$10 thousand per minute of downtime: architecture, queues, streaming and fin...
"$10 thousand per minute of downtime: architecture, queues, streaming and fin...
Session 1 - Intro to Robotic Process Automation.pdf
Session 1 - Intro to Robotic Process Automation.pdf
Leveraging the Graph for Clinical Trials and Standards
Leveraging the Graph for Clinical Trials and Standards
"NATO Hackathon Winner: AI-Powered Drug Search", Taras Kloba
"NATO Hackathon Winner: AI-Powered Drug Search", Taras Kloba
"What does it really mean for your system to be available, or how to define w...
"What does it really mean for your system to be available, or how to define w...
AppSec PNW: Android and iOS Application Security with MobSF
AppSec PNW: Android and iOS Application Security with MobSF
GraphRAG for LifeSciences Hands-On with the Clinical Knowledge Graph
GraphRAG for LifeSciences Hands-On with the Clinical Knowledge Graph
CxStates
- 1. abcdefg CxStates Little Smalltalk Exercise: A dynamically defined state model not based on the state pattern presented by Alfred Wullschleger Swiss National Bank
- 2. abcdefg awu060829 2 The Author ● Smalltalker since 1992 ● Project OVID at Fides Informatik (1992-1999) – OVID currently in production more than 11 years ● Project OASE at Swiss National Bank (since 1999 in production) – Financial Statistics from Swiss Banks and Companies – based on Gemstone/S and VisualWorks – ongoing development under full production
- 3. abcdefg awu060829 3 Motivation ● We needed a user configurable state model – so, preferably should not be class based – should allow easy communication with the „outer system“ = the system components which are not part of the state model itself ● Solution: CxStates – ANSI Event Model as implementation pattern
- 4. abcdefg awu060829 4 Basic classes (1) ● CxBaseState – defines a state ● has a name ● has a transitionTable – contains legal transitions to other states through transition entries ● CxTransitionEntry – defines a transition by a symbol and the new state ● includes transitionActions
- 5. abcdefg awu060829 5 Basic Classes (2) ● CxActionSequence and CxAction – for execution of methods in the „outer System“ – extensible analoguous to the event model ● CxStateEnsemble – Defines a complete state diagram – Defines all legal transition symbols
- 6. abcdefg awu060829 6 Action execution current State new State Transition PreTransition Actions PostTransition Actions preTransitionActions in context of current state postTransitionActions in context of new state
- 7. abcdefg awu060829 7 Action CxAction A CxAction contains a message send. CxAction is declared in the transitionEntry. The message receiver is typically inserted during the transition
- 8. abcdefg awu060829 8 Declaration of actions ● in CxBaseState: – whenCxPreTransition: aTransitionSymbol send: aSelector to: aReceiver ● adds a CxAction to the PreTransitionActionSequence ● aReceiver can be nil: the receiver can be dynamically set when the transition is executed ● polymorphically delegated to CxTransitionEntry – whenCxPostTransition: aTransitionSymbol send: aSelector to: aReceiver ● the same in context of the new state
- 9. abcdefg awu060829 9 CxTransitionContext ● Is an argument holder for the messages sent to the „outer system“ – combines receiver and arguments for the declared action – includes currentState (either the pre- or the postTransition state!) ● CxBaseState>>doTransition: aCxTransitionContext – Basic method for the execution of the transition
- 10. abcdefg awu060829 10 CxBaseState>>doTransition: ● Executes the defined CxActions – By delegation to CxTransitionEntry>>doTransition: , and finally to CxAction>>doTransition: ● Returns – nil, when the transition is illegal, state unchanged – false, when the transition is inhibited, state unchanged – the new state, in all other cases ● Inhibit by a special CxAction: CxCondition – Must returns true or false
- 11. abcdefg awu060829 11 Demonstration ● Automatic Coffee Machine – Power switch – „Make Coffee“ button – grinding automatic (timer) – Heating (temperature sensor, not simulated) – brewing automatic (timer) – „Stopp brewing“ button – Water supply not simulated
- 12. abcdefg awu060829 12 Coffee States Switched Off Switched On Grinding/ Heating Heating Brewing Init initializeMachine switchPowerOn pressButtonForCoffee stopGrinding startBrewing cupFilled cancelBrewing
- 13. abcdefg awu060829 13 Extensions ● CxCondition – allows to inhibit preTransitions by outer system conditions – analogous to CxActions but must return a boolean ● CxPostTransitionEntry – technical class for post states which do not contain transitionEntries for the corresponding transition symbol – PostTransitionEntries must be defined in the post state!
- 14. abcdefg awu060829 14 Thank you for listening Questions?