LEADER 05148nam 22006255 450 001 996465484503316 005 20240409104044.0 010 $a3-540-30232-8 010 $a9783540232520 024 7 $a10.1007/b100576 035 $a(CKB)1000000000212597 035 $a(MiAaPQ)EBC3088675 035 $a(DE-He213)978-3-540-30232-2 035 $a(BIP)011189136 035 $a(PPN)155190415 035 $a(EXLCZ)991000000000212597 100 $a20121227d2004 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aFormal Techniques for Networked and Distributed Systems - FORTE 2004$b[electronic resource] $e24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings /$fedited by David de Frutos-Escrig, Manuel Nunez 205 $a1st ed. 2004. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2004. 215 $a1 online resource (X, 382 p.) 225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v3235 327 $aInvited Talks -- A Logical Account of NGSCB -- Composing Event Constraints in State-Based Specification -- Formal Description Techniques and Software Engineering: Some Reflections after 2 Decades of Research -- Regular Papers -- Parameterized Models for Distributed Java Objects -- Towards the Harmonisation of UML and SDL -- Localizing Program Errors for Cimple Debugging -- Formal Verification of a Practical Lock-Free Queue Algorithm -- Formal Verification of Web Applications Modeled by Communicating Automata -- Towards Design Recovery from Observations -- Network Protocol System Passive Testing for Fault Management: A Backward Checking Approach -- Connectivity Testing Through Model-Checking -- Fault Propagation by Equation Solving -- Automatic Generation of Run-Time Test Oracles for Distributed Real-Time Systems -- Formal Composition of Distributed Scenarios -- Conditions for Resolving Observability Problems in Distributed Testing -- Integrating Formal Verification with Mur? of Distributed Cache Coherence Protocols in FAME Multiprocessor System Design -- Witness and Counterexample Automata for ACTL -- A Symbolic Symbolic State Space Representation -- Introducing the Iteration in sPBC -- Petri Net Semantics of the Finite ?-Calculus -- Symbolic Diagnosis of Partially Observable Concurrent Systems -- Automatized Verification of Ad Hoc Routing Protocols -- A Temporal Logic Based Framework for Intrusion Detection. 330 8 $aThis section gives a description of notions used throughout this study. Current achievements in developing action-centered ontologies are also discussed. 2.1 Ontologies In the context of information extraction and retrieval, different kinds of ontologies can be distinguished [15]: * Top-level ontologies describe very general concepts like space and time, not depending on a particular domain, * Domain ontologies and task ontologies describe the vocabulary related to a generic domain or kind of task, detailing the terms used in the top-level ontology, * Application ontologies describe the concepts that depend on the particular domain and task within a specific activity. Several investigations have been conducted to bring actions (tasks) to bear on - tologies. Among them are Chandrasekaran et al. [6] and Mizoguchi et al. [23] in the fields of AI and Knowledge Engineering. For the geospatial domain, Kuhn [21] and Raubal and Kuhn [26] have attempted to support human actions in ontologies for transportation. Acknowledging the importance of human actions in the geographic domain, a research workshop was held in 2002, bringing together experts from diff- ent disciplines to share the knowledge and work on this issue [1]. Camara [5], one of the workshop participants, has proposed that action-driven spatial ontologies are formed via category theory, for the case of emergency action plans. 410 0$aLecture Notes in Computer Science,$x1611-3349 ;$v3235 606 $aComputer networks 606 $aSoftware engineering 606 $aComputer science 606 $aOperating systems (Computers) 606 $aComputer Communication Networks 606 $aSoftware Engineering 606 $aComputer Science Logic and Foundations of Programming 606 $aOperating Systems 610 $aGeographic Information Systems 610 $aTechnology & Engineering 615 0$aComputer networks. 615 0$aSoftware engineering. 615 0$aComputer science. 615 0$aOperating systems (Computers). 615 14$aComputer Communication Networks. 615 24$aSoftware Engineering. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aOperating Systems. 676 $a004.6 702 $aFrutos-Escrig$b David de$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aNunez$b Manuel$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a996465484503316 996 $aFormal Techniques for Networked and Distributed Systems - FORTE 2004$93562232 997 $aUNISA