Requirements engineering for the design of conceptual modeling languages

In the increasingly developing digital era, data security and access rights management have become crucial aspects in information systems, especially on platforms that manage specific content such as anime. The Anime Content Management Information System (SIPKA) requires a robust security mechanism to protect user data, content and access rights in order to prevent security threats such as unauthorized access, data theft and content manipulation. This study discusses various methods and technologies that can be applied to improve data security and access rights management in SIPKA. Through literature analysis and case studies, this research found that implementing data encryption, multifactor authentication, and role-based access rights management (RBAC) systems are effective strategies in maintaining data integrity and confidentiality. It is hoped that the results of this research can provide guidance for SIPKA developers and managers in implementing appropriate security policies and technology to ensure the security and operational continuity of the system.

Designing information systems in social context: a goal and scenario modelling approach

Issues in the design of modeling languages for mathematical programming

Group formation and access rights management become crucial issues when shared workspaces are used to support flexible, emerging group work. End-Users should be able to form groups and adapt access rights for changing groups and workspaces. Current shared workspace systems do not support this sufficiently. Our approach combines a room metaphor-based shared workspace with the key-metaphor for facilitating both, end-user controlled flexible group formation and access rights management. An evaluation of this approach during four month of use has indicated that end-users can form groups and manage the access rights of their shared spaces.

The Unified Modeling Language (UML) does not fully address the needs of some important modeling domains, including goals and non-functional requirements (NFR). However, UML can be extended and tailored through the definition of profiles. In this paper, we propose a UML profile for the Goal-oriented Requirement Language (GRL), the goal/NFR notation of the User Requirements Notation (URN), recently standardized by ITU-T as Recommendation Z.151. Our profile is based on the abstract metamodel of GRL defined in accordance with ITU-T Recommendation Z.111 (meta-metamodel). This GRL metamodel has already been successfully tested and implemented in the jUCMNav Eclipse plug-in (a URN modeling tool). The profiling approach used in this paper adheres to the guidelines for UML profile design defined in ITU-T Recommendation Z.119. The resulting profile has been implemented in a UML 2 tool, namely IBM Rational Tau 4.0, and validated with case studies. Our experience and lessons learned are also discussed.KeywordsGoal-oriented Requirement LanguageMetamodelTau G2UML ProfileUser Requirements Notation

In this paper we present a framework for the evaluation and (re)design of modeling languages. We focus here on the evaluation of the suitability of a language to model a set or real-world phenomena in a given domain. In our approach, this property can be systematically evaluated by comparing the level of homomorphism between a concrete representation of the worldview underlying the language (captured in a metamodel of the language), with an explicit and formal representation of a conceptualization of that domain (a reference ontology). The framework proposed comprises a number of properties that must be reinforced for an isomorphism to take place between these two entities. In order to illustrate the approach proposed, we evaluate and extend a fragment of the UML static metamodel for the purpose of conceptual modeling, by comparing it with an excerpt of a philosophically and cognitive well-founded reference ontology.

In recent years, various Digital Right Management (DRM) schemes have been proposed to protect and manage access rights of digital contents. Nevertheless, most DRM schemes do not care for protecting user privacy so the user’s private information is easily compromised. To solve this problem, Zhang et al. proposed a license management scheme with anonymous trust for digital right management. However, we find that their scheme has high computation cost. Besides, their scheme is insecure because the decryption key of the digital content can be easily computed by an attacker. Thus, we propose an efficient and flexible authentication scheme with user anonymity for DRM in this paper. Compared with Zhang et al.’s scheme, the proposed scheme has lower computation cost. In addition, the user privacy can be well-protected without revealing the decryption key. Therefore, the proposed scheme is efficient and practical for the DRM applications.

In this paper, we propose a model-driven approach for web-service development with the intention of IT infrastructure integration in enterprise models. This implies the extension of existing conceptual modelling languages with language constructs that aim at model information transparency on a web-service basis. Therefore, we assess the grammatical specification of conceptual modelling languages for business domains. Acting on the language meta-level means in this context the introduction of web-service-related constructs into widely used visual modelling grammars. The vision is the situation-dependent adaptation of software functionality to the actual documented utilisation. Economical relevance results from the reduction of significant discrepancies between enterprise systems functionalities and business requirements.

The Importance of Data Access Regimes for Artificial Intelligence and Machine Learning

Semi-formal software techniques have been very successful in industry, government institutions and other areas such as academia. Arguably, they owe a large part of their success to their graphical notation, which is more human-oriented than their counterpart text-based and formal notation techniques. However, ensuring the consistency between two or more models is one of the known challenges of these techniques. This work looks closely at the specific case of the User Requirements Notation (URN) technique. Although the abstract model of URN provides for link elements to ensure the consistency between its two main components, namely, Goal-Oriented Requirement Language (GRL) and Use Case Maps (UCM), the effective implementation of such links is yet to be fully addressed. This paper performs a detailed analysis of the existing URN models construction process and proposes an improved process with some guidelines to ensure, by construction, the correctness and consistency of the GRL and UCM models. A case study is used throughout the paper to illustrate the suggested solution.

In this paper, the business model and digital rights management (DRM) solution are proposed for the home TV based on scalable video coding and convergent networks. In this environment, the TV program is broadcasted via digital video broadcasting for handheld terminals (DVB-H) to mobile phones, the access right is transmitted by Global System for Mobile communication (GSM/GPRS) channel, and the TV program can also be transmitted from mobile phones to home TV through WiFi. The typical application scenario is that the TV program with low quality (base layer) in the mobile phone can be enriched by enhancement information and shown on home TV. The business model is presented to pay for the enhancement information, and the DRM solution is proposed for solving the copyright issues in the convergence between the DVB-H broadcasting, GSM/GPRS and home network. Since few work has been done to solve this problem, the work proposed in this paper is expected to attract more researchers.

EOOLT 2010 was the third edition of the EOOLT workshop series. The workshop is intended to bring together researchers and practitioners from-different equation-based object-oriented (EOO) modeling language communities. This year's workshop also expands the scope to include the whole design space of languages for cyber-physical systems, where physical dynamics are mixed with networks and software. The workshop gathered 31 participants to present and discuss thirteen different papers grouped into the four areas of realtime oriented modeling languages and tools, modeling language design, simulation and model compilation, and modeling and simulation tools.

Design patterns are a means to capture and reuse good practices and working solutions acquired by experts in various domains of specification and design. A lot of work has been done to try to express the solution part of design patterns in a computer understandable language but most of it is centered on the UML, especially on the Class diagrams. Model engineering techniques make it easier to design domain-specific languages and we think that design patterns can be identified in any engineering domain. So, a language able to describe accurately design pattern solutions for any specification or design language, along with its reuse process, would be of great interest. This paper presents Gipsie, a specification language that approaches, at an abstract level, this goal through the notion of generic roles, i.e. parameterized by any metamodel.

Due to the growth of the broadband and wireless communications network, it has been increasingly popular in recent years to promote the Internet of Vehicles (IoV) as a research topic. The IoV is different from Vehicular Ad hoc NETworks (VANETs). The IoV requires more security considerations than a VANET would. For example, the services provided must be effectively managed. Some vehicles must allow different drivers to use them, and are given different service rights (In a taxi fleet, the same car is driven by different people in shifts) and the identities of vehicles and drivers must be protected by anonymity. Given the above security considerations, we present a method of privacy-preserving authentication and services access control in the IoV. In this system, only the Certificate Authority (CA) can perform the revocation process when a vehicle or driver is judged as invalid. To achieve this purpose of services access control, we propose a new Service Rights Management (SRM) scheme that is given their different services depending on the different objects and then assign different digital rights for managing services and access rights separately. In threats and at-tacks analysis, our scheme is compared to other mechanisms of preventing all kinds of wireless network attacks.

In third generation multi-operator mobile telecommunication systems, terminal operations will allow users to select the desirable operator among the ones available, provided that the user access rights are maintained. Three alternative (inter-operator) roaming scenarios between public and private operators are proposed. The first scenario considers private operators as autonomous networks (GSM-based approach), the second scenario considers private operators as domains of a public operator (DECT-based approach), while the third one considers private operators as extensions of a public operator coverage. Their advantages and disadvantages are highlighted, while particular attention is paid on the implications on access rights management and design issues.