Specification of vertical semantic consistency rules of UML class diagram refinement using logical approach

Unified Modelling Language (UML) is the most popular modelling language use for software design in software development industries with a class diagram being the most frequently use diagram. Despite the popularity of UML, it is being affected by inconsistency problems of its diagrams at the same or different abstraction levels. Inconsistency in UML is mostly caused by existence of various views on the same system and sometimes leads to potentially conflicting system specifications. In general, syntactic consistency can be automatically checked and therefore is supported by current UML Computer-aided Software Engineering (CASE) tools. Semantic consistency problems, unlike syntactic consistency problems, there exists no specific method for specifying semantic consistency rules and constraints. Therefore, this research has specified twenty-four abstraction rules of class‟s relation semantic among any three related classes of a refined class diagram to semantically equivalent relations of two of the classes using a logical approach. This research has also formalized three vertical semantic consistency rules of a class diagram refinement identified by previous researchers using a logical approach and a set of formalized abstraction rules. The results were successfully evaluated using hotel management system and passenger list system case studies and were found to be reliable and efficient

Automatic subscriptions in publish-subscribe systems

In this paper, we describe how to automate the process of subscribing to complex publish-subscribe systems. We present a proof-of-concept prototype, in which we analyze Web browsing history to generate zero-click subscriptions to Web feeds and video news stories. Our experience so far indicates that user attention data is a promising source of data for automating the subscription process

IDEALIST control and service management solutions for dynamic and adaptive flexi-grid DWDM networks

Wavelength Switched Optical Networks (WSON) were designed with the premise that all channels in a network have the same spectrum needs, based on the ITU-T DWDM grid. However, this rigid grid-based approach is not adapted to the spectrum requirements of the signals that are best candidates for long-reach transmission and high-speed data rates of 400Gbps and beyond. An innovative approach is to evolve the fixed DWDM grid to a flexible grid, in which the optical spectrum is partitioned into fixed-sized spectrum slices. This allows facilitating the required amount of optical bandwidth and spectrum for an elastic optical connection to be dynamically and adaptively allocated by assigning the necessary number of slices of spectrum. The ICT IDEALIST project will provide the architectural design, protocol specification, implementation, evaluation and standardization of a control plane and a network and service management system. This architecture and tools are necessary to introduce dynamicity, elasticity and adaptation in flexi-grid DWDM networks. This paper provides an overview of the objectives, framework, functional requirements and use cases of the elastic control plane and the adaptive network and service management system targeted in the ICT IDEALIST project

Implementing section 404 of the sarbanes oxley act: Recommendations for information systems organizations

Section 404 of the Sarbanes Oxley (SOX) Act addresses the effectiveness of internal controls, which in most organizations are either fully or partially automated due to the pervasiveness and ubiquity of information technologies. Significant or material control deficiencies have to be reported publicly. The adverse impact on organizations declaring deficiencies can be severe, for example, damage to reputation and/or market value. While there are many practitioner-led manuals and methods for dealing with 404, there has been little published in the academic research literature investigating the role of Information Systems organizations in implementing Section 404. The paper addresses this gap in knowledge. We used institutional theory as the lens through which to examine the experiences of Section 404 implementation in three global organizations. We used the case study method and an abductive strategy to gather and analyze data respectively. Our findings are summarized in six recommendations. We found that institutional pressures play a critical role in the implementation of Section 404. In particular, organizations face coercive pressure to achieve Section 404 compliance, without which punitive sanctions can be imposed by regulators. Organizations tend to imitate one another in the methods they use so that each is perceived to be in line with their competitive environment. Organizations face normative pressures to act in ways that are socially acceptable, which is to achieve compliance. Failure to do so would be a signal to the market that the organization does not take controls seriously. We expand these findings in terms of power and influence tactics that IS organizations can use when implementing Section 404. Our findings provide directions for practice and lines of enquiry for further research

Post-Crisis Economic and Social Policy: Some Thoughts on Structural Reforms 2.0.

Managing the euro crisis has been a process of institutional transformation for the EU. The European Semester has emerged as a powerful tool for economic policy coordination between the Member States. Beyond the new enforcement tools that the Semester affords the Commission and Council in case of non-compliance with country-specific recommendations, the management of the crisis has given the Commission experience in structural reforms. The Commission now regularly uses this experience in formulating its yearly country-specific recommendations to Member States. Far from a stalwart of untethered neoliberalism, the Commission has been fashioning itself as the manager with a human face, the institution that understands both the structural reform requirements for a global economy, and the special need for strong social institutions that could shield European citizens from the worst of the shocks provoked by globalized markets. Hence the name, “Structural Reforms 2.0,” per the Juncker Commission. In this chapter, I review the Commission’s emerging structural reform “know-how,” as represented in its latest reflection papers and European Semester documents. The European Commission seems to have drawn from its experience in managing loan conditionality for debtor countries like Greece, Portugal, and Ireland, in order to come up with the set of structural reforms that it considers necessary for any country to thrive within the context of the euro. At the same time, it has taken on board the critiques of structural reforms that point to the potentially negative short-term effects of structural adjustment. Thus, the Commission seems to have fully embraced the idea of the EU as a soft alternative to unfettered globalization and has taken it upon itself to monitor certain aspects of the welfare state in Member States. The Commission’s recommendations, however, while presented in the mode of technocratic expertise, entail deeply political choices in almost every imaginable regulatory field. Despite constant assurances that there is no “one-size fits all” model for structural reforms, what is shaping up through the European Semester is effectively a list of desirable reforms—a set menu of options—which the Commission now openly characterizes as “EU best practices.” If applied, they would provoke deep restructurings and adjustments of national political economies with winners and losers to boot. These demands for deep restructurings are couched in a language of technical adjustment and fine-tuning that does not do justice to the qualitative reform required of the Member States nor to the substantive trade-offs between market efficiency and social fairness that only a democratic process can legitimize. Contrary to some observers, I conclude that the inclusion of social policy goals into the European Semester can be an indication of both the success of socially minded actors in influencing the content of macroeconomic governance, and of the success of market-minded actors in adapting to demands for “social fairness” in macroeconomic governance without ceding much space in terms of the kinds of reforms required. Much of this “socialization” of the European Semester will depend on how the rest of the management of the common currency evolves

AmbieSense: a system and reference architecture for personalised and context-sensitive information services for mobile users

The purpose of AmbieSense is to provide personalised, context-sensitive information to the mobile user. It is about augmenting digital information to physical objects, rooms, and areas. The aim is to provide relevant information to the right user and situation. Digital content is distributed from the surroundings and onto your mobile phone. An ambient information environment is provided by a combination of context tag technology, a software platform to manage and deliver the information, and personal computing devices to which the information is served. This paper describes how the AmbieSense reference architecture has been defined and used in order to deliver information to the mobile citizen at the right time, place and situation. Information is provided via specialist content providers. The application area addresses the information needs of travellers and tourists

Improving the Scalability of DPWS-Based Networked Infrastructures

The Devices Profile for Web Services (DPWS) specification enables seamless discovery, configuration, and interoperability of networked devices in various settings, ranging from home automation and multimedia to manufacturing equipment and data centers. Unfortunately, the sheer simplicity of event notification mechanisms that makes it fit for resource-constrained devices, makes it hard to scale to large infrastructures with more stringent dependability requirements, ironically, where self-configuration would be most useful. In this report, we address this challenge with a proposal to integrate gossip-based dissemination in DPWS, thus maintaining compatibility with original assumptions of the specification, and avoiding a centralized configuration server or custom black-box middleware components. In detail, we show how our approach provides an evolutionary and non-intrusive solution to the scalability limitations of DPWS and experimentally evaluate it with an implementation based on the the Web Services for Devices (WS4D) Java Multi Edition DPWS Stack (JMEDS).Comment: 28 pages, Technical Repor