Towards information system modeling on the basis of ASM semantics

Abstract state machine, concurrency, database behavior modeling, deontic logic, dialog step, dynamic logics, executable models, information system, integrity constraint enforcement, interaction machine, interaction modeling, Internet services, model-checking, parallelism, persistent turing machine,...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Binemann-Zdanowicz, Aleksander (VerfasserIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Cottbus Brandenburg Univ. of Technology, Fac. of Mathematics, Natural Sciences and Computer Science, Inst. of Computer Science 2001
Schriftenreihe:Computer science reports 2001,12
Schlagworte:
Forschungsbericht > Informationssystem > Spezifikationstechnik
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:Abstract state machine, concurrency, database behavior modeling, deontic logic, dialog step, dynamic logics, executable models, information system, integrity constraint enforcement, interaction machine, interaction modeling, Internet services, model-checking, parallelism, persistent turing machine, Petri Nets, refinable models, software system, three-valued logics, safety, scenario, scene, security, sitelang, state space, verification methods, web-site CoDesign, web-site development
Beschreibung:41 Bl
graph. Darst