Me2011 presentation by Manfred Jeusfeld
•
0 likes•580 views
The document discusses formalizing process-data diagrams (PDDs) using deductive rules: 1) PDD constructs are represented using abstraction hierarchy levels similar to MOF, allowing PDD fragments to be recombined using deductive rules. 2) An example PDD is used to demonstrate how process and product elements can be embedded into different modeling levels for recombination. 3) Deductive rules are defined for activities to completely specify the recombination of PDD fragments.
Report
Share
Report
Share
![A Deductive View on Process-Data Diagrams Manfred Jeusfeld Tilburg University, TiSEM/IM The Netherlands [email_address] created: 4-Apr-2011 revised: 17-Apr-2011](https://image.slidesharecdn.com/me2011jeusfeld-110421083621-phpapp01/85/Me2011-presentation-by-Manfred-Jeusfeld-1-320.jpg)
![The goal Understand to which extent deductive rules can formalize PDDs and their support the modeling process with PDDs The approach Use MOF-like abstraction hierarchies to represent the PDD constructs. Use the deductive rule language of ConceptBase to ,[object Object]](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Recommended
Programming In C++
This document discusses object-oriented programming (OOP). It begins by explaining the software crisis and issues like productivity, quality and managing schedules that OOP aims to address. It then covers procedural programming and its limitations. The key concepts of OOP like objects, classes, encapsulation, inheritance and polymorphism are explained. Popular OOP languages support these concepts to different degrees. Finally, the benefits of OOP like code reuse, modularity and managing complexity are highlighted.
Introduction to Procedural Programming in C++
This slide notes are more than 10 years old of my teacher Mr Karim Zebari. He uses a brilliant simple language to explain programming principles step by step.
Programming in c++
The document discusses object-oriented programming (OOP) and some of its key concepts. It explains that OOP aims to address flaws in procedural programming by tying data more closely to the functions that operate on it. Some important OOP concepts mentioned include objects, classes, encapsulation, inheritance, polymorphism, and message passing. The document also lists several benefits of OOP like code reuse through inheritance and easier management of complex software. It provides examples of areas where OOP has common applications.
Towards a Probabilistic Extension to Non-Deterministic Transitions in Model-B...
This document proposes extending the Promela modeling language and SPIN verification tool to support probabilistic model checking. It discusses adding probability annotations to the non-deterministic "if" clause in Promela's grammar. This would allow specifying the probability of a transition between states in a probabilistic model, either as a constant or variable. The document also describes how SPIN's simulation engine could be modified to select the next state based on the specified transition probabilities rather than randomly, enabling probabilistic model checking of Promela models. The goal is to enhance Promela and SPIN for probabilistic verification without creating a new language or tool.
[4DEV] Bartosz Sokół - Functional developer in object oriented world - how F#...
Object-oriented programming languages have been here for decades, helping millions of developers to deliver (sort of) working software. Still, after many years, we still struggle with things like nulls and exceptions, which make our applications crash in most unexpected ways. So I have taken a challenge - can you use object-oriented language (C#) and write code in a way that those issues are almost gone? I will show how to leverage lessons learned from functional programming to make our applications more bulletproof - and fun to write as well!
Scope of variables
This document discusses variables in C programming. It defines variables as placeholders like in algebra that can store and represent data. It explains that variable names in C can include letters, digits and underscores, but must begin with a letter. The document also distinguishes between local and global variables, with local variables only being accessible within the function they are declared in, while global variables can be accessed throughout a program after their declaration outside of any function.
Algorithm Pseudo
Algorithm
What is an algorithm?
How are mathematical statements and algorithms related?
What do algorithms have to do with computers?
Pseudo Code
What is pseudocode?
Writing pseudocode
Pseudo Code vs Algorithm
Procedural programming
The document discusses the history and evolution of programming languages from the 1940s to present. It notes that early languages provided little abstraction from computer hardware, but that over time languages increasingly abstracted complexity and improved developer productivity. The document outlines the development of assembly languages, third generation languages like FORTRAN, and more modern paradigms like object-oriented programming. It also discusses influential ideas like structured programming and the "GOTO controversy" that aimed to improve programming practices.
Recommended
Programming In C++
This document discusses object-oriented programming (OOP). It begins by explaining the software crisis and issues like productivity, quality and managing schedules that OOP aims to address. It then covers procedural programming and its limitations. The key concepts of OOP like objects, classes, encapsulation, inheritance and polymorphism are explained. Popular OOP languages support these concepts to different degrees. Finally, the benefits of OOP like code reuse, modularity and managing complexity are highlighted.
Introduction to Procedural Programming in C++
This slide notes are more than 10 years old of my teacher Mr Karim Zebari. He uses a brilliant simple language to explain programming principles step by step.
Programming in c++
The document discusses object-oriented programming (OOP) and some of its key concepts. It explains that OOP aims to address flaws in procedural programming by tying data more closely to the functions that operate on it. Some important OOP concepts mentioned include objects, classes, encapsulation, inheritance, polymorphism, and message passing. The document also lists several benefits of OOP like code reuse through inheritance and easier management of complex software. It provides examples of areas where OOP has common applications.
Towards a Probabilistic Extension to Non-Deterministic Transitions in Model-B...
This document proposes extending the Promela modeling language and SPIN verification tool to support probabilistic model checking. It discusses adding probability annotations to the non-deterministic "if" clause in Promela's grammar. This would allow specifying the probability of a transition between states in a probabilistic model, either as a constant or variable. The document also describes how SPIN's simulation engine could be modified to select the next state based on the specified transition probabilities rather than randomly, enabling probabilistic model checking of Promela models. The goal is to enhance Promela and SPIN for probabilistic verification without creating a new language or tool.
[4DEV] Bartosz Sokół - Functional developer in object oriented world - how F#...
Object-oriented programming languages have been here for decades, helping millions of developers to deliver (sort of) working software. Still, after many years, we still struggle with things like nulls and exceptions, which make our applications crash in most unexpected ways. So I have taken a challenge - can you use object-oriented language (C#) and write code in a way that those issues are almost gone? I will show how to leverage lessons learned from functional programming to make our applications more bulletproof - and fun to write as well!
Scope of variables
This document discusses variables in C programming. It defines variables as placeholders like in algebra that can store and represent data. It explains that variable names in C can include letters, digits and underscores, but must begin with a letter. The document also distinguishes between local and global variables, with local variables only being accessible within the function they are declared in, while global variables can be accessed throughout a program after their declaration outside of any function.
Algorithm Pseudo
Algorithm
What is an algorithm?
How are mathematical statements and algorithms related?
What do algorithms have to do with computers?
Pseudo Code
What is pseudocode?
Writing pseudocode
Pseudo Code vs Algorithm
Procedural programming
The document discusses the history and evolution of programming languages from the 1940s to present. It notes that early languages provided little abstraction from computer hardware, but that over time languages increasingly abstracted complexity and improved developer productivity. The document outlines the development of assembly languages, third generation languages like FORTRAN, and more modern paradigms like object-oriented programming. It also discusses influential ideas like structured programming and the "GOTO controversy" that aimed to improve programming practices.
Project 2 the second project involves/tutorialoutlet
FOR MORE CLASSES VISIT
tutorialoutletdotcom
Project 2
The second project involves completing and extending the C++ program that evaluates statements of an
expression language contained in the module 3 case study.
The statements of that expression language consist of an arithmetic expression followed by a list of
assignments. Assignments are separated from the expression and each other by commas. A semicolon
terminates the expression. The arithmetic expressions are fully parenthesized infix expressions
Bt0066 database management system2
The document discusses relational algebra operators and their composition. It explains that relational algebra operators return relations, so their outputs can be used as inputs to other operators, allowing operator composition. This ability to compose operators is important because it allows complex queries to be built by combining multiple simple operations.
C notes by m v b reddy(gitam)imp notes all units notes 5 unit order
The document discusses the C programming language and data structures. It covers the basic structure of C programs, data types, operators, control flow statements, arrays, strings, functions, pointers, structures, unions and file I/O. The chapters are outlined and key concepts like algorithms, flowcharts and program development steps are explained in detail. The history and evolution of C language is presented along with its features, applications and importance. A simple C program example is also provided and analyzed.
Programming in c notes
This document discusses programming in C with questions and answers. It covers topics like the program development cycle, features of a good programming language, algorithms and flowcharts to find the product of first n natural numbers and the largest of three numbers. It also explains the structure of a C program, steps to execute a C program, basic and qualifier data types, formatted and unformatted input/output functions.
Unit4
This document provides an introduction to the C programming language. C was developed by Dennis Ritchie in 1972 and is an upgraded version of earlier programming languages like B and BCPL. C is a structured, portable, middle-level programming language that is case-sensitive and uses a top-down approach. The document outlines C's character set, tokens, program structure, and execution process.
Aop2007
This document discusses aspect-oriented programming (AOP) and how it addresses concerns that are not easily modularized in object-oriented programming (OOP). It defines key AOP concepts like aspects, pointcuts, and join points. It provides an example of using aspects to add logging functionality across components in a distributed digital library application. It also summarizes AspectJ, a popular aspect-oriented extension for Java, and provides an example aspect for method tracing.
Abc c program
The document describes a book titled "C Programs with Solutions" by S. Anandamurugan. The book provides a rich collection of C programs with solutions to support theoretical concepts. It is intended to help students of engineering and computer science understand C programming concepts better. The book covers fundamental C concepts, introduction to C programming, sample programs, debugging techniques, sample questions and answers.
C programming notes BATRACOMPUTER CENTRE IN Ambala CANTT
Want to become Computer EXPERT! Batra Computer Center provides you, best computer courses from basic
to advance with job surety
Training 8051Report
This document is a training report submitted by Kuldeep Kaushik for a bachelor's degree in electronics and communication engineering. It covers modules on C programming language, microcontrollers, Linux internals, and an automatic cab service project. The report includes chapters on C language fundamentals like data types, control flow, functions, macros, pointers, and microcontroller basics. It acknowledges the supervision of Prakul Rajvanshi for the training.
Modular programming in c
Modular programming involves dividing a program into separate, independent modules. Each module has an interface that defines how other modules can use its functions without needing access to implementation details. This allows programmers to work with abstractions and promotes code reuse, complexity management, and information hiding between modules. The key aspects of modular programming are interfaces, implementations, abstraction, and encapsulation.
UML as a Programming Language
The Unified Modeling Language (UML) is, of course, a modeling language. But there are now standard, executable semantics for a subset of UML (known as Foundational UML or fUML) and a standard language that provides a textual representation for this subset (the Action Language for fUML or Alf). Doesn’t this just make at least this subset of UML into a programming language?
Well, yes. After all, a programming language is really itself a modeling language for modellng computations that can actually be executed on computation hardware. In this view, all programs are models, but only some models, the executable models, are programs. Which means that an “executable modelling language” is, by definition, a programming language.
But is this a good thing? That is the question explored in this presentation, which argues that the answer is “yes”. And, moreover, UML as a programming language may, in fact, be important for moving forward in a number of, perhaps, unexpected areas, including agile development methods and programming for multi-core architectures.
Modeling Aspects with AP&P Components
This document outlines how AP&P (Aspect-oriented Programming with Aspectual Programming Components) components can be used to model aspects. It describes the key elements of AP&P components including participants, expected operations, replacements, and new operations/fields. It provides examples of how aspects can be defined using AP&P components to instrument access operations. It also discusses how aspects can be deployed with applications using connectors, and how aspects can be composed by deploying them simultaneously with the same application.
Mise14 @ ICSE1 14 Uncertainty in Bidirectional Transformations
This document discusses challenges with bidirectional transformations between models. It notes that while bidirectionality is important, existing approaches have not achieved anticipated benefits due to issues with non-determinism and unclear semantics. The document proposes handling uncertainty in bidirectional transformations by generating a model with uncertainty rather than a set of models. This represents the solution space and allows traversal. It extends the semantics of the Janus Transformation Language to directly generate the uncertainty model corresponding to the solution space. Managing uncertainty in this way is intended to help address the challenges with bidirectional transformations.
SULTHAN's - C Programming Language notes
This book contains programming techniques, learning objectives of C language. And it will help for data structures concepts also. This is very useful to the beginners.
Modular programming
The document discusses modular programming, which involves separating a program into independent, interchangeable modules that each contain everything needed to execute one aspect of the desired functionality. Modular programming makes programs easier to understand, manage complexity through smaller blocks of code, encourage code re-use, and allow independent development of code. It provides an example program that defines a function to find the maximum of two numbers and calls that function from the main program. Advantages of modular programming include that modules can be written and tested separately, reused, and allow large projects to be developed in parallel.
Notes part5
This document discusses different ways that functions can access arguments passed to them in C programming. It covers passing arguments by value, where the value is copied, and by reference, where the address is copied so changes to the parameter also affect the argument. The document also mentions static and global memory, local variables stored on the stack, dynamic memory allocation, and function definitions and recursion.
CS152 Programming Paradigm
The document discusses computer programming paradigms and languages. It provides a history of programming languages from machine code to modern high-level languages. It covers key concepts like abstraction, computational paradigms including imperative and functional paradigms, and the lambda calculus foundation of functional programming. Programming language characteristics like readability, portability and security/reliability are also examined.
Programming in UML: Why and How
The document discusses model-driven development using executable UML models. It addresses perceived issues with making UML models executable and proposes resolutions. The key benefits of executable UML models are that models can be more easily understood than code and kept in sync with development artifacts.
C language
C is a programming language developed in 1972 at Bell Laboratories to be professional, efficient, and portable. It is a procedural language that gives programmers maximum control and efficiency. C has become widely popular due to its flexibility and ability to interface with hardware. It supports features like functions, libraries, statements, and integrated development environments. C files must have a .cpp extension and compiling a C program generates four files - .cpp, .bak, .obj, and .exe. Common C keywords include if, else, while, for etc. that cannot be used as variable names.
Lecture1
This document provides an introduction and overview for a course on programming using C++. The course assumes no prior programming experience. It will cover common C++ syntax, functions, classes, pointers, references, and object-oriented design. The course consists of 10 lectures covering various C++ topics. By the end of the course, students should have a working knowledge of C++ and be able to write their own functions and classes. While not comprehensive, the course aims to provide students with a solid foundation in C++.
Me2011 Presentation by Loniewski
Incorporating Model-Driven Techniques into Requirements Engineering for the Service-Oriented development Process
SDLC and Software Process Models
The document discusses software development life cycles (SDLC). It describes the typical stages of an SDLC including feasibility study, requirements analysis, system design, development, testing, implementation, and maintenance. Several SDLC models are mentioned, including waterfall, spiral, iterative, prototyping, and RAD (rapid application development). The waterfall model is described as having distinct sequential stages with no overlap between phases. Prototyping and RAD methodologies are also explained in further detail.
More Related Content
What's hot
Project 2 the second project involves/tutorialoutlet
FOR MORE CLASSES VISIT
tutorialoutletdotcom
Project 2
The second project involves completing and extending the C++ program that evaluates statements of an
expression language contained in the module 3 case study.
The statements of that expression language consist of an arithmetic expression followed by a list of
assignments. Assignments are separated from the expression and each other by commas. A semicolon
terminates the expression. The arithmetic expressions are fully parenthesized infix expressions
Bt0066 database management system2
The document discusses relational algebra operators and their composition. It explains that relational algebra operators return relations, so their outputs can be used as inputs to other operators, allowing operator composition. This ability to compose operators is important because it allows complex queries to be built by combining multiple simple operations.
C notes by m v b reddy(gitam)imp notes all units notes 5 unit order
The document discusses the C programming language and data structures. It covers the basic structure of C programs, data types, operators, control flow statements, arrays, strings, functions, pointers, structures, unions and file I/O. The chapters are outlined and key concepts like algorithms, flowcharts and program development steps are explained in detail. The history and evolution of C language is presented along with its features, applications and importance. A simple C program example is also provided and analyzed.
Programming in c notes
This document discusses programming in C with questions and answers. It covers topics like the program development cycle, features of a good programming language, algorithms and flowcharts to find the product of first n natural numbers and the largest of three numbers. It also explains the structure of a C program, steps to execute a C program, basic and qualifier data types, formatted and unformatted input/output functions.
Unit4
This document provides an introduction to the C programming language. C was developed by Dennis Ritchie in 1972 and is an upgraded version of earlier programming languages like B and BCPL. C is a structured, portable, middle-level programming language that is case-sensitive and uses a top-down approach. The document outlines C's character set, tokens, program structure, and execution process.
Aop2007
This document discusses aspect-oriented programming (AOP) and how it addresses concerns that are not easily modularized in object-oriented programming (OOP). It defines key AOP concepts like aspects, pointcuts, and join points. It provides an example of using aspects to add logging functionality across components in a distributed digital library application. It also summarizes AspectJ, a popular aspect-oriented extension for Java, and provides an example aspect for method tracing.
Abc c program
The document describes a book titled "C Programs with Solutions" by S. Anandamurugan. The book provides a rich collection of C programs with solutions to support theoretical concepts. It is intended to help students of engineering and computer science understand C programming concepts better. The book covers fundamental C concepts, introduction to C programming, sample programs, debugging techniques, sample questions and answers.
C programming notes BATRACOMPUTER CENTRE IN Ambala CANTT
Want to become Computer EXPERT! Batra Computer Center provides you, best computer courses from basic
to advance with job surety
Training 8051Report
This document is a training report submitted by Kuldeep Kaushik for a bachelor's degree in electronics and communication engineering. It covers modules on C programming language, microcontrollers, Linux internals, and an automatic cab service project. The report includes chapters on C language fundamentals like data types, control flow, functions, macros, pointers, and microcontroller basics. It acknowledges the supervision of Prakul Rajvanshi for the training.
Modular programming in c
Modular programming involves dividing a program into separate, independent modules. Each module has an interface that defines how other modules can use its functions without needing access to implementation details. This allows programmers to work with abstractions and promotes code reuse, complexity management, and information hiding between modules. The key aspects of modular programming are interfaces, implementations, abstraction, and encapsulation.
UML as a Programming Language
The Unified Modeling Language (UML) is, of course, a modeling language. But there are now standard, executable semantics for a subset of UML (known as Foundational UML or fUML) and a standard language that provides a textual representation for this subset (the Action Language for fUML or Alf). Doesn’t this just make at least this subset of UML into a programming language?
Well, yes. After all, a programming language is really itself a modeling language for modellng computations that can actually be executed on computation hardware. In this view, all programs are models, but only some models, the executable models, are programs. Which means that an “executable modelling language” is, by definition, a programming language.
But is this a good thing? That is the question explored in this presentation, which argues that the answer is “yes”. And, moreover, UML as a programming language may, in fact, be important for moving forward in a number of, perhaps, unexpected areas, including agile development methods and programming for multi-core architectures.
Modeling Aspects with AP&P Components
This document outlines how AP&P (Aspect-oriented Programming with Aspectual Programming Components) components can be used to model aspects. It describes the key elements of AP&P components including participants, expected operations, replacements, and new operations/fields. It provides examples of how aspects can be defined using AP&P components to instrument access operations. It also discusses how aspects can be deployed with applications using connectors, and how aspects can be composed by deploying them simultaneously with the same application.
Mise14 @ ICSE1 14 Uncertainty in Bidirectional Transformations
This document discusses challenges with bidirectional transformations between models. It notes that while bidirectionality is important, existing approaches have not achieved anticipated benefits due to issues with non-determinism and unclear semantics. The document proposes handling uncertainty in bidirectional transformations by generating a model with uncertainty rather than a set of models. This represents the solution space and allows traversal. It extends the semantics of the Janus Transformation Language to directly generate the uncertainty model corresponding to the solution space. Managing uncertainty in this way is intended to help address the challenges with bidirectional transformations.
SULTHAN's - C Programming Language notes
This book contains programming techniques, learning objectives of C language. And it will help for data structures concepts also. This is very useful to the beginners.
Modular programming
The document discusses modular programming, which involves separating a program into independent, interchangeable modules that each contain everything needed to execute one aspect of the desired functionality. Modular programming makes programs easier to understand, manage complexity through smaller blocks of code, encourage code re-use, and allow independent development of code. It provides an example program that defines a function to find the maximum of two numbers and calls that function from the main program. Advantages of modular programming include that modules can be written and tested separately, reused, and allow large projects to be developed in parallel.
Notes part5
This document discusses different ways that functions can access arguments passed to them in C programming. It covers passing arguments by value, where the value is copied, and by reference, where the address is copied so changes to the parameter also affect the argument. The document also mentions static and global memory, local variables stored on the stack, dynamic memory allocation, and function definitions and recursion.
CS152 Programming Paradigm
The document discusses computer programming paradigms and languages. It provides a history of programming languages from machine code to modern high-level languages. It covers key concepts like abstraction, computational paradigms including imperative and functional paradigms, and the lambda calculus foundation of functional programming. Programming language characteristics like readability, portability and security/reliability are also examined.
Programming in UML: Why and How
The document discusses model-driven development using executable UML models. It addresses perceived issues with making UML models executable and proposes resolutions. The key benefits of executable UML models are that models can be more easily understood than code and kept in sync with development artifacts.
C language
C is a programming language developed in 1972 at Bell Laboratories to be professional, efficient, and portable. It is a procedural language that gives programmers maximum control and efficiency. C has become widely popular due to its flexibility and ability to interface with hardware. It supports features like functions, libraries, statements, and integrated development environments. C files must have a .cpp extension and compiling a C program generates four files - .cpp, .bak, .obj, and .exe. Common C keywords include if, else, while, for etc. that cannot be used as variable names.
Lecture1
This document provides an introduction and overview for a course on programming using C++. The course assumes no prior programming experience. It will cover common C++ syntax, functions, classes, pointers, references, and object-oriented design. The course consists of 10 lectures covering various C++ topics. By the end of the course, students should have a working knowledge of C++ and be able to write their own functions and classes. While not comprehensive, the course aims to provide students with a solid foundation in C++.
What's hot (20)
Project 2 the second project involves/tutorialoutlet
Project 2 the second project involves/tutorialoutlet
C notes by m v b reddy(gitam)imp notes all units notes 5 unit order
C notes by m v b reddy(gitam)imp notes all units notes 5 unit order
C programming notes BATRACOMPUTER CENTRE IN Ambala CANTT
C programming notes BATRACOMPUTER CENTRE IN Ambala CANTT
Mise14 @ ICSE1 14 Uncertainty in Bidirectional Transformations
Mise14 @ ICSE1 14 Uncertainty in Bidirectional Transformations
Viewers also liked
Me2011 Presentation by Loniewski
Incorporating Model-Driven Techniques into Requirements Engineering for the Service-Oriented development Process
SDLC and Software Process Models
The document discusses software development life cycles (SDLC). It describes the typical stages of an SDLC including feasibility study, requirements analysis, system design, development, testing, implementation, and maintenance. Several SDLC models are mentioned, including waterfall, spiral, iterative, prototyping, and RAD (rapid application development). The waterfall model is described as having distinct sequential stages with no overlap between phases. Prototyping and RAD methodologies are also explained in further detail.
Agile & Open Unified Processes
This document discusses several unified process frameworks for software development, including the Unified Process (UP), Rational Unified Process (RUP), Agile Unified Process (AUP), and Open Unified Process (OpenUP). The AUP combines agile approaches with a simplified RUP. It is iterative and scalable from small to large projects. OpenUP is an open source and agile process developed by the Eclipse Foundation that employs incremental development through micro-increments, iterations, and phases like inception, elaboration, construction, and transition.
Association rule mining
This document discusses association rule mining. Association rule mining finds frequent patterns, associations, correlations, or causal structures among items in transaction databases. The Apriori algorithm is commonly used to find frequent itemsets and generate association rules. It works by iteratively joining frequent itemsets from the previous pass to generate candidates, and then pruning the candidates that have infrequent subsets. Various techniques can improve the efficiency of Apriori, such as hashing to count itemsets and pruning transactions that don't contain frequent itemsets. Alternative approaches like FP-growth compress the database into a tree structure to avoid costly scans and candidate generation. The document also discusses mining multilevel, multidimensional, and quantitative association rules.
Apriori algorithm
The document discusses the Apriori algorithm and modifications using hashing and graph-based approaches for mining association rules from transactional datasets. The Apriori algorithm uses multiple passes over the data to count support for candidate itemsets and prune unpromising candidates. Hashing maps itemsets to integers for efficient counting of support. The graph-based approach builds a tree structure linking frequent itemsets. Both modifications aim to improve efficiency over the original Apriori algorithm. The document also notes challenges in designing perfect hash functions for this application.
Data Mining: Association Rules Basics
Association rule mining finds frequent patterns and correlations among items in transaction databases. It involves two main steps:
1) Frequent itemset generation: Finds itemsets that occur together in a minimum number of transactions (above a support threshold). This is done efficiently using the Apriori algorithm.
2) Rule generation: Generates rules from frequent itemsets where the confidence (fraction of transactions with left hand side that also contain right hand side) is above a minimum threshold. Rules are a partitioning of an itemset into left and right sides.
Lecture13 - Association Rules
This document provides an introduction to association rule mining. It begins with an overview of association rule mining and its application to market basket analysis. It then discusses key concepts like support, confidence and interestingness of rules. The document introduces the Apriori algorithm for mining association rules, which works in two steps: 1) generating frequent itemsets and 2) generating rules from frequent itemsets. It provides examples of how Apriori works and discusses challenges in association rule mining like multiple database scans and candidate generation.
Apriori Algorithm
The document discusses the Apriori algorithm, which is used for mining frequent itemsets from transactional databases. It begins with an overview and definition of the Apriori algorithm and its key concepts like frequent itemsets, the Apriori property, and join operations. It then outlines the steps of the Apriori algorithm, provides an example using a market basket database, and includes pseudocode. The document also discusses limitations of the algorithm and methods to improve its efficiency, as well as advantages and disadvantages.
Viewers also liked (8)
Similar to Me2011 presentation by Manfred Jeusfeld
Software design
This document provides an overview of software design concepts and best practices. It discusses that software design transforms user requirements into a suitable form for programming and implementation. The key aspects covered include architectural design using structural, framework and dynamic models. It also discusses modularization which divides a software system into independent modules. Other design tools discussed are design structure charts, pseudocode, flowcharts, and the importance of low coupling between modules and high cohesion within modules.
DDD
Domain-driven design (DDD) is an approach that involves using a shared domain model and ubiquitous language to support complex domains and ensure alignment between software design and business needs. It emphasizes basing the software design on an evolving model that shares common concepts with domain experts. DDD uses patterns like entities, value objects, aggregates and repositories to structure the software around domain concepts and separate domain logic from data access and external interfaces.
ALT
- The document discusses lessons learned from building the AMMA Model Engineering Platform, including the need for sound modeling principles with models treated as first-class entities.
- It describes how different technical spaces, like MDE, XML, and databases each have their own modeling conventions defined by metamodels.
- Transforming models across technical spaces requires understanding their different metamodels and representation schemes.
DOLCE and Pi-Calculus Rendezvous Semantics for Business Processes
1st International Workshop on Knowledge Reuse and Reengineering over the Semantic Web (KRRSW 2008) hosted by the 5th ESWC 2008, Costa Adeje, Tenerife, Canary Islands
MODIGEN: MODEL-DRIVEN GENERATION OF GRAPHICAL EDITORS IN ECLIPSE
The document describes MoDiGen, a model-driven approach for generating graphical editors in Eclipse. MoDiGen uses three domain-specific languages - MoDiGen Core, Shape, and Style - as inputs to a generator. The generator produces Java code, XML files, and properties to implement a graphical editor as an Eclipse plugin. The languages allow defining node and edge diagrams, complex shapes, and styles. When the DSL models are saved, code generation is triggered to build the graphical editor. The approach aims to reduce the effort of developing graphical modeling tools compared to manually coding editors in Eclipse frameworks.
C AND DATASTRUCTURES PREPARED BY M V B REDDY
This document discusses the C programming language and data structures. It covers the basic structure of C programs, including functions, main functions, and sections like documentation, definitions, declarations, and subprograms. It also discusses basic C programs, data types, operators, control structures, arrays, pointers, structures, unions, and file I/O. The document is intended to introduce students to C language concepts and data structures.
MDD and modeling tools research
When talking about modeling, I think there will be a bundle of terms that will come to our mind, UML, domain driven development, DSL, forward/reverse enginerring, MDD, MDA, BPMN. These technology or methodology have been there for years; And obviously, modeling has proven itself to provide value by improving communication, business-alignment, quality, and productivity. Its applicability includes a number of disciplines such as analysis, design, or development. But why aren’t we all doing Model Driven Development yet?
SWE-401 - 6. Software Analysis and Design Tools
The document discusses several software analysis and design tools used by software designers including:
- Data Flow Diagrams (DFDs) which graphically depict the flow of data in a system. DFDs come in logical and physical types.
- Structure Charts which represent the hierarchical structure and functions of system modules in greater detail than DFDs.
- HIPO Diagrams which decompose system functions hierarchically and depict functions performed without data or control flow.
- Additional tools discussed are Structured English, Pseudo-Code, Decision Tables and Entity-Relationship Models.
MoDELS'16 presentation: Integration of a Graph-Based Model Indexer in Commerc...
MoDELS'16 presentation: Integration of a Graph-Based Model Indexer in Commerc...Antonio García-Domínguez
Modelio M2T with Jython
HT: Hawk M2T with EGL
A García-Domínguez et al. Integration of a Graph-Based Model Indexer in Commercial Modelling Tools 23 / 27
Intro Integration Evaluation Conclusions
M2T with Hawk: conclusions
Indexing time grows linearly with model size
Generation time grows logarithmically
Hawk+EGL is faster than Modelio+Jython for large models
Hawk scales better due to indexing and querying optimizations
Modelio+Jython has higher constant overhead
Break-even point is ~10k elements
For large projects, Hawk is preferable
SOFTEAM now uses Hawk for all M2Sioux Hot-or-Not: Model Driven Software Development (Markus Voelter)
The document contains information about Markus Völter and his work related to model-driven software development. It discusses that Markus Völter works as an independent consultant focused on software architecture, middleware, and model-driven software development. He has written books on these topics, speaks at conferences, and is a committer for the Eclipse openArchitectureWare project. The document also provides an overview of model-driven development, including how it works, reasons for using it, core concepts, and benefits.
C tutorials
This document describes a module that teaches fundamental programming structures in C. It aims to teach students how to create, compile, and run a simple C program. The module covers C program structure and layout, identifiers and data types, control structures, functions, and other basic concepts. Students are instructed to practice writing many small programs to reinforce their understanding of the new concepts. Example programs are provided and analyzed to demonstrate C syntax.
Programming in c++
The document discusses object-oriented programming (OOP) and some of its key concepts. It explains that OOP aims to address flaws in procedural programming by tying data more closely to the functions that operate on it. Some important OOP concepts mentioned include objects, classes, encapsulation, inheritance, polymorphism, and message passing. The document also lists several benefits of OOP like code reuse through inheritance and easier management of complex software. It provides examples of areas where OOP has common applications.
Complexity metrics for_business_process_models
This document discusses metrics for measuring the complexity of business process models (BPMs). It proposes adapting existing software complexity metrics to analyze BPMs. The key metrics discussed are:
1. Control Flow Complexity (CFC) - Adapts McCabe's cyclomatic complexity metric to count decisions in a BPM's control flow.
2. Nesting depth - Measures the depth of splits/joins in a model, with deeper nesting indicating greater complexity.
3. Handles/knots - Counts jumps out of properly nested control structures, with more jumps correlating to higher complexity.
The document argues these structural metrics provide a better assessment of a BPM's understandability than just counting
Book management system
PROJECT IN C LANGUAGE FOR O LEVEL
CONTACT ME FOR ZIP FILE (WITH SOURCE CODE)
EMAIL- ss1079@yahoo.in
JavaScript functions
This document discusses functions in JavaScript and provides examples. It begins with a summary of grade distributions from two in-class coding exercises. It then covers key concepts about functions including their benefits of modularity and reusability. Examples are provided of built-in functions from the core, browser, and DOM APIs. The document also discusses user-defined functions in JavaScript including named function declarations, anonymous functions, parameters, return values, and variable scopes. Code examples are included to demonstrate different function definition techniques.
Final Jspring2009 Mda Slimmer Ontwikkelen Van Java Ee Applicaties
Final Jspring2009 Mda Slimmer Ontwikkelen Van Java Ee ApplicatiesMinistry of Foreign Affairs, Netherlands
The document discusses a pragmatic approach to model-driven architecture (MDA) for developing Java EE applications. It describes building platform-independent and platform-specific models, then transforming models into code. The speakers provide examples of applying MDA principles like defining a target architecture and domain model to generate artifacts like entity classes and data access objects from UML stereotypes using a template engine.Jmp108
The document discusses integrating IBM Lotus Notes and Domino with Microsoft Office and other applications. It provides an overview of integration techniques using COM and OLE, demonstrates how to create and manipulate documents in Word and Excel from Notes, and discusses retrieving data from Notes in other applications like PowerPoint. Alternative applications for integration like SmartSuite and OpenOffice are also covered.
CMIS 330 WEEK 4 SDD
The document provides instructions for a software design specification (SDD) project. It asks the student to design an SDD for a bed and breakfast software system based on previous analysis models. The SDD should include:
1) An updated data model and architectural context diagram from the previous project
2) A software interface description, including a graphical user interface design and information flow description
3) An updated data flow diagram to illustrate the major processes to implement functionality
The SDD will form the basis for subsequent projects to develop and test the software system.
Integrating profiling into mde compilers
Scientific computation requires more and more performance in its algorithms. New massively parallel
architectures suit well to these algorithms. They are known for offering high performance and power
efficiency. Unfortunately, as parallel programming for these architectures requires a complex distribution
of tasks and data, developers find difficult to implement their applications effectively. Although approaches
based on source-to-source intends to provide a low learning curve for parallel programming and take
advantage of architecture features to create optimized applications, programming remains difficult for
neophytes. This work aims at improving performance by returning to the high-level models, specific
execution data from a profiling tool enhanced by smart advices computed by an analysis engine. In order to
keep the link between execution and model, the process is based on a traceability mechanism. Once the
model is automatically annotated, it can be re-factored aiming better performances on the re-generated
code. Hence, this work allows keeping coherence between model and code without forgetting to harness the
power of parallel architectures. To illustrate and clarify key points of this approach, we provide an
experimental example in GPUs context. The example uses a transformation chain from UML-MARTE
models to OpenCL code.
An Introduction to the SOLID Principles
SOLID Principles are the most important principles of writing maintainable, easy-to-read, easy-to-write clean code. This presentation attempts to give a basic overview of these principles with some examples of violations and ways to correct them.
Similar to Me2011 presentation by Manfred Jeusfeld (20)
DOLCE and Pi-Calculus Rendezvous Semantics for Business Processes
DOLCE and Pi-Calculus Rendezvous Semantics for Business Processes
MODIGEN: MODEL-DRIVEN GENERATION OF GRAPHICAL EDITORS IN ECLIPSE
MODIGEN: MODEL-DRIVEN GENERATION OF GRAPHICAL EDITORS IN ECLIPSE
MoDELS'16 presentation: Integration of a Graph-Based Model Indexer in Commerc...
MoDELS'16 presentation: Integration of a Graph-Based Model Indexer in Commerc...
Sioux Hot-or-Not: Model Driven Software Development (Markus Voelter)
Sioux Hot-or-Not: Model Driven Software Development (Markus Voelter)
Final Jspring2009 Mda Slimmer Ontwikkelen Van Java Ee Applicaties
Final Jspring2009 Mda Slimmer Ontwikkelen Van Java Ee Applicaties
More from Method Engineering 2011 - IFIP WG.8.1 Working Conference
ME2011 presentation by Levina
The document provides an overview of service design approaches and methods. It discusses principles of service design and evaluates several existing service design methods and approaches. The document then proposes a basic service design process consisting of requirements analysis, business design, service operation identification, and technical design. It elaborates on the proposed service design process and evaluates it based on characteristics for a service design method.
ME2011 presentation by Overbeek
The document proposes a scenario-based governance method to coordinate the life cycles of web services when integrating them to provide a new service. It discusses how differences in life cycles can cause failures if not synchronized, and presents four scenarios of increasing difficulty for integration based on how similar the life cycles and methodologies are. The proposed governance method aims to announce and agree on changes to life cycles through coordination between the owners of the web services.
ME2011 presentation by Winter
The document discusses situational design methods for construction projects. It proposes that a set of reference solutions should address classes of design problems defined by design factors, like the shape and size of a building. These reference solutions can then be adapted to specific problems within each class. The document outlines a two-phase procedure to develop situational design methods. Phase 1 involves analyzing existing solutions to understand how they vary across different situations defined by relevant design factors. Phase 2 uses the results to derive customized design method fragments and rules for assigning them to different situations.
ME2011 presentation by Börner
The document discusses situational method engineering for service identification. It introduces service identification and existing approaches. Context variables for different situations are identified, such as company size and SOA maturity level. Method fragments are presented for different situations. Limitations include the need to study more situations and develop coherent methods from fragments. Further research areas include applying the approach and developing additional method fragments.
ME2011 presentation by Cortes Cornax
The document proposes bridging the gap between business processes and service composition through service choreographies. It presents a layered meta-model approach with domain, analysis, and design meta-models to represent choreographies. The domain meta-model defines structural and behavioral views, the analysis meta-model adds consistency checks, and the design meta-model corresponds to a choreography language. This approach aims to avoid ambiguities in implementing collaborative business processes through choreographies.
ME2011 presentation by Zikra
This document presents a method for service-oriented business modeling that combines the REA and Open-edi frameworks. It formalizes the resulting OeBTO model using SBVR to facilitate model-driven development. The method involves specifying the value chain, business processes, and business events to develop a computation-independent model expressed in SBVR. This enables automated transformation to platform-independent and specific models. Future work includes defining transformation rules and implementing a tool to generate PIMs and PSMs from the SBVR-based CIM.
ME2011 presentation by Hoppenbrouwers
The document discusses an agile service development project that aims to develop a rule-based method engineering approach. It involves several work packages related to agile ways of working, model-based service development, and model-based communication with stakeholders. The approach emphasizes goals, practices expressed as rules, and situational selection of practices based on factors. A tool is being developed to help with practice selection based on situational factors and goals.
ME2011 presentation by Asadi
The document proposes applying software product line engineering principles to method engineering. It develops a framework for method families using feature modeling to capture common and variable parts of methods. The framework includes processes for method domain engineering and application engineering. Domain engineering includes developing a feature model and annotating method services. Application engineering involves configuring the feature model for target methods. The approach aims to improve reuse and tailoring of methods. Future work includes developing tooling support and case studies to evaluate the approach.
ME2011 presentation by Faci
The document proposes a four-step engineering method for developing social web services (SWS) along with supporting tools. The method involves (1) identifying relationships between web services, (2) mapping these relationships to social networks, (3) building the social networks, and (4) analyzing social behaviors exhibited by web services through their interactions in the networks. Tools are also introduced to assess service similarities, build and manage social networks, and analyze network details to support the engineering method. Future work is planned to implement and refine the approach based on real-world use of social web services.
Me2011 Granularity presentation by Henderson-Sellers
Me2011 Granularity presentation by Henderson-SellersMethod Engineering 2011 - IFIP WG.8.1 Working Conference
Towards the Gnularity Theory for Determining the Size of Atomic Method Fragments for Use in Situational Method EngineeringMe2011 Method Assessment by Henderson-Sellers
Me2011 Method Assessment by Henderson-SellersMethod Engineering 2011 - IFIP WG.8.1 Working Conference
The document proposes a framework for assessing software development methods at three phases: design, enactment, and performance. At the design phase, a method's suitability for its intended purpose and circumstances can be evaluated. At enactment, a method's appropriateness after being tailored to a specific project is assessed. Finally, at the performance phase, a method's ability to achieve desired outcomes in practice is examined. The framework separates these concerns to provide guidance on assessing methods throughout their lifecycle.Me2011 presentation by Sophie Dupuy-Chessa
This document discusses a case study conducted to improve a collaborative design process called Symphony. The case study evaluated the Symphony method, which was developed for information systems design and extended to support mixed reality system design. Participants worked individually and collaboratively using the Symphony method on a sample project. Results found that the method facilitated collaboration between users and specialists from software engineering and human-computer interaction domains. Feedback also suggested simplifying the process and documentation. The case study provided insights for validating and improving the extended Symphony process.
Me2011 presentation by Victoria Torres
This document discusses turning method engineering support into reality. It proposes adopting existing method engineering techniques for method building and intensive use of model-driven development. A prototype is developed based on Eclipse to demonstrate:
1. A methodological framework for method design, configuration, and implementation using SPEM modeling and model transformations.
2. Application contexts like public administration and embedded systems where the approach can integrate disparate components and ensure long-term system availability.
3. A demonstration of the prototype for SPM design, configuration, implementation, and execution concludes the document along with directions for further work.
ME2011 presentation by Vlaanderen
The document discusses the Online Method Engine, which aims to help with situational method engineering tasks like process assessment and improvement. It does this through incremental process assessment and recommendation of small, targeted method increments. Some challenges discussed are determining the right size of method increments, dependencies between increments, how to measure success, and ensuring the human aspects of method engineering are still considered.
ME2011 presentation by Mirandolle
The document discusses an incremental method engineering approach to support process improvement in software companies. It presents research on selecting and mapping candidate process improvement methods to a case company based on maturity levels and situational factors. The key aspects are:
1. Eight candidate methods were selected based on their requirements prioritization capabilities.
2. A case product software company was interviewed and their current method and situational factors analyzed.
3. Three candidate methods were mapped and implemented at the case company based on having higher maturity levels that matched more situational factors.
4. Lessons learned include that situational factors are useful for matching methods and testing adapted methods is needed to prove practical application.
ESSENSE
This document presents a Request for Proposal (RFP) for ESSENSE, which seeks submissions for a domain-specific language and a "Kernel of Essentials" to support flexible software engineering methods. The goal is to allow practitioners to define, refine, and customize their processes over time. The RFP outlines problems with traditional rigid processes, desires a framework like those used in agile development, and provides requirements for the Kernel (to define fundamental concepts) and the language (to compose practices into methods and represent work progress).
ME2011 Keynote by Marko Bajec
The document discusses applying method engineering principles to improve software development practices in Slovenian companies, including conducting surveys of companies, developing a framework called MasterProc to help companies document and tailor their software development processes, and prospects for automatically capturing methods used in projects from version control data to improve organizational base methods over time.
ME11 Opening
This document provides information about the IFIP WG 8.1 Working Conference on Engineering Methods in the Service Oriented Context. It discusses the conference committee, topics, submissions, selection process, program, and organization. The conference received 30 paper submissions from 14 countries, with 19 papers accepted. The program included keynote talks, a tutorial, and 6 technical sessions over 2.5 days. It was organized at the University of Paris 1 and included discussions, presentations, and a conference dinner in Paris.
More from Method Engineering 2011 - IFIP WG.8.1 Working Conference (18)
Me2011 Granularity presentation by Henderson-Sellers
Me2011 Granularity presentation by Henderson-Sellers
Recently uploaded
HCL Notes and Domino License Cost Reduction in the World of DLAU
Webinar Recording: https://www.panagenda.com/webinars/hcl-notes-and-domino-license-cost-reduction-in-the-world-of-dlau/
The introduction of DLAU and the CCB & CCX licensing model caused quite a stir in the HCL community. As a Notes and Domino customer, you may have faced challenges with unexpected user counts and license costs. You probably have questions on how this new licensing approach works and how to benefit from it. Most importantly, you likely have budget constraints and want to save money where possible. Don’t worry, we can help with all of this!
We’ll show you how to fix common misconfigurations that cause higher-than-expected user counts, and how to identify accounts which you can deactivate to save money. There are also frequent patterns that can cause unnecessary cost, like using a person document instead of a mail-in for shared mailboxes. We’ll provide examples and solutions for those as well. And naturally we’ll explain the new licensing model.
Join HCL Ambassador Marc Thomas in this webinar with a special guest appearance from Franz Walder. It will give you the tools and know-how to stay on top of what is going on with Domino licensing. You will be able lower your cost through an optimized configuration and keep it low going forward.
These topics will be covered
- Reducing license cost by finding and fixing misconfigurations and superfluous accounts
- How do CCB and CCX licenses really work?
- Understanding the DLAU tool and how to best utilize it
- Tips for common problem areas, like team mailboxes, functional/test users, etc
- Practical examples and best practices to implement right away
Fueling AI with Great Data with Airbyte Webinar
This talk will focus on how to collect data from a variety of sources, leveraging this data for RAG and other GenAI use cases, and finally charting your course to productionalization.
Unlock the Future of Search with MongoDB Atlas_ Vector Search Unleashed.pdf
Discover how MongoDB Atlas and vector search technology can revolutionize your application's search capabilities. This comprehensive presentation covers:
* What is Vector Search?
* Importance and benefits of vector search
* Practical use cases across various industries
* Step-by-step implementation guide
* Live demos with code snippets
* Enhancing LLM capabilities with vector search
* Best practices and optimization strategies
Perfect for developers, AI enthusiasts, and tech leaders. Learn how to leverage MongoDB Atlas to deliver highly relevant, context-aware search results, transforming your data retrieval process. Stay ahead in tech innovation and maximize the potential of your applications.
#MongoDB #VectorSearch #AI #SemanticSearch #TechInnovation #DataScience #LLM #MachineLearning #SearchTechnology
Microsoft - Power Platform_G.Aspiotis.pdf
Revolutionizing Application Development
with AI-powered low-code, presentation by George Aspiotis, Sr. Partner Development Manager, Microsoft
HCL Notes und Domino Lizenzkostenreduzierung in der Welt von DLAU
Webinar Recording: https://www.panagenda.com/webinars/hcl-notes-und-domino-lizenzkostenreduzierung-in-der-welt-von-dlau/
DLAU und die Lizenzen nach dem CCB- und CCX-Modell sind für viele in der HCL-Community seit letztem Jahr ein heißes Thema. Als Notes- oder Domino-Kunde haben Sie vielleicht mit unerwartet hohen Benutzerzahlen und Lizenzgebühren zu kämpfen. Sie fragen sich vielleicht, wie diese neue Art der Lizenzierung funktioniert und welchen Nutzen sie Ihnen bringt. Vor allem wollen Sie sicherlich Ihr Budget einhalten und Kosten sparen, wo immer möglich. Das verstehen wir und wir möchten Ihnen dabei helfen!
Wir erklären Ihnen, wie Sie häufige Konfigurationsprobleme lösen können, die dazu führen können, dass mehr Benutzer gezählt werden als nötig, und wie Sie überflüssige oder ungenutzte Konten identifizieren und entfernen können, um Geld zu sparen. Es gibt auch einige Ansätze, die zu unnötigen Ausgaben führen können, z. B. wenn ein Personendokument anstelle eines Mail-Ins für geteilte Mailboxen verwendet wird. Wir zeigen Ihnen solche Fälle und deren Lösungen. Und natürlich erklären wir Ihnen das neue Lizenzmodell.
Nehmen Sie an diesem Webinar teil, bei dem HCL-Ambassador Marc Thomas und Gastredner Franz Walder Ihnen diese neue Welt näherbringen. Es vermittelt Ihnen die Tools und das Know-how, um den Überblick zu bewahren. Sie werden in der Lage sein, Ihre Kosten durch eine optimierte Domino-Konfiguration zu reduzieren und auch in Zukunft gering zu halten.
Diese Themen werden behandelt
- Reduzierung der Lizenzkosten durch Auffinden und Beheben von Fehlkonfigurationen und überflüssigen Konten
- Wie funktionieren CCB- und CCX-Lizenzen wirklich?
- Verstehen des DLAU-Tools und wie man es am besten nutzt
- Tipps für häufige Problembereiche, wie z. B. Team-Postfächer, Funktions-/Testbenutzer usw.
- Praxisbeispiele und Best Practices zum sofortigen Umsetzen
20240609 QFM020 Irresponsible AI Reading List May 2024
Everything I found interesting about the irresponsible use of machine intelligence in May 2024
OpenID AuthZEN Interop Read Out - Authorization
During Identiverse 2024 and EIC 2024, members of the OpenID AuthZEN WG got together and demoed their authorization endpoints conforming to the AuthZEN API
Building Production Ready Search Pipelines with Spark and Milvus
Spark is the widely used ETL tool for processing, indexing and ingesting data to serving stack for search. Milvus is the production-ready open-source vector database. In this talk we will show how to use Spark to process unstructured data to extract vector representations, and push the vectors to Milvus vector database for search serving.
Infrastructure Challenges in Scaling RAG with Custom AI models
Building Retrieval-Augmented Generation (RAG) systems with open-source and custom AI models is a complex task. This talk explores the challenges in productionizing RAG systems, including retrieval performance, response synthesis, and evaluation. We’ll discuss how to leverage open-source models like text embeddings, language models, and custom fine-tuned models to enhance RAG performance. Additionally, we’ll cover how BentoML can help orchestrate and scale these AI components efficiently, ensuring seamless deployment and management of RAG systems in the cloud.
Your One-Stop Shop for Python Success: Top 10 US Python Development Providers
Simplify your search for a reliable Python development partner! This list presents the top 10 trusted US providers offering comprehensive Python development services, ensuring your project's success from conception to completion.
Ocean lotus Threat actors project by John Sitima 2024 (1).pptx
Ocean Lotus cyber threat actors represent a sophisticated, persistent, and politically motivated group that poses a significant risk to organizations and individuals in the Southeast Asian region. Their continuous evolution and adaptability underscore the need for robust cybersecurity measures and international cooperation to identify and mitigate the threats posed by such advanced persistent threat groups.
Best 20 SEO Techniques To Improve Website Visibility In SERP
Boost your website's visibility with proven SEO techniques! Our latest blog dives into essential strategies to enhance your online presence, increase traffic, and rank higher on search engines. From keyword optimization to quality content creation, learn how to make your site stand out in the crowded digital landscape. Discover actionable tips and expert insights to elevate your SEO game.
“I’m still / I’m still / Chaining from the Block”
“An Outlook of the Ongoing and Future Relationship between Blockchain Technologies and Process-aware Information Systems.” Invited talk at the joint workshop on Blockchain for Information Systems (BC4IS) and Blockchain for Trusted Data Sharing (B4TDS), co-located with with the 36th International Conference on Advanced Information Systems Engineering (CAiSE), 3 June 2024, Limassol, Cyprus.
CAKE: Sharing Slices of Confidential Data on Blockchain
Presented at the CAiSE 2024 Forum, Intelligent Information Systems, June 6th, Limassol, Cyprus.
Synopsis: Cooperative information systems typically involve various entities in a collaborative process within a distributed environment. Blockchain technology offers a mechanism for automating such processes, even when only partial trust exists among participants. The data stored on the blockchain is replicated across all nodes in the network, ensuring accessibility to all participants. While this aspect facilitates traceability, integrity, and persistence, it poses challenges for adopting public blockchains in enterprise settings due to confidentiality issues. In this paper, we present a software tool named Control Access via Key Encryption (CAKE), designed to ensure data confidentiality in scenarios involving public blockchains. After outlining its core components and functionalities, we showcase the application of CAKE in the context of a real-world cyber-security project within the logistics domain.
Paper: https://doi.org/10.1007/978-3-031-61000-4_16
20240605 QFM017 Machine Intelligence Reading List May 2024
Everything I found interesting about machines behaving intelligently during May 2024
Programming Foundation Models with DSPy - Meetup Slides
Prompting language models is hard, while programming language models is easy. In this talk, I will discuss the state-of-the-art framework DSPy for programming foundation models with its powerful optimizers and runtime constraint system.
Climate Impact of Software Testing at Nordic Testing Days
My slides at Nordic Testing Days 6.6.2024
Climate impact / sustainability of software testing discussed on the talk. ICT and testing must carry their part of global responsibility to help with the climat warming. We can minimize the carbon footprint but we can also have a carbon handprint, a positive impact on the climate. Quality characteristics can be added with sustainability, and then measured continuously. Test environments can be used less, and in smaller scale and on demand. Test techniques can be used in optimizing or minimizing number of tests. Test automation can be used to speed up testing.
Recently uploaded (20)
HCL Notes and Domino License Cost Reduction in the World of DLAU
HCL Notes and Domino License Cost Reduction in the World of DLAU
Unlock the Future of Search with MongoDB Atlas_ Vector Search Unleashed.pdf
Unlock the Future of Search with MongoDB Atlas_ Vector Search Unleashed.pdf
HCL Notes und Domino Lizenzkostenreduzierung in der Welt von DLAU
HCL Notes und Domino Lizenzkostenreduzierung in der Welt von DLAU
20240609 QFM020 Irresponsible AI Reading List May 2024
20240609 QFM020 Irresponsible AI Reading List May 2024
Building Production Ready Search Pipelines with Spark and Milvus
Building Production Ready Search Pipelines with Spark and Milvus
Infrastructure Challenges in Scaling RAG with Custom AI models
Infrastructure Challenges in Scaling RAG with Custom AI models
Your One-Stop Shop for Python Success: Top 10 US Python Development Providers
Your One-Stop Shop for Python Success: Top 10 US Python Development Providers
Ocean lotus Threat actors project by John Sitima 2024 (1).pptx
Ocean lotus Threat actors project by John Sitima 2024 (1).pptx
Best 20 SEO Techniques To Improve Website Visibility In SERP
Best 20 SEO Techniques To Improve Website Visibility In SERP
CAKE: Sharing Slices of Confidential Data on Blockchain
CAKE: Sharing Slices of Confidential Data on Blockchain
20240605 QFM017 Machine Intelligence Reading List May 2024
20240605 QFM017 Machine Intelligence Reading List May 2024
Programming Foundation Models with DSPy - Meetup Slides
Programming Foundation Models with DSPy - Meetup Slides
Climate Impact of Software Testing at Nordic Testing Days
Climate Impact of Software Testing at Nordic Testing Days
Me2011 presentation by Manfred Jeusfeld
- 1. A Deductive View on Process-Data Diagrams Manfred Jeusfeld Tilburg University, TiSEM/IM The Netherlands [email_address] created: 4-Apr-2011 revised: 17-Apr-2011
- 3. distinguish correct (desired) from incorrect (undesired) PDDs
- 4. provide a simple facility for traceability
- 5. The “MOF” levels (also known from IRDS) in Constructs to define constructs of modeling languages Constructs of modeling languages Models Data, traces of some reality in in
- 7. Running example (by I. vd Weerd) process part= the workflow on the left side of a PDD product part= the data/deliverable specs on the right side of the PDD Extensive requirements elicitation Goal- setting Describe background List features List assumptions Describe goals Describe scope Domain modeling Define important terms Identify relations Draw class diagram Use case modeling Describe actors Extract use cases Draw use case model ... REQUIREMENTS DOC GOAL SETTING GOAL SETTING BACKGROUND FEATURE LIST ASSUMPTIONS GOAL LIST SCOPE GOAL SETTING DOMAIN MODEL TERM RELATION RELATION CLASS DIAGRAM ACTOR USE CASE GOAL SETTING USE CASE MODEL
- 8. So what MOF level is applicable for PDDs? in mary 2011-04-21 10:21 enrolls M0 M1 M1 M2 The process part of PDDs is typically one MOF level below the product part! Draw class diagram CLASS DIAGRAM Drawing my first C.D. University Diagram Student Course
- 10. Embed the process & product elements into MOF levels M3 M2 M1 M0 PDD Notation PDD models, e.g. Use Case Modeling PDD Execution NodeOrLink “ Activity UC1 produce use case model X” “ Usecase modeling produces...” “ An activity produces models” M3 M2 M1 M0 Deliverable OpenConcept, Model Domain Model, Use case model Usecase model X real data and processes produces
- 11. ActivityNode in Node,ProcessElem with connectedTo next: ActivityNode end ActivityDiagram in Model,Class isA Activity with contains activity: ActivityNode; control: ActivityNode!next end Phase in Model isA ActivityDiagram end PDD in Model isA Phase end PDDLibrary in Model isA PDD end Agent in connectedTo end Activity in ProcessElem isA ActivityNode with connectedTo produces: Deliverable; performer: Agent end ParallelBranch in ProcessElem isA Activity with connectedTo branch: ActivityNode end ParallelBranch!branch isA ActivityNode!next end ParallelJoin in Node isA Activity end DecisionPoint in ProcessElem isA Activity with connectedTo choice: ActivityNode end DecisionPoint!choice isA ActivityNode!next end DecisionJoin in Node isA Activity end The process part of PDDs So, this is basically a subset of UML activity diagrams ...
- 13. The concept 'Model' is pre-defined in the M3 level of the first part of this talk. We re-use it here for our purposes
- 16. Export small PDD fragment from ConceptBase
- 18. forall d1,d2/DeliverableInstance a/ActivityInstance (a [retrieves] d1) and (a [produces] d2) ==> (d2 depOnDirectly d1) forall d1,d2,d3/DeliverableInstance (d1 depOnDirectly d2) and (d2 depOn d3) ==> (d1 depOn d3) Traceability M0: PDD Traces M1: PDD Libs M2: PDD Notation M1 M2 M3
- 19. Demo...
Editor's Notes
- 1 1 1 1 1 1
- 22 22 16 16 16