Search Results

You are looking at 1 - 10 of 183 items :

  • "specification languages" x
Clear All

, there are several specification languages. In particular, there is the language LSS for structural specification and the language LLS-1 for logical specification. The main goal of the present paper is to describe the language LLS-1 and to present a method deduction for this language. There are two types of concepts that can be specified by means of LSS – classes and links (binary relations). For example, consider the following LSS statements determining the universes of the classes and link Employee[Name:String,Position:String,  Works_at:Department] , Project

THEORIE FÜR DEN ANWENDER at 12/2001 Die Spezifikationssprachen MSC und SDL Teil 1: Message Sequence Chart (MSC) The Specification Languages MSC and SDL Part 1: Message Sequence Chart (MSC) Jens Grabowski, Ekkart Rudolph und Michael Schmitt Im Telekommunikationsbereich haben sich Message Sequence Chart (MSC) und Specification and Description Language (SDL) als wichtigste Modellierungssprachen etabliert. Dieser zwei- teilige Artikel beschreibt die Konzepte und den Einsatz der beiden Sprachen. Im vorliegenden ersten Teil wird ein Überblick über SDL und MSC gegeben

showhowan informal confiden- tiality requirement can be formalized in the specification language RIFL and how this requirement can be verified in the app store Cassandra using the RSCP security anal- yser. In particular, we demonstrate how Cassandra inte- grates the information-flow analysis by the RSCP security analyser into the installation process of an app from the perspective of a user. Keywords: Information flow control, mobile platform se- curity, security requirements, specification languages, ver- ification. ACM CCS: Security and privacy→ Systems security→ In

its formal specification. Moreover, formal verification allows for an easy re-validation, which is, e. g., required by the GAMP guidelines for each change of a safety-critical aPS. Thus, there is a need to support formal verification of PLC software [ 8 ]. But formal verification is not commonly used, yet, to verify the correctness of implementations. One of the main reasons is that it is difficult to specify the desired temporal properties of a system, since that requires expert knowledge on formal specification languages [ 13 ]. Even worse, in many cases not even

-usable mechanism to manage context data flow from low-level providers to high-level consumers. This chapter presents a declar- ative specification language for quality-aware context acquisition. With the specifica- tion, a generic context provision and acquisition adaptor can be built. Furthermore, a quality-assured strategy by leveraging the redundancy of context providers is given, where redundant imprecise and unstable context providers can be used to consti- tute a more precise and stable context provision. Such a strategy provides a basis to implement the specification

, 2005. CUPPENS, F.—CUPPENS, N. SANS, T.—MIEGE, A.: A Formal Approach to Specify and Deploy a Network Security Policy, In Proc. of the 2 nd Workshop on Formal Aspects in Security and Trust (FAST), Toulouse, France, August 2004. KANGASLUOMA, M.: Policy Specification Languages, Report of Helsinki University of Technology, Helsinki, Finland, November 1999. JOHNSON, M.—CHANG, P.—JEFFERS, R.—BRADSHAW, J. et al : KAoS Semantic Policy and Domain Services: an Application of DAML to Web Services-Based Grid Architectures, In Proc. of the AAMAS 03 Workshop on Web Services and

Logistik. Außerdem wurde die Tradition der Präsentation von frei verfügbaren Soft- warelösungen und Standardisierungs- vorschlägen fortgesetzt. Prof. Bartz von der FH Köln stellte mit annSL (artificial neural network specification language) eine neue XML-Sprache zur Speiche- rung von Daten, Konfigurationen und Trainingsverläufen Künstlicher Neuro- naler Netze vor. Die annSL-Spezifika- tion und ein Java-Package stehen unter http://www.nt-rt.fh-koeln.de/research/ annSL/index.html zur Verfügung. Der diesjährige Young Author Award des Workshops ging an Herrn Krettek

. Studia Logica 67:333–384. Mossakowski, T.; Kutz, O.; Codescu, M.; and Lange, C. 2013. The Distributed Ontology, Modeling and Specification Language. In Del Vescovo, C.; Hahmann, T.; Pearce, D.; and Walther, D., eds., Proceedings of the 7th International Workshop on Modular Ontologies (WoMO-13) , volume 1081. CEUR-WS. Mossakowski, T.; Codescu, M.; Neuhaus, F.; and Kutz, O. 2015. The Road to Universal Logic–Festschrift for 50th birthday of Jean-Yves Beziau, Volume II . Studies in Universal Logic. Birkhäuser. chapter The distributed ontology, modelling and

provided in Fig. 2. A detailed discussion of the system is presented in the next sections. 3. DETAILED DESIGN AOSS makes use of the contract specification language (Chaitanya, 2002; Chaitanya & Frank, 2003). At present, AOSS provides a basic frame- work to achieve the goal. The layers of AOSS are provided in Fig. 3. Layer Implementation Protocol Discovery UDDI Description WSDL Business Rules Layer: Rules and Rules Enforcement Rules Document Contract Specification Language Messaging and Transport SOAP. HTTP Fig. 3: Layered architecture of AOSS 29 Vol. 14

processing Schlagwörter Ereignis-basierte Anwendungen, verteilte Ereignisverarbeitung 1 History of Complex Event Processing Complex event processing has seen a resurgence in the last few years although the need for events, rules, and trig- gers were realized more than two decades ago. The foun- dation for complex event processing, in terms of event specification languages, their semantics, event detection algorithms, and integration of event processing with database management systems (DBMSs) as well as stand- alone applications, has been formed quite some time ago. The