João M. Fern, Simon Tjell, Jens Bæk Jørgensen
Abstract. The contribution of this paper is to present a model-based approach to requirements engineering for reactive systems, and more specifically to controllers. The approach suggests the...
From Use Cases to Objects: An Industrial Information Systems Case Study Analysis (2009)
João M. Fern, Ricardo J. Machado, Dep Informática
Identifying the objects that constitute a software system is a critical task for any object-oriented system development and several techniques have already been introduced to tackle this problem....
Requirements Engineering for Reactive Systems: Coloured Petri Nets for an Elevator Controller (2008)
João M. Fern, Jens Bæk Jørgensen, Simon Tjell
Abstract. The contribution of this paper is the suggestion of a modelbased approach to requirements engineering for reactive systems; we use an elevator controller as case study. We identify and...
Refinement of Software Architectures by Recursive Model Transformations∗ (2008)
Ricardo J. Machado, João M. Fern, Paula Monteiro, Helena Rodrigues
Abstract. The main aim of this paper is to present how to refine software logical architectures by application of a recursive model-based transformation approach called 4SRS (four step rule set). It...
Using a case study on the specification of an elevator controller, this paper presents an approach that can translate given UML descriptions into a Coloured Petri Net (CPN) model. The UML...
Business Modeling in Process-Oriented Organizations for RUP-based Software Development (2008)
Francisco J. Duarte, João M. Fern, Ricardo J. Machado
Several organizations are nowadays not particularly comfortable with their internal structuring based on a hierarchical arrangement (sub-divided in departments), where collaborators with a limited...
OF PETRI NET BASED MODELS From Parallel Controllers to HW/SW Codesign (2008)
Ricardo J. Machado, João M. Fern, António J. Esteves, Henrique D
of Aveiro. Since 1995, he is working on his PhD thesis on Digital Systems. He has been a researcher in INESC-Aveiro. His research interests focus on hardware/software partitioning and high-level...
João M. Fern, Simon Tjell, Jens Bæk Jørgensen
Abstract. The contribution of this paper is to present a model-based approach to requirements engineering for reactive systems, and more specifically to controllers. The approach suggests the...
From Use Cases to Objects: An Industrial Information Systems Case Study Analysis (2008)
João M. Fern, Ricardo J. Machado, Dep Informática
Identifying the objects that constitute a software system is a critical task for any object-oriented system development and several techniques have already been introduced to tackle this problem....
A Multi-level Design Pattern for Embedded Sofware * (2008)
Ricardo J. Machado, João M. Fern
Abstract: It is a common practice amongst programmers to construct parts of software programs by imitating parts of programs constructed by more experienced professionals. This “learn by example...
Using a case study on the specification of an elevator controller, this paper presents an approach that can translate given UML descriptions into a Coloured Petri Net (CPN) model. The UML...
Using RUP for Process-Oriented Organisations ⋆ (2008)
João M. Fern, Francisco J. Duarte
Abstract. In this paper, based on a proposal of a reference framework for processoriented software development organisations, we discuss some issues related to the usage of the RUP’s disciplines as...
Translating Synchronous Petri Nets into PROMELA for Verifying Behavioural Properties (2008)
Óscar R. Ribeiro, João M. Fern
Abstract — For developing embedded systems, the design process may benefit in some contexts from the usage of formal methods, namely to find critical errors and flaws, before final design and...
Can UML be a System-Level Language for Embedded Software? * (2008)
João M. Fern, Ricardo J. Machado
Abstract: The main purpose of this paper is to discuss if the Unified Modeling Language (UML) can be used as a system-level language (SLL) for specifying embedded systems, in co-design environments....
Business Modeling in Process-Oriented Organizations for RUP-based Software Development (2008)
Francisco J. Duarte, João M. Fern, Ricardo J. Machado
Several organizations are nowadays not particularly comfortable with their internal structuring based on a hierarchical arrangement (sub-divided in departments), where collaborators with a limited...
João M. Fern, Ricardo J. Machado, Paula Monteiro, Helena Rodrigues
Abstract: This paper presents a demonstration case on the successive application of a model-based technique to assist on the refinement of software logical architectures. The technique is essentially...
� Departamento de Sistemas de Informação (2007)
Ricardo J. Machado, João M. Fern, Henrique D. Santos, Escola Engenharia
Abstract: This paper defines a system-level hardware/software co-design approach to the development of real-time applications, which allows the implementation of industrial control-based information...
Abstract The main aim of this article is to discuss how the functional and the object-oriented views can be inter-played to represent the various modeling perspectives of embedded systems. We discuss...
Towards a catalogue of refactorings and code smells for AspectJ (2006)
Miguel P. Monteiro, João M. Fern
Abstract. In this paper, we contribute to the characterisation of a programming style specific to aspect-oriented programming. For this purpose, we present a collection of refactorings for...
Some Rules to Transform Sequence Diagrams into Coloured Petri Nets (2006)
Óscar R. Ribeiro, João M. Fern
Abstract. This paper presents a set of rules that allows software engineers to transform the behavior described by a UML 2.0 Sequence Diagram (SD) into a Colored Petri Net (CPN). SDs in UML 2.0 are...
The search for aspectoriented refactorings must go on (2005)
Miguel P. Monteiro, João M. Fern
Abstract. In this paper, we argue that current research in aspect-oriented refactoring can benefit from specific efforts to develop a new coding style appropriate for aspect-orientation. This notion...
J.M.: Integration of embedded software with corporate information systems (2005)
Ricardo J. Machado, João M. Fern
Abstract: This paper describes a methodology and corresponding tools to support the development of information systems, by integrating and interconnecting a network of embedded devices, that...
Refactoring a Java code base to AspectJ: An illustrative example (2005)
Miguel P. Monteiro, João M. Fern
This paper describes a refactoring process transforming a Java code base into an AspectJ equivalent. The process illustrates 17 aspect-oriented refactorings covering extraction of implementation...
Tool support for DFD to UML model-based transformations (2003)
Dragos Truscan, João M. Fern, Es Johan Lilius
This paper presents a model-based approach that combines the data-flow and object-oriented computing paradigms to model embedded systems. The rationale behind the approach is that both views are...
A Reference Model for Process-Oriented Software Development Organizations (2003)
João M. Fern, Francisco J. Duarte
Abstract. In this paper, a proposal of a generic model for process-oriented software development organizations is presented. Additionally, the respective way of managing the process model, and the...
Heterogeneous Information Systems Integration: Organizations and Tools (2002)
Ricardo J. Machado, João M. Fern
Abstract. In this paper, a methodology for integrating heterogeneous industrial information systems is presented. The methodology is strongly based on the extensive reuse of already-made components...
A Methodology for Complex Embedded Systems Design: Petri Nets within a UML Approach (2001)
Ricardo J. Machado, João M. Fern, Henrique D. Santos
This paper focus mainly on the analysis phase, describing a UML-based approach for designing complex embedded systems, and specifically the usefulness of using shobi-PN v2.0 specifications, a Petri...