A survey of agent-oriented methodologies

This article introduces the current agent-oriented methodologies. It discusses what approaches have been followed (mainly extending existing object oriented and knowledge engineering methodologies), the suitability of these approaches for agent modelling, and some conclusions drawn from the survey

Abstract State Machines 1988-1998: Commented ASM Bibliography

An annotated bibliography of papers which deal with or use Abstract State Machines (ASMs), as of January 1998.Comment: Also maintained as a BibTeX file at http://www.eecs.umich.edu/gasm

Программное обеспечение инструментально-технологической системы проектиро-вания телекоммуникаций со сменяемым набором модулей моделирования

Рассмотрена многоуровневая архитектура математического и программного обеспечения процессов проектирования телекоммуникационных сетей. Проведен анализ наиболее перспективных инструментальных технологических систем проектирования с интегрируемой средой моделирования. Определена функциональная структура и обоснованы требования к программному обеспечению интегрируемой среды моделирования.The multilevel architecture mathematical and the software of processes of designing of telecommunication networks is considered. The analysis of the most promising tools systems design with advanced modeling tools. The functional structure is defined and requirements to the software modeling environments are proved

The Impact of Digital Technology on Network Value Co-creation

In recent years, the discussion about how companies integrate new technologies into their value creation and how this affects their business has intensified. The trend towards digitalization is particularly challenging for smaller, value co-creating (VCC) companies in networks, yet little research has been done in this context. In response, this paper identifies four key technologies for promoting network VCC: (1) a service configuration system, (2) a centralized knowledge base, (3) an analytics system, and (4) a shared IT platform. We conducted a single embedded case study in a company network introducing these key technologies and thereby digitally transforming its VCC. Our results show how the companies in the network are approaching their transformation and what the impact and role of the technologies in their network VCC are

Automatic synthesis of SDL from MSC and its applications in forward and reverse engineering

Abstract Wider adoption of formal specification languages in industry is impeded by the lack of support for early development phases and for integration with older, legacy software. Methodology aimed at improving this situation is presented. The methodology uses Message Sequence Charts (MSC) as a "front-end" specification language and systematically applies an automatic synthesis technique to produce executable specifications in the telecommunications standard Specification and Description Language (SDL). Applications of the automatic synthesis technique for both forward and reverse engineering are demonstrated

DIGITAL CO-CREATION Digitalization within Service Design : Transformation from analog thinking towards digital doing

The German automotive industry has accelerated its digital transformation as OEMs (Original Equipment Manufacturers) moving from car manufacturers towards becoming mobility providers, striving for new mobility solutions like offering Mobility as a Service (MaaS), Electric Vehicles (EVs) and Self-Driving-System (SDS). OEMs focus on expanding their core product-driven businesses to access service-orientated business models, the transformation from ownership towards shared mobility. Considering internal and external factors, this requires a new set of expertise, capabilities and an underlying approach to fulfill the demands in the complexity of human-centered development and front- and backstage alignment within the organization. At the same time, Service Design as a practice has risen in attraction by industry, being recognized and increasingly requested for its integration in the functions and divisions of the organization. The scale of Service Design in influence and impact has reached professional practice, making its way from a trendy buzzword to professional practice of turning complex problems collaboratively into tangible solutions. It is seen as a powerful opportunity for combining Business, Human-Centered Design and Engineering. Service Design establishes new ways of exploring business opportunities towards agile problem-solving but focuses on the ‘doing’ side towards further implementation. The contribution of this industrial-based doctoral thesis shall define how Service Design can be deployed and implemented in the field of organizational transformation and mobility development in the era of digital transformation (Digitalization). This research approach seeks to acquire new knowledge on how the Service Design practice can be applied and executed to be perceived as a practical approach to improve the enterprise’s processes and operating procedures and also provide a strategy to grow Service Design within the organization. This research has followed developing a pilot in a lean start-up approach of build, measure, learn with various business units and brands within the Volkswagen Group, this also implies that this research case study consisted of analyzing the Volkswagen Group needs for Service Design. The ‘10X-Service Design Lab’ (10X-SDL) has been designed as the framework of a combination of modular lab space, facilitation enhanced process, methodological driven tool box, operational model in alignment with a digital workflow and workspace striving for accelerated decision making. It is based on the hypothesis that the proposed framework enhances Service Design practice and, at the same time, it increases its attractiveness for business purposes. The 10X-SDL is designed to accelerate project development in a human-centered and holistic way by an open workspace platform lead by facilitators on which project developers, participants, and stakeholders can digitally co-create products, services, systems, and strategies. This research has been conducted as a case study within the Volkswagen Group from 2015 to 2019 in cooperation with the main partners of Service Innovation Corner (SINCO) of the University of Lapland and visual collaboration software company DEON

Toward model-based engineering for space embedded systems and software

International audienceEmbedded systems development suffers from difficulties to reach cost, delay and safety requirements. The continuous increase of system complexity requires a corresponding increase in the capability of design fault-free systems. Model-based engineering aims to make complexity management easier with the construction of a virtual representation of systems enabling early prediction of behaviour and performance. In this context, Space industry has specific needs to deal with remote systems that can not be maintained on ground. In such systems, fault management includes complex detection, localisation and recovery automatic procedures that can not be performed without confidence on safety. In this way, only simulation and formal proofs can support the validation of all the possible configurations. Thus, formal description of both functional and non-functional properties with temporal logic formulae is expected to analyse and to early predict system characteristics at execution. This paper is based on various studies and experiences that are carried out in space domain on the support provided by model-based engineering in terms of: • support to needs capture and requirements analysis, • support to design, • support to early verification and validation, • down to automatic generation of code

What use are formal design and analysis methods to telecommunications services?

Have formal methods failed, or will they fail, to help us solve problems of detecting and resolving of feature interactions in telecommunications software? This paper contains SWOT(Strengths, Weaknesses, Opportunities and Threats) analysis of the use of formula design and analysis methods in feature interaction analysis and makes some suggestions for future research