Video
Nicht genügend Bewertungen
Formalizations and Task Structures
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.
Add a New 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.
Tag this content
Please enable javascript to use this function.
Dear user,with the tagging function you'll be able to add taggs to videos.
However, in order to link all your tags 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.
Tags added to this content
No tags have been added to this content so far.
Add Link to this content
Please enable javascript to use this function.
Dear user,with the links function you'll be able to add links to other resources to this content.
However, in order to link all your links 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.
Links added to this content
No links have been added to this content so far.
Zu meinen Videolisten hinzufügen
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.
11711721731741761771781791801811822534308438458471037111512521417165516561718176418991986201020242540262129333039320232333234363037203737378738573859415041954197422742294464446646324736492949535015501752145215
Lecture Structure
- Big Picture (00:00:01)
- 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)
- System model net (00:02:52)
- 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)
- Formal Property (00:02:54)
- Specification of I Property (00:02:57)
- of Property ll (00:02:58)
- This Lecture (00:02:59)
- Compliance Checking (00:03:00)
- Compliance Initiatives (00:03:01)
- How to formalize it (00:03:02)
- Syntax of Formalizations (00:04:13)
- Syntax of Formalizations Concrete Syntax specifies externalized (00:07:10)
- Semantics of Formalizations Semantics (00:14:03)
- Syntax of Formalizations Concrete Syntax externalized (00:14:06)
- Semantics of Formalizations Semantics (00:14:07)
- Translational Semantics (00:18:33)
- Operational Semantics Idea Interpreter approach (00:20:47)
- Axiomatic Semantics (00:21:35)
- Axiomatic S I l1aI1 Example (00:23:37)
- Formalization Principles (00:27:35)
- AXi0 118tiC S l l Example (00:27:36)
- Formalization Principles (00:28:38)
- Primary Goal Principle (00:29:47)
- On Modeling (00:31:39)
- Primary Goal Principle (00:33:06)
- On Modeling (00:33:30)
- Semantics Priority Principle (00:34:24)
- Conceptualization Principle (00:42:53)
- Orthogonality I Principle Principle (00:47:52)
- Case Study Task Structures (00:48:53)
- Case Study Task Structures (00:53:22)
- 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)
- 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)
- Example (01:03:07)
- 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:04:19)
- Semantics of Task Structures (01:09:10)
- 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: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)
- 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)
- Example (01:10:29)
- 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)
- 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)
- Translational Semantics Mapping Decisions mapped to XOR split in the (01:22:08)
- Translational Semantics Mapping Initial Marking (01:22:09)
- Translational Semantics (01:22:33)
- Translational Semantics (01:23:37)
Keyword
Please enable javascript to use this function.
Please enable javascript to use this function.