Engineering Adaptive Software Systems
Communications of NII Shonan Meetings
Page
%P
31 Result(s)
-
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...
-
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
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
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
Suppressing Redundancy in Wireless Sensor Network Traffic
Redundancy suppression is a network traffic compression technique that, by caching recurring transmission contents at receiving nodes, avoids repeatedly sending duplicate data. Existing implementations require...
-
Chapter and Conference Paper
Efficient QoS-Aware Service Composition with a Probabilistic Service Selection Policy
Service-Oriented Architecture enables the composition of loosely coupled services provided with varying Quality of Service (QoS) levels. Given a composition, finding the set of services that optimizes some QoS...
-
Chapter and Conference Paper
What Top-Level Software Engineers Tackle after Learning Formal Methods: Experiences from the Top SE Project
In order to make practical use of formal methods, it is not sufficient for engineers to obtain general, fundamental knowledge of the methods and tools. Actually, it is also necessary for them to carefully cons...
-
Chapter and Conference Paper
Challenges for Exception Handling in Multi-Agent Systems
Exception handling has a commonly agreed semantics in many programming languages. When an operation is called with inappropriate conditions, the control flow of the program is reversed back to the caller to tr...
-
Chapter and Conference Paper
A Definition of Exceptions in Agent-Oriented Computing
The research on exception handling in Multi-Agent Systems has produced some advanced models to deal with ‘exceptional situations’. The expression ‘agent exception’ is however unclear across the literature, as ...
-
Chapter and Conference Paper
Exhaustive Testing of Exception Handlers with Enforcer
Testing application behavior in the presence of I/O failures is extremely difficult. The resources used for testing usually work without failure. Failures typically cannot be initiated on the test suite level ...
-
Chapter and Conference Paper
Enforcer – Efficient Failure Injection
Non-determinism of the thread schedule is a well-known problem in concurrent programming. However, other sources of non-determinism exist which cannot be controlled by an application, such as network availabil...
-
Chapter and Conference Paper
A Modeling Framework for Generic Agent Interaction Protocols
Agent-UML (AUML) extended UML in order to facilitate the modeling process for agent based systems. It offers several graphical notations, including protocol diagrams which represent agent interaction protocols...
