Marco A. C. Barbosa

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
Service-Oriented Architecture (SOA) is a paradigm for software development that has been increasingly adopted for factory automation. In SOA, services are independently developed and a central engine orchestrates their functional behavior according to the process workflow. If on one hand this orchestration is required to maximize performance and(More)
Although the term software component has been around for a long time, component–based programming has become a buzzword since mid 1990's. The basic motivation is to replace conventional programming by system's construction by composition and configuration of reusable off–the–shelf units, often regarded as " abstraction with plugs ". Like many other(More)
Coordinating concurrent multiple robots, in an efficient manner, is a task that challenges control engineers by its complexity. To be properly addressed, this task usually requires the support of formal approaches, such as the Supervisory Control Theory (SCT), which provides an automated way to calculate control strategies for event-based robots(More)
Modern systems tend to be larger, more complex and to depend on an increasingly numerous set of requirements. In contrast, system development practices remain human-centered, depending mostly on the engineer expertise to be carried out. This paper shows how maximally permissive and deadlock-free components of software can be automatically produced. We argue(More)
  • 1