Suitable software languages are crucial to tackling the ever-increasing complexity of
software engineering processes and software products. They model, specify, and test …

Agile software development methods are mostly built as a set of managerial guidelines and
development concepts on how to handle a software development but are not bounded to …

This paper describes, from motivations and main objectives to actual implementation, a
novel agent-oriented programming language called JADEL. JADEL is designed to support …

Software development required for constructing multi-agent systems (MAS) usually becomes
challenging and time-consuming due to the properties of autonomy, distributedness, and …

Abstract Model checking is an influential method to verify complex interactions, concurrent
and distributed systems. Model checking constructs a behavioral model of the system using …

In agent-oriented software engineering (AOSE), the application of model-driven
development (MDD) and the use of domain-specific modeling languages (DSMLs) for Multi …

Software systems can fail when requirement constraints are overlooked or violated. With the
increased complexity of software systems, software development has become more reliant …

Nowadays, concurrent programs are an inevitable part of many software applications. They
can increase the computation performance of the applications by parallelizing their …

In this paper, we present an existing simple domain-specific language for representing the
motion of a robot in an orthogonal two-dimensional system and we define its natural …

Extending Message Handlers with Pattern Matching in the Jadescript Programming Language
Page 1 Extending Message Handlers with Pattern Matching in the Jadescript Programming …