Video
Not enough ratings.
Formalizations and Task Structures
1
171
172
173
174
176
177
178
179
180
181
182
253
430
843
845
847
1037
1115
1252
1417
1655
1656
1718
1764
1899
1986
2010
2024
2540
2621
2933
3039
3202
3233
3234
3630
3720
3737
3787
3857
3859
4150
4195
4197
4227
4229
4464
4466
4632
4736
4929
4953
5015
5017
5214
5215
Lecture Structure
- Translational Semantics (01:23:37)
- Translational Semantics (01:22:33)
- Translational Semantics Mapping Initial Marking (01:22:09)
- Translational Semantics Mapping Decisions mapped to XOR split in the (01:22:08)
- Translational Semantics (01:14:26)
- Provide a mapping of task structures to place transition nets (01:14:26)
- Mapping (01:14:26)
- Tasks and (01:14:26)
- Triggers (01:14:26)
- Each task tis mapped to a place E and a transition C such that (01:14:26)
- the place is connected to the is input of C (01:14:26)
- For each outgoing trigger of a task f (01:14:26)
- transition C is (01:14:26)
- connected to the input of (01:14:26)
- Semantics of Task Structures (01:14:24)
- execution semantics of task structures by Petri nets (01:14:24)
- place transition nets with arc weight one (01:14:24)
- Place Transition Net (01:14:24)
- Example (01:10:29)
- Syntax of Task Structures (01:10:27)
- Conceptualization principle What are the concepts and their (01:10:27)
- the syntax independently from a particular notation (01:10:27)
- Syntax of task structures (01:10:27)
- Semantics of Task Structures (01:09:57)
- execution semantics of task structures by Petri nets i e (01:09:57)
- place transition nets with arc weight one (01:09:57)
- Place Transition Net (01:09:57)
- Translational Semantics (01:09:55)
- Provide a mapping of task structures to place transition nets (01:09:55)
- Mapping (01:09:55)
- Tasks and (01:09:55)
- Triggers (01:09:55)
- Each task tis mapped to a place and a transition C such that (01:09:55)
- the place is to the is input e of C (01:09:55)
- For each outgoing trigger of a task f (01:09:55)
- connected to the input place oft (01:09:55)
- Semantics of Task Structures (01:09:10)
- Example (01:04:19)
- Semantics of Task Structures (01:04:17)
- Define execution semantics of task structures by nets i e (01:04:17)
- place transition nets with arc weight one (01:04:17)
- Place Transition Net (01:04:17)
- Example (01:03:07)
- Syntax of Task Structures (01:02:17)
- Conceptualization principle What are the concepts and their (01:02:17)
- Define the syntax independently from a particular notation (01:02:17)
- Use mathematical formalization to describe the syntax of models (01:02:17)
- Syntax of task structures (01:02:17)
- Syntax of Task Structures (01:00:30)
- Conceptualization What are the concepts and their (01:00:30)
- the syntax independently from a particular notation (01:00:30)
- Syntax of task structures (01:00:30)
- Case Study Task Structures (00:53:22)
- Case Study Task Structures (00:48:53)
- Orthogonality I Principle Principle (00:47:52)
- Conceptualization Principle (00:42:53)
- Semantics Priority Principle (00:34:24)
- On Modeling (00:33:30)
- Primary Goal Principle (00:33:06)
- On Modeling (00:31:39)
- Primary Goal Principle (00:29:47)
- Formalization Principles (00:28:38)
- AXi0 118tiC S l l Example (00:27:36)
- Formalization Principles (00:27:35)
- Axiomatic S I l1aI1 Example (00:23:37)
- Axiomatic Semantics (00:21:35)
- Operational Semantics Idea Interpreter approach (00:20:47)
- Translational Semantics (00:18:33)
- Semantics of Formalizations Semantics (00:14:07)
- Syntax of Formalizations Concrete Syntax externalized (00:14:06)
- Semantics of Formalizations Semantics (00:14:03)
- Syntax of Formalizations Concrete Syntax specifies externalized (00:07:10)
- Syntax of Formalizations (00:04:13)
- How to formalize it (00:03:02)
- Compliance Initiatives (00:03:01)
- Compliance Checking (00:03:00)
- This Lecture (00:02:59)
- S FT criteria (00:02:59)
- Examples (00:02:59)
- Application area Compliance Checking Auditing (00:02:59)
- of Property ll (00:02:58)
- Specification of I Property (00:02:57)
- Formal Property (00:02:54)
- Specification of Property I (00:02:53)
- Regardless of what the process does each case that starts in the (00:02:53)
- When the state is reached nothing happens anymore in the (00:02:53)
- System model net (00:02:52)
- Modeling Systems System Design (00:02:51)
- Abstract (00:02:51)
- Specify desired system properties (00:02:51)
- Perform e g run model checker (00:02:51)
- Big Picture (00:00:01)
Links added to this content
No links have been added to this content so far.
Tags added to this content
No tags have been added to this content so far.
Create Note
Dear user,
with the manuscript function you'll be able to create your own digital lecture manuscript.
However, in order to link all your notes with your user profile it is required that you
login to the tele-TASK portal to use this functionality.
If you don't have an account yet, you may register for a tele-TASK account here.
with the manuscript function you'll be able to create your own digital lecture manuscript.
However, in order to link all your notes with your user profile it is required that you
login to the tele-TASK portal to use this functionality.
If you don't have an account yet, you may register for a tele-TASK account here.
Place a Marker
Dear user,
with the marker function you'll be able to create your own digital time markers.
However, in order to link all your markers with your user profile it is required that you
login to the tele-TASK portal to use this functionality.
If you don't have an account yet, you may register for a tele-TASK account here.
with the marker function you'll be able to create your own digital time markers.
However, in order to link all your markers with your user profile it is required that you
login to the tele-TASK portal to use this functionality.
If you don't have an account yet, you may register for a tele-TASK account here.
Please enable javascript to use this function.
Keyword
Please enable javascript to use this function.
Add to my playlist
Dear user,
with the playlist function you'll be able to create your own lecture video playlists.
However, in order to link all your playlists with your user profile it is required that you
login to the tele-TASK portal to use this functionality.
If you don't have an account yet, you may register for a tele-TASK account here.
with the playlist function you'll be able to create your own lecture video playlists.
However, in order to link all your playlists with your user profile it is required that you
login to the tele-TASK portal to use this functionality.
If you don't have an account yet, you may register for a tele-TASK account here.
Playlists
This content is not used in any playlist.