The agent paradigm can be seen as an extension of the notion of (active) objects by concepts like autonomy, cooperation, and goal-oriented behavior. Mainstream object-oriented modeling techniques do not account for these agentspecific aspects. Therefore, dedicated techniques for agent-oriented modeling are required which are based on the concepts and notations of object-oriented modeling and ex...

Service-oriented architectures were introduced to create a technological basis for reacting to business requirements in a distributed application environment. Services encapsulate functionality to be reused in different processes and can be easily described in design models that should be the result of analyzing the business requirements described in conceptual models. However, this process is ...

Pipa is a behavioral interface specification language (BISL) tailored to AspectJ, an aspect-oriented programming language. Pipa is a simple and practical extension to the Java Modeling Language (JML), a BISL for Java. Pipa uses the same basic approach as JML to specify AspectJ classes and interfaces, and extends JML, with just a few new constructs, to specify AspectJ aspects. Pipa also supports...

In the information age, IT companies pay more and more attention to the quality of service. Social network service providers concentrates on saving the cost and developing products with better quality. The explosion of Web service has provided good opportunities for these companies, and also brought severe challenges to them. Therefore, the efficiency and the reusability would be the important ...

Due to the increased applications of agents, Agent-oriented software becomes large and complex. To support systematic developments of such a software, Agent-oriented software development methodology needs to be developed. This paper focuses on modeling phase of agent-oriented software development. For the Agent-oriented software modeling, Agent Elicitation method, Intra and Inter Agent modeling...

Aspect-Oriented Programming (AOP) has arisen as a new technology to support a better SoC (Separation of Concerns), intending to contribute to the development of reusable, maintainable, and evolvable software systems. Aspects have been also explored in the early life cycle phases, aiming at contributing to a more adequate development of aspect-oriented software systems. In this perspective, in o...

A short and self-contained presentation of the results known about the Pom-peiu problem is given and a new result is obtained. In particular, it is proved that if D 1 has Pompeiu's property (P-property) then D 2 has it, provided D 2 is sufficiently close to D 1 in the following sense: meas(D 12 \ D 12) is sufficiently small. Here D 12 := D 1 ∪ D 2 , D 12 := D 1 ∩ D 2 .

In this paper we offer an overview on the topic of Microservices Science and Engineering (MSE) and we provide a collection of bibliographic references and links relevant to understand an emerging field. We try to clarify some misunderstandings related to microservices and Service-Oriented Architectures, and we also describe projects and applications our team have been working on in the recent p...

Data integration is the process by which data from heterogeneous data sources are conceptually integrated into a single cohesive data set. In recent years agents have been increasingly used in information systems to promote performance. In this work we propose a modeling framework for agent oriented data integration to demonstrate how agents can support this process. We provide a systematic ana...