Formal Modeling of Service Session Management

This paper proposes a concept to apply modeling tools to Multi-Provider Telematics Service Management. The service architecture is based on the framework called “Open Service Components” which serves as building blocks to compose end-to-end telematics services in terms of service components offered by different service providers. Our work presented in this paper contributes to the abstract way of modeling end-to-end Service Management using Architectural Description Language and an underlying Formal Description Language

Temporal verification in secure group communication system design

The paper discusses an experience in using a real-time UML/SysML profile and a formal verification toolkit to check a secure group communication system against temporal requirements. A generic framework is proposed and specialized for hierarchical groups

International conference on software engineering and knowledge engineering: Session chair

The Thirtieth International Conference on Software Engineering and Knowledge Engineering (SEKE 2018) will be held at the Hotel Pullman, San Francisco Bay, USA, from July 1 to July 3, 2018. SEKE2018 will also be dedicated in memory of Professor Lofti Zadeh, a great scholar, pioneer and leader in fuzzy sets theory and soft computing. The conference aims at bringing together experts in software engineering and knowledge engineering to discuss on relevant results in either software engineering or knowledge engineering or both. Special emphasis will be put on the transference of methods between both domains. The theme this year is soft computing in software engineering & knowledge engineering. Submission of papers and demos are both welcome

Requirements analysis of the VoD application using the tools in TRADE

This report contains a specification of requirements for a video-on-demand (VoD) application developed at Belgacom, used as a trial application in the 2RARE project. The specification contains three parts: an informal specification in natural language; a semiformal specification consisting of a number of diagrams intended to illustrate the informal specification; and a formal specification that makes the requiremants on the desired software system precise. The informal specification is structured in such a way that it resembles official specification documents conforming to standards such as that of IEEE or ESA. The semiformal specification uses some of the tools in from a requirements engineering toolkit called TRADE (Toolkit for Requirements And Design Engineering). The purpose of TRADE is to combine the best ideas in current structured and object-oriented analysis and design methods within a traditional systems engineering framework. In the case of the VoD system, the systems engineering framework is useful because it provides techniques for allocation and flowdown of system functions to components. TRADE consists of semiformal techniques taken from structured and object-oriented analysis as well as a formal specification langyage, which provides constructs that correspond to the semiformal constructs. The formal specification used in TRADE is LCM (Language for Conceptual Modeling), which is a syntactically sugared version of order-sorted dynamic logic with equality. The purpose of this report is to illustrate and validate the TRADE/LCM approach in the specification of distributed, communication-intensive systems

Arctic HYCOS – 1st Workshop on Improved Monitoring, Accuracy and Data Availability in the Arctic Drainage Basin: Meeting Summary Report and Implementation Plan

The World Hydrological Cycle Observing System (WHYCOS) is a global programme, developed in response to the scarcity or absence of accurate, timely and accessible data and information in real or near real time on freshwater resources in many parts of the world. The programme is implemented through various components (HYCOSs) at the regional and/or basin scale. It is guided by the WHYCOS International Advisory Group (WIAG). The Arctic-HYCOS program is being promoted through this Workshop. For more information on the WHYCOS, please see http://www.whycos.org/cms/. The main goal of the Arctic-HYCOS program is to improve monitoring, data accuracy, availability and dissemination of information in the pan-arctic drainage basin. This project is science-driven and is aimed at monitoring freshwater fluxes and pollutants into the Arctic Ocean with the objective of improving climate predictions in the Northern Hemisphere and assessing the pollution of the Arctic coastal areas and the open Arctic Ocean. Arctic-HYCOS is currently organized along three main activities. 1. Develop and optimal design fro hydro-meteorological monitoring networks to capture the essential variability of the Arctic hydrological system and to enable accurate and efficient assessment of change 2. Estimate uncertainty of available in situ and possible remote sensing data including analysis of accuracy and systematic errors of new observation technology 3. Develop an integrated pan-arctic data consolidation and analysis system for the water cycle uniting data from various in-situ and other sources

The safety case and the lessons learned for the reliability and maintainability case

This paper examine the safety case and the lessons learned for the reliability and maintainability case

A critical analysis of the X.400 model of message handling systems

The CCITT X.400 model of store and forward Message Handling Systems (MHS) serves as a common basis for the definition of electronic mail services and protocols both within CCITT and ISO. This paper presents an analysis of this model and its related recommendations from two perspectives. First the concepts of service, protocol and interface are discussed together with their application to this model; second the positioning within ISO's reference model for Open Systems Interconnection (OSI) is commented on