Home

PhD thesis

Selected publications

L. Ferreira Pires

Papers
Master thesis

Papers

2006

Dockhorn Costa, P. and Andrade Almeida, J.P. and Ferreira Pires, L. and Guizzardi, G. and van Sinderen, M.J. (2006) Towards Conceptual Foundations for Context-Aware Applications. In: Modeling and Retrieval of Context. Papers from the 2006 AAAI Workshop, 16–17 July 2006, Boston, Massachusetts. pp. 54-58. AAAI Technical Report WS-06-12. AAAI Press. ISBN 978-1-57735-294-5

Andrade Almeida, J.P. and Ferreira Pires, L. and van Sinderen, M.J. (2006) Abstract Platform and Transformations for Model-Driven Service-Oriented Development. In: Proceedings of the 2nd International Workshop on Model-Driven Enterprise Information Systems MDEIS 2006, 23 May 2006, Paphos, Cyprus. pp. 49-63. INSTICC. ISBN 972-8865-56-6

Dockhorn Costa, P. and Ferreira Pires, L. and van Sinderen, M.J. and Broens, T.H.F. (2006) Controlling services in a mobile context-aware infrastructure. In: Proceedings of the Second Workshop on Context Awareness for Proactive Systems, CAPS 2006, 12-13 Jun 2006, Kassel, Germany. pp. 153-166. Kassel University Press. ISBN 3 89958 210 1

2005

João Paulo A. Almeida, Remco Dijkman, Luís Ferreira Pires, Dick Quartel, Marten van Sinderen. Abstract Interactions and Interaction Refinement in Model-Driven Design. Proceedings Ninth IEEE EDOC Conference (EDOC 2005), IEEE Computer Society Press, Sept. 2005, pp. 273-286.

João Paulo A. Almeida, Luís Ferreira Pires and Marten van Sinderen. Dependencies between Models in the Model-driven Design of Distributed Applications. Proceedings of WSMDEIS 2005 - Joint Workshop on Web Services and Model-Driven Enterprise Information Systems (at ICEIS 2005), May 2005, pp. 95-109.

P. Dockhorn Costa, L. Ferreira Pires, and M. van Sinderen. Architectural Support for Mobile Context-Aware Applications (Chapter XXXI). In: Handbook of Research on Mobile Multimedia, Idea Group Inc., 2006, pp. 456-475.

Dockhorn Costa, P., Ferreira Pires, L., van Sinderen, M. Architectural Patterns for Context-Aware Services Platforms. In: Proc. of the Second International Workshop on Ubiquitous Computing (IWUC 2005), Miami, May 2005.

Dockhorn Costa, P., Ferreira Pires, L., van Sinderen, M. Designing a Configurable Services Platform for Mobile Context-Aware Applications. International Journal of Pervasive Computing and Communications (JPCC), March 2005.

Cléver R. G. de Farias, Carlos E. Gonçalves, Marta C. Rosatelli, Luís Ferreira Pires, Marten van Sinderen. An Architectural Model for Component Groupware. In: Hugo Fuks, Stephan Lukosch, Ana Carolina Salgado (Eds.): Groupware: Design, Implementation, and Use, 11th International Workshop, CRIWG 2005, Porto de Galinhas, Brazil, September 25-29, 2005, Proceedings. Lecture Notes in Computer Science 3706 Springer 2005, ISBN 3-540-29110-5.

Marten van Sinderen, João Paulo Andrade Almeida, Luís Ferreira Pires, Dick Quartel. Designing enterprise applications using model-driven service-oriented architectures. Chapter in Enterprise Service Computing (to appear).

Guizzardi, G., Ferreira Pires, L., van Sinderen, M. An Ontology-Based Approach for Evaluating the Domain Appropriateness and Comprehensibility Appropriateness of Modeling Languages. In: Proceedings of the CM/IEEE 8th International Conference on Model Driven Engineering Languages and Systems, Montego Bay, Jamaica, 2005, Lecture Notes in Computer Science LNCS 3713, Springer-Verlag.

Guizzardi, G.; Ferreira Pires, L.; van Sinderen, M. Ontology-Based Evaluation and Design of Domain-Specific Visual Modeling Languages. Proceedings of the 14th International Conference on Information Systems Development, Karlstad, Sweden, 2005.

J.P.A. Almeida, M. van Sinderen, D.A.C. Quartel, and L. Ferreira Pires. Designing Interaction Systems for Distributed Applications, IEEE Distributed Systems Online, vol. 6, no. 3, 2005.

2004

P. Dockhorn Costa, L. Ferreira Pires, M. van Sinderen, D. Rios, Services Platforms for Context-Aware Applications. In European Symposium on Ambient Intelligence, Lecture Notes of Computer Science (Eds: Markopoulos ), Springer, 2004.

J.P.A. Almeida, L. Ferreira Pires and M. van Sinderen. Costs and Benefits of Multiple Levels of Models in MDA Development, in Proceedings of the 2nd European Workshop on Model-Driven Architecture with Emphasis on Methodologies and Transformations, Technical Report No. 17-04, Computing Laboratory, University of Kent, Canterbury, UK, Sept. 2004, pp. 12-20.

A. Gavras, L. Ferreira Pires, J.P.A. Almeida. Platform Considerations with the Model Driven Architecture, in Proceedings of TIMNA 2004, TIMNA 2004, Telecommunications Information Multi-Management Networking Architecture, Beijing, China, 28-29 October 2004.

J.P.A. Almeida, M.J. van Sinderen, L. Ferreira Pires. The role of RM-ODP computational viewpoint concepts in the MDA approach. Workshop on ODP for Enterprise Computing WODPEC 2004 (2004, september 20 / 2004, september 20). (pp. 28-35) Malaga University of Malaga, ETSI Informatica ISBN: 84-688-8046-9.

R.M. Dijkman, D.A.C. Quartel, L. Ferreira Pires, M.J. van Sinderen, A Rigorous Approach to Relate Enterprise and Computational Viewpoints. Proceedings of the Eighth IEEE Enterprise Distributed Object Conference (EDOC) EDOC 2004 (2004, september 20 / 2004, september 24). (pp. 187-200) Los Alamitos, CA, USA IEEE CS Press ISBN: 0-7695-2214-9.

J.P.A. Almeida, R. Dijkman, M. van Sinderen, L. Ferreira Pires.  Platform-independent modelling in MDA: supporting abstract platforms. In Proceedings Model-Driven Architecture: Foundations and Applications 2004 (MDAFA 2004), (Eds: Assmann U.), Linkoping University, 2004, pp. 219-233.

A. Gavras, M. Belaunde, L. Ferreira Pires, J.P.A. Almeida. Towards an MDA-based development methodology. In Software Architecture: First European Workshop, EWSA 2004, Lecture Notes in Computer Science nr. 3047 (Eds: Oquendo F., Warboys B. and Morrison R), Springer-Verlag, 2004, ISBN: 3-540-22000-3, ISSN: 0302-9743, pp. 230-240.

J.P.A. Almeida, M. van Sinderen, L. Ferreira Pires, M. Wegdam. Platform-independent dynamic reconfiguration of distributed applications. In Proceedings IEEE 10th International Workshop on Future Trends in Distributed Computing Systems - FTDCS 2004, (Eds: Kawada S.), IEEE Computer Society Press, 2004, pp. 286-291.

J.P.A. Almeida, M. van Sinderen, L. Ferreira Pires. The role of the RM-ODP Computational Viewpoint Concepts in the MDA approach. In Proceedings of the 1st European Workshop on Model-Driven Architecture with Emphasis on Industrial Applications (MDA-IA 2004), CTIT Technical Report nr. TR-CTIT-04-12 (Eds: Sinderen M.J van and Ferreira Pires L.), Centre for Telematics and Information Technology, 2004, ISSN: 1381-3625, pp. 43-51.

A. Gavras, M. Belaunde, L. Ferreira Pires, J.P.A. Almeida. Towards an MDA-based development methodology for distributed applications. In Proceedings of the 1st European Workshop on Model-Driven Architecture with Emphasis on Industrial Applications (MDA-IA 2004), CTIT Technical Report nr. TR-CTIT-04-12 (Eds: Sinderen M.J van and Ferreira Pires L.), Centre for Telematics and Information Technology, 2004, ISSN: 1381-3625, pp. 91-96.

P. Dockhorn Costa, L. Ferreira Pires, M. van Sinderen, J.G. Pereira Filho. Towards a Services Platform for Mobile Context-Aware Applications. In Proceedings of the First International Workshop on Ubiquitous Computing - IWUC 2004, (Eds: Mostefaoui, Maarmar and Rana).

L. Ferreira Pires, M. van Sinderen, C. Ricardo Guareis de Farias, J.P.A. Almeida. Use of Models and Modelling Techniques for Service Development. In Digital Communities in a Networked Society: e-Commerce, e-Business and e-Government, (Eds: Mendes M.J., Suomi R. and Passos C.), Kluwer Academic Publishers, 2004, ISBN: 1-4020-7795-5, pp. 441-456.

2003

D. Rios, P. Dockhorn Costa, G. Guizzardi, L. Ferreira Pires, J. Goncalves Filho, M. van Sinderen. Using ontologies for modeling context-aware services platforms. OOPSLA 2003 Workshop on Ontologies to Complement Software Architectures, Anaheim, CA, USA, October 26-30, 2003.

J.P.A. Almeida, M.J. van Sinderen, L. Ferreira Pires and D.A.C. Quartel. The role of the service concept in model-driven applications development. Proceedings of the Workshop on Model-driven Approaches to Middleware Applications Development (MAMAD) 2003 at the ACM/IFIP/USENIX International MIDDLEWARE Conference 2003, Rio de Janeiro, Brazil, June 2003, to appear.

2002

S. Joosten and L. Ferreira Pires. Tools en technieken. Informatie. November 2002. (in Dutch)

J. Morales, L. Ferreira Pires and M. van Sinderen. Model-driven geo-information systems development. In Proceedings of the 6th Enterprise Distributed Objects Computing Conference (EDOC'2002).

D. Quartel, L. Ferreira Pires and M. van Sinderen. On architectural support for behaviour refinement in distributed systems design. Journal of Integrated Design and Process Science 6(1), March 2002.

G. Guizzardi, L. Ferreira Pires and M.J. van Sinderen On the role of domain ontologies in the design of domain-specific visual modeling languages. In 2nd Workshop on Domain-Specific Visual Languages, 17th ACM Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA 2002). Seattle, Washington, USA, 2002.

R.M. Dijkman, D.A.C. Quartel, L. Ferreira Pires, and M.J. van Sinderen. Semantic verification of behavior conformance. In H. Kilov, and K. Baclawski (eds.). Proceedings of the 11th OOPSLA Workshop on Behavioral Semantics – Serving the Customer. SeattleWashington, USA, pp. 43-54, 2002.

R.M. Dijkman, D.A.C. Quartel, L. Ferreira Pires, and M.J. van Sinderen. A design-for-change approach: developing distributed applications from enterprise models. CTIT Technical Report 02-22, University of Twente, Enschede, the Netherlands, 2002.

2001

Remco M. Dijkman, Luís Ferreira Pires and Stef M.M. Joosten. Calculating with Concepts: a technique for the development of business process support. To appear in Workshop on Practical UML-Based Rigorous Development Methods -- Countering or Integrating the eXtremists, held in the scope of <<UML>>2001- Modeling Languages, Concepts and Tools. October 1-5, 2001, Toronto, Ontario, Canada.

C. R. Guareis de Farias, L. Ferreira Pires, M. van Sinderen and D. Quartel. A combined component-based approach for the design of distributed software systems. To appear in The 8th IEEE Workshop on Future Trends of Distributed Computing Systems (FTDCS'2001), Bologna, Italy, October 31-November 2, 2001.

C. R. Guareis de Farias, M. van Sinderen, L. Ferreira Pires and D. Quartel. A combined approach for component-based software design. Accepted as poster paper in the 3rd International Symposium on Distributed Objects and Applications (DOA'01), Rome, Italy, September 17-20, 2001.

C.R. Guareis de Farias, L. Ferreira Pires, W. Lopes de Souza and C. Estevan Moron. Specification and validation of a real-time parallel kernel using LOTOS. To appear in Proceedings of the Ninth International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS 2001), Cincinatti, USA, August 2001.

João Paulo A. Almeida, Maarten Wegdam, Luís Ferreira Pires and Marten van Sinderen. An approach to dynamic reconfiguration of distributed systems based on object-middleware. In Electronic Proceedings of the 'XIX Simpósio Brasileiro de Redes de Computadores' (SBRC 2001), Florianópolis, Brazil, May 2001.

Luís Ferreira Pires and Cléver Ricardo Guareis de Farias. AMBER: uma linguagem para o desenvolvimento de sistemas distribuídos (in Portuguese). In Electronic Proceedings of the 'XIX Simpósio Brasileiro de Redes de Computadores' (SBRC 2001), Florianópolis, Brazil, pp. 82-97, May 2001.

2000

Cléver Ricardo Guareis de Farias, Luís Ferreira Pires and Marten van Sinderen. A conceptual model for the development of CSCW systems. In Designing Cooperative Systems: the Use of Theories and Models, Proceedings of the 5th International Conference on the Design of Cooperative Systems (COOP'2000), Sophia Antipolis (France), pp. 189-204, May/2000.

Cléver Ricardo Guareis de Farias, Marten van Sinderen and Luís Ferreira Pires. A systematic approach for component-based software development. In Proceedings of the Seventh European Concurrent Engineering Conference (ECEC'2000), Leicester (United Kingdom), pp. 127-131, April/2000.

1999

Ciro de Barros Barbosa and and Luís Ferreira Pires. Developing frameworks for protocol implementation. In Proceedings of the International Conference on Software in Telecommunications and Computer Networks (IEEE SoftCOM’99), Split, Croatia, 1999.

1998

Marten van Sinderen and Luís Ferreira Pires. The application of TINA in the MESH project. In Proceedings of the 5th International Workshop on Interactive Distributed Multimedia Systems and Telecommunication Services (IDMS'98), 8-11 September 1998, Oslo, Norway. See also extended version.

Ciro de Barros Barbosa, Luís Ferreira Pires and Marten van Sinderen. Frameworks for protocol implementation. In Proceedings of the 16th Brazilian Simposium on Computer Networks (SBRC'98), 25-28 May 1998, Rio de Janeiro, Brazil.

1997

Marten van Sinderen and Luís Ferreira Pires. Protocols versus objects: can models for telecommunications and distributed processing coexist? In Proceedings of the Sixth IEEE Computer Society Workshop on Future Trends of Distributed Computing Systems.

1996

H.M. Franken, M.K. de Weger, D.A.C. Quartel, and L. Ferreira Pires. On engineering support for business process modelling and redesign. In Proceedings of the International Workshop on Modelling Techniques, Business Process Re-Engineering and Benchmarking, pages 81­98, Bordeaux, France, April 1996.

Rinke Tersptra, Luís Ferreira Pires, Lex Heerink, and Jan Tretmans. Testing theory in practice: a simple experiment. In Proceedings of the COST 247 International Workshop on Applied Formal Methods in System Design, Maribor, Slovenia, June 1996.

Marten van Sinderen, Phil Chimento, and Luís Ferreira Pires. Design of a shared whiteboard component for multimedia conferencing. In A. Azcorra, T. De Miguel, E. Pastor, and E. Vásquez, editors, Protocols for Multimedia Systems, pages 1­15, Madrid, Spain, October 1996. Universidad Politécnica de Madrid, ETSI Telecomunicación.

Dick A.C. Quartel, Luís Ferreira Pires, Marten J. van Sinderen, Henry M. Franken, and Chris A. Vissers. On the role of basic design concepts in behaviour structuring. Computer Networks and ISDN Systems 29 (1997) 413-436.

1995

Luís Ferreira Pires and Jeroen Schot. Design and implementation strategies. In Tommaso Bolognesi, Ed Brinksma, and Chris A. Vissers, editors, LOTOSphere: software development with LOTOS, chapter 3, pages 59­85. Kluwer Academic Publishers, the Netherlands, 1995.

Dick A. C. Quartel, Luís Ferreira Pires, Henry M. Franken, and Chris A. Vissers. An engineering approach towards action refinement. In Proceedings of the Fifth IEEE Computer Society Workshop on Future Trends of Distributed Computing Systems, pages 266­273, Los Alamitos, California, 1995. IEEE Computer Society Press.

Chris A. Vissers, Luís Ferreira Pires, and Jeroen van de Lagemaat. Lotosphere, an attempt towards a design culture. In Tommaso Bolognesi, Jeroen van de Lagemaat, and Chris A. Vissers, editors, LOTOSphere: software development with LOTOS, chapter 1, pages 3­28. Kluwer Academic Publishers, The Netherlands, 1995.

Marten van Sinderen, Luís Ferreira Pires, Chris A. Vissers, and Joost-Pieter Katoen. A design model for open distributed processing systems. Computer Networks and ISDN Systems 27 (1995) 1263­1285.

1994

Marten van Sinderen, Luís Ferreira Pires, and Chris A. Vissers. Design concepts for open distributed systems. In Open Distributed Processing II, pages 369­371. North-Holland, 1994.

1993

Luís Ferreira Pires, Marten van Sinderen, and Chris A. Vissers. Advanced design concepts for distributed systems development. In Proceedings of the Fourth Workshop on Future Trends of Distributed Computing Systems, pages 419­425, Los Alamitos, USA, September 1993. IEEE Computer Society Press.

Luís Ferreira Pires, Chris A. Vissers, and Marten van Sinderen. Advances in architectural concepts to support distributed systems design. In 11o Simpósio Brasileiro de Redes de Computadores. Tutoriais e Minicursos, Campinas, Brazil, 1993. Departamento de Engenharia de Computacão. Faculdade de Engenharia Elétrica. Universidade Estadual de Campinas. also available as: Memorandum Informatica 93-17 (TIOS 93-09), University of Twente, Enschede, the Netherlands.

Chris A. Vissers, Marten van Sinderen, and Luís Ferreira Pires. What makes industries believe in formal methods. In André Danthine, Guy Leduc, and Pierre Wolper, editors, Protocol Specification, Testing, and Verification, XIII, pages 3­26, the Netherlands, 1993. Elsevier Science Publishers B.V. (North-Holland).

1992

Luís Ferreira Pires, Marten van Sinderen, and Chris A. Vissers. On the use of pre-defined implementation constructs in distributed systems design. In Proceedings of the Third Workshop on Future Trends of Distributed Computing Systems, pages 114­120, Los Alamitos, California, 1992. IEEE Computer Society Press.

Marten van Sinderen, Luís Ferreira Pires, and Chris A. Vissers. Protocol design and implementation using formal methods. The Computer Journal, 35(5):478­491, October 1992.

1988-1991

Kees Bogaards, Luís Ferreira Pires, Aiko Pras, and Jeroen Schot. The Pangloss method. In Esprit '88, Putting the Technology to Use (Part 2), pages 1175­1193, Amsterdam, 1988. Commission of the European Communities, North-Holland.

Luís Ferreira Pires. On the use of LOTOS to support the design of a connection-oriented internetting protocol. In Esprit'89 Conference Proceedings, pages 957­970, Dordrecht, the Netherlands, 1989. Commission of the European Communities, Kluwer Academic Publishers.

Luís Ferreira Pires and Chris A. Vissers. Overview of the Lotosphere design methodology. In Commission of the European Communities, editor, ESPRIT 1990, Conference Proceedings, pages 371­387, Netherlands, 1990. Kluwer Academic Publishers.

Chris A. Vissers, Jeroen van de Lagemaat, and Luís Ferreira Pires. Formal description techniques for distributed computing systems: the challenges for the 1990's. In Future Trends 90's, Second IEEE Workshop on Future Trends of Distributed Computer Systems, pages 465­471. IEEE Computer Society Press, 1990.

Wanderley Lopes de Souza and Luís Ferreira Pires. Projetos de sistemas através de refinamentos sucessivos utilizando a TDF LOTOS. In Anais 9o. Simpósio Brasileiro de Redes de Computadores, pages 295­312, Brazil, 1991.

Luís Ferreira Pires and Wanderley Lopes de Souza. Step-wise refinement design example using LOTOS. In J. Quemada, J. Ma nas, and E. Vazquez, editors, Formal Description Techniques, III, pages 255­262, The Netherlands, 1991. Elsevier Science Publisher B.V. (North-Holland).

Luís Ferreira Pires and Jeroen Schot. Systematic design of a network gateway using the FDT LOTOS. In IEEE Infocom'91, volume 3, pages 1344­1352. IEEE Communications Society, 1991.

Marten van Sinderen and Luís Ferreira Pires. FDT-based protocol design. In W. Komorowski, editor, Computer Networks '91, pages 161­168, Wroclaw, Poland, 1991. Wydawnictwo Politechniki Wroclawskiej.

PhD Thesis

Luís Ferreira Pires. Architectural Notes: a Framework for Distributed Systems Development.  PhD Thesis (with summary in Dutch). University of Twente. Enschede, the Netherlands, 1994.

Master Thesis

Luís Ferreira Pires. Projeto de Protocolos de Inter-rede com o uso da Técnica de Especificação Formal LOTOS - Especificações de Sistemas Intermediários com e sem conexão. Master Thesis (in Portuguese). Escola Politécnica da Universidade de São Paulo. São Paulo, Brazil. December 1989.

Book participation

Ken J. Turner (ed.). Using Formal Description Techniques - An introduction to Estelle, LOTOS and SDL. John Wiley & Sons. Great-Britain, 1993.

Dockhorn Costa, P. and Ferreira Pires, L. and van Sinderen, M.J. (2006) Architectural support for mobile context-aware applications. In: Handbook of research on mobile multimedia. Idea Group Publishing, Hershey, pp. 456-475. ISBN 1-59140-866-0
 

Proceedings

Ferreira Pires, L. and Hammoudi, S., ed. (2006) Proceedings of the 2nd International Workshop on Model-Driven Enterprise Information Systems MDEIS 2006. INSTICC Press, Portugal. ISBN 972-8865-56-6

Andrade Almeida, J.P. and Ferreira Pires, L. and van Sinderen, M.J. (2006) Proceedings of the European Workshop on Milestones, Models and Mappings for Model-Driven Architecture (3M4MDA). CTIT Workshop Proceedings Series WP06-02 Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1574-0846