Engineering Adaptive Software Systems
Communications of NII Shonan Meetings
Page
%P
-
Chapter and Conference Paper
Identifying Achievable Goals for Adaptive Replanning Against Runtime Environment Change
In automated planning, a plan is synthesized to achieve the given goals in the assumed operational environment. However, during the plan’s execution, the operational environment may changes so that replanning ...
-
Chapter
Explicit Exploration of Refinement Design in Proof-Based Approach: Refinement Engineering in Event-B
Control of abstraction levels is key to tackling the increasing complexity of emerging systems such as cyber-physical systems. Formal methods for dependability assurance have been used to explore this point by...
-
Article
Consistency-preserving refactoring of refinement structures in Event-B models
Event-B has been attracting much interest because it supports a flexible refinement mechanism that reduces the complexity of constructing and verifying models of complicated target systems by taking into accou...
-
Book
-
Chapter and Conference Paper
Test Suite Reduction in Idempotence Testing of Infrastructure as Code
Infrastructure as Code, which uses machine-processable code for managing, provisioning, and configuring computing infrastructure, has been attracting wide attention. In its application, the idempotence of the ...
-
Chapter and Conference Paper
Construction of Abstract State Graphs for Understanding Event-B Models
Event-B is a formal method that supports correctness by construction in system modeling using stepwise refinement. However, it is difficult to understand the rigorous behaviors of models from Event-B specifica...
-
Chapter and Conference Paper
Stepwise Refinement of Software Development Problem Analysis
The Problem Frames approach has attracted attention because it enables developers to carefully analyze problems in a reasonable manner. Despite that this approach decomposes a problem into subproblems before t...
-
Chapter and Conference Paper
Refactoring Refinement Structure of Event-B Machines
Refinement in formal specifications has received significant attention as a method to gradually construct a rigorous model. Although refactoring methods for formal specifications have been proposed, there are ...
-
Chapter and Conference Paper
Automatic Generation of Potentially Pathological Instances for Validating Alloy Models
Alloy is a formal specification language that is widely used to verify software systems. However, while users can verify the properties of a specification with Alloy, it is not so easy for them to validate the...
-
Chapter and Conference Paper
Understanding and Planning Event-B Refinement through Primitive Rationales
Event-B provides a promising feature of refinement to gradually construct a comprehensive specification of a complex system including various aspects. It has unique difficulties to design complexity mitigation...
-
Article
A multi-objective evolutionary approach to scheduling for evolving manufacturing systems
Persistent trends like quickly changing production programs, increasing customer individual manufacturing and Sustainable Manufacturing create complex systems of objectives in manufacturing control. Service-orien...
-
Chapter and Conference Paper
Efficient Neuroevolution for a Quadruped Robot
In this research, we investigate whether CoSyNE and CMA-NeuroES algorithms can efficiently optimize neural policy of a quadruped robot. Both of these algorithms are proven to optimize connection weights effici...
-
Chapter and Conference Paper
Supporting View Transition Design of Smartphone Applications Using Web Templates
Many developers have implemented native smartphone applications (NSAs) that have the same functionalities as those of existing web applications (WAs). They need to redesign web pages as views of NSAs owing to ...
-
Chapter and Conference Paper
A Framework for Validating Task Assignment in Multiagent Systems Using Requirements Importance
Multi-agent systems (MASs) are one of the effective approaches for dealing with the recent increase in software complexity and their autonomy. In the MAS research community, there has recently been increasing ...
-
Chapter and Conference Paper
Applying QoS-Aware Service Selection on Functionally Diverse Services
The Service-Oriented Computing (SOC) paradigm envisions the composition of loosely coupled services to build complex applications. Most current selection algorithms assume that all services assigned to a certa...
-
Chapter and Conference Paper
Utility-Based Self-Adaption with Environment Specific Quality Models
In order to adjust to changing environments and internal states, self-adaptive systems are enabled to autonomously adjust their behaviour. The motive is to achieve better performance while minimising human eff...
-
Chapter and Conference Paper
Communication in Context: A Stimulus-Response Account of Agile Team Interactions
Previous research has indicated that work artefacts commonly used by agile teams capture progress information, while functional aspects such as requirements are developed and sustained through the team’s socia...
-
Chapter and Conference Paper
Service Composition with Pareto-Optimality of Time-Dependent QoS Attributes
Quality of Services (QoS) plays an essential role in realizing user tasks by service composition. Most QoS-aware service composition approaches have ignored the fact that QoS values can depend on the time of e...
-
Chapter and Conference Paper
Cooperative Behaviors Description for Self-* Systems Implementation
Agent platforms have recently attracted attention for use as a basis for self-* systems development because it provides a mechanism for autonomous functionalities. From among these platforms, JADE allows devel...
-
Chapter and Conference Paper
Flexible Bloom Filters for Searching Textual Objects
Efficient object searching mechanisms are essential in large-scale networks. Many studies have been done on distributed hash tables (DHTs), which are a kind of peer-to-peer system. In DHT networks, we can cert...
