Luís Ferreira Pires

Virginia Graciano Martinez

J. Braz. Comput. Soc., 2021

A Framework for Staging Personal Health Trains in the Cloud.

[BibT_eX]

[DOI]

Renata Guizzardi-Silva Souza

João Luiz Rebelo Moreira

Proceedings of the 17th International Conference on Web Information Systems and Technologies, 2021

Towards Semantic Description of Explainable Machine Learning Workflows.

[BibT_eX]

[DOI]

Patricia Inoue Nakagawa

João Luiz Rebelo Moreira

Proceedings of the 25th International Enterprise Distributed Object Computing Workshop, 2021

2020

GO FAIR Brazil: A Challenge for Brazilian Data Science.

[BibT_eX]

[DOI]

Data Intell., 2020

SAREF4health: Towards IoT standard-based ontology-driven cardiac e-health systems.

[BibT_eX]

[DOI]

Appl. Ontology, 2020

2019

SEMIoTICS: Semantic Model-Driven Development for IoT Interoperability of Emergency Services.

[BibT_eX]

[DOI]

Marten J. van Sinderen

Proceedings of the 16th International Conference on Information Systems for Crisis Response and Management, 2019

2018

Improving the Semantic Interoperability of IoT Early Warning Systems: The Port of Valencia Use Case.

[BibT_eX]

[DOI]

Miguel Llop

Proceedings of the Enterprise Interoperability VIII: Smart Services and Business Impact of Enterprise Interoperability, 2018

SAREF4health: IoT Standard-Based Ontology-Driven Healthcare Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Ontology in Information Systems, 2018

2017

SemanticSCo: A platform to support the semantic composition of services for gene expression analysis.

[BibT_eX]

[DOI]

Gabriela D. A. Guardia

J. Biomed. Informatics, 2017

Ontology-Driven Conceptual Modeling for Early Warning Systems: Redesigning the Situation Modeling Language.

[BibT_eX]

[DOI]

Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017

Combining Behaviour-Driven Development with Scrum for Software Development in the Education Domain.

[BibT_eX]

[DOI]

Pedro Lopes de Souza

Sissi Marilia dos Santos Forghieri Pereira

Glaucia Melissa Medeiros Campos

Proceedings of the ICEIS 2017, 2017

Towards IoT Platforms' Integration Semantic Translations between W3C SSN and ETSI SAREF.

[BibT_eX]

[DOI]

Katarzyna Wasielewska

Proceedings of the Joint Proceedings of SEMANTiCS 2017 Workshops co-located with the 13th International Conference on Semantic Systems (SEMANTiCS 2017), 2017

Adaptive Service Composition Based on Runtime Verification of Formal Properties.

[BibT_eX]

[DOI]

Nelson Souto Rosa

Proceedings of the 50th Hawaii International Conference on System Sciences, 2017

2016

Corrigendum to "A commitment-based reference ontology for services" [IS 54C (2015) 263-288].

[BibT_eX]

[DOI]

Marten J. van Sinderen

Nicola Guarino

Claudenir Morais Fonseca

Inf. Syst., 2016

A methodology based on openEHR archetypes and software agents for developing e-health applications reusing legacy systems.

[BibT_eX]

[DOI]

Comput. Methods Programs Biomed., 2016

Service Commitments and Capabilities across the ArchiMate Architectural Layers.

[BibT_eX]

[DOI]

Maiara Candido Pereira

Proceedings of the 20th IEEE International Enterprise Distributed Object Computing Workshop, 2016

Architectural Design - Conception and Specification of Interactive Systems

[BibT_eX]

[DOI]

Springer, ISBN: 978-3-319-43298-4, 2016

2015

A commitment-based reference ontology for services.

[BibT_eX]

[DOI]

Claudenir Morais Fonseca

Inf. Syst., 2015

Modeling resources and capabilities in enterprise architecture: A well-founded ontology-based proposal for ArchiMate.

[BibT_eX]

[DOI]

Inf. Syst., 2015

Towards ontology-driven situation-aware disaster management.

[BibT_eX]

[DOI]

Appl. Ontology, 2015

Developing Situation-Aware Applications for Disaster Management with a Distributed Rule-Based platform.

[BibT_eX]

[DOI]

Proceedings of the RuleML 2015 Challenge, 2015

An Approach to Business Process Recovery from Source Code.

[BibT_eX]

[DOI]

Luiz A. Pacini Rabelo

Proceedings of the 12th International Conference on Information Technology, 2015

Towards Capturing Strategic Planning in EA.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE International Enterprise Distributed Object Computing Conference, 2015

Aligning Enterprise Architecture with Strategic Planning.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering Workshops, 2015

Workflow-Based Service Selection under Multi-constraints.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE International Conference on Services Computing, 2015

Predicting Service Composition Costs with Complex Cost Behavior.

[BibT_eX]

[DOI]

Robson W. A. Medeiros

Nelson S. Rosa

Proceedings of the 2015 IEEE International Conference on Services Computing, 2015

2014

A Transformation-Based Approach to Business Process Management in the Cloud.

[BibT_eX]

[DOI]

Evert Ferdinand Duipmans

Robson Wagner Albuquerque de Medeiros

J. Grid Comput., 2014

A Survey of Cost Accounting in Service-Oriented Computing.

[BibT_eX]

[DOI]

Nelson Souto Rosa

Glaucia Melissa Medeiros Campos

Proceedings of the 2014 IEEE World Congress on Services, 2014

A collaborative processes synchronization method with regards to system crashes and network failures.

[BibT_eX]

[DOI]

Proceedings of the Symposium on Applied Computing, 2014

Message from the 3M4SE 2014 Workshop Chairs.

[BibT_eX]

[DOI]

Proceedings of the 18th IEEE International Enterprise Distributed Object Computing Conference Workshops and Demonstrations, 2014

An approach to the decomposition of business processes for execution in the Cloud.

[BibT_eX]

[DOI]

Lucas Venezian Povoa

Proceedings of the 11th IEEE/ACS International Conference on Computer Systems and Applications, 2014

A metamodel for modeling cost behavior in service composition.

[BibT_eX]

[DOI]

Robson W. A. Medeiros

Nelson S. Rosa

Glaucia Melissa Medeiros Campos

Proceedings of the 11th IEEE/ACS International Conference on Computer Systems and Applications, 2014

A Survey of Formalization Approaches to Service Composition.

[BibT_eX]

[DOI]

Nelson Souto Rosa

Proceedings of the IEEE International Conference on Services Computing, SCC 2014, Anchorage, AK, USA, June 27, 2014

2013

Using the Dual-Level Modeling Approach to Developing Applications in the Pervasive Healthcare Environment.

[BibT_eX]

[DOI]

J. Mobile Multimedia, 2013

Robust collaborative process interactions under system crash and network failures.

[BibT_eX]

[DOI]

Lei Wang

Andreas Wombacher

Marten J. van Sinderen

Chi-Hung Chi

Int. J. Bus. Process. Integr. Manag., 2013

Model-driven approach to enterprise interoperability at the technical service level.

[BibT_eX]

[DOI]

Comput. Ind., 2013

An Approach to Business Processes Decomposition for Cloud Deployment.

[BibT_eX]

[DOI]

Lucas Venezian Povoa

Evert F. Duipmans

Proceedings of the 27th Brazilian Symposium on Software Engineering, 2013

An Approach for Message Exchange Using Archetypes.

[BibT_eX]

[DOI]

Proceedings of the MEDINFO 2013, 2013

An Architecture for Health Information Exchange in Pervasive Healthcare Environment.

[BibT_eX]

[DOI]

Proceedings of the Enterprise Information Systems - 15th International Conference, 2013

Towards a Reusable Architecture for Message Exchange in Pervasive Healthcare.

[BibT_eX]

Proceedings of the ICEIS 2013, 2013

A Novel Approach to Developing Applications in the Pervasive Healthcare Environment through the Use of Archetypes.

[BibT_eX]

[DOI]

Proceedings of the Computational Science and Its Applications - ICCSA 2013, 2013

Preface to the Fourth International Workshop on Models and Model-Driven Methods for Service Engineering - 3M4SE 2013.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE International Enterprise Distributed Object Computing Conference Workshops, 2013

Towards a Commitment-Based Reference Ontology for Services.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE International Enterprise Distributed Object Computing Conference, 2013

An Ontology-Based Well-Founded Proposal for Modeling Resources and Capabilities in ArchiMate.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE International Enterprise Distributed Object Computing Conference, 2013

Semantic interoperability in sensor applications making sense of sensor data.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE Symposium on Computational Intelligence in Healthcare and e-health, 2013

A Quantitative Analysis of Model-Driven Code Generation through Software Experimentation.

[BibT_eX]

[DOI]

Paulo Eduardo Papotti

Carlos Eduardo Cirilo

Proceedings of the Advanced Information Systems Engineering, 2013

Message generation facilities for interoperability in pervasive healthcare environments.

[BibT_eX]

[DOI]

Proceedings of the 19th Americas Conference on Information Systems, 2013

A novel architecture for message exchange in Pervasive Healthcare based on the use of Intelligent Agents.

[BibT_eX]

[DOI]

Proceedings of the ACS International Conference on Computer Systems and Applications, 2013

Robust Client/Server Shared State Interactions of Collaborative Process with System Crash and Network Failures.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE International Conference on Services Computing, Santa Clara, CA, USA, June 28, 2013

2012

An Illustrative Recovery Approach for Stateful Interaction Failure of Orchestrated Processes.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE International Enterprise Distributed Object Computing Conference Workshops, 2012

A State Synchronization Mechanism for Orchestrated Processes.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE International Enterprise Distributed Object Computing Conference, 2012

A-DynamiCoS: A Flexible Framework for User-centric Service Composition.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE International Enterprise Distributed Object Computing Conference, 2012

Towards a BPM Cloud Architecture with Data and Activity Distribution.

[BibT_eX]

[DOI]

Evert F. Duipmans

Proceedings of the 16th IEEE International Enterprise Distributed Object Computing Conference Workshops, 2012

2011

Towards a Conceptual Framework to Support Dynamic Service Provisioning for Non-Technical Service Clients.

[BibT_eX]

[DOI]

J. Softw., 2011

Towards runtime discovery, selection and composition of semantic services.

[BibT_eX]

[DOI]

Comput. Commun., 2011

WSCDL to WSBPEL: a Case Study of ATL-based Transformation.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Workshop on Model Transformation with ATL, 2011

Model-Driven Development of Service Compositions for Enterprise Interoperability.

[BibT_eX]

[DOI]

Proceedings of the Enterprise Interoperability, 2011

Performance in Model Transformations: Experiments with ATL and QVT.

[BibT_eX]

[DOI]

Proceedings of the Theory and Practice of Model Transformations, 2011

Message from the 3M4SE 2011 Chairs.

[BibT_eX]

[DOI]

Proceedings of the Workshops Proceedings of the 15th IEEE International Enterprise Distributed Object Computing Conference, 2011

2010

An Analysis of Service Ontologies.

[BibT_eX]

[DOI]

Pac. Asia J. Assoc. Inf. Syst., 2010

Business Intelligence and Service-oriented Architecture: A Delphi Study.

[BibT_eX]

[DOI]

Roland M. Müller

Sefan Linders

Inf. Syst. Manag., 2010

Service Registry Design: An Information Service Approach.

[BibT_eX]

[DOI]

Arjen van Oostrum

Fons Wijnhoven

Int. J. Inf. Syst. Serv. Sect., 2010

An Approach to Dynamic Provisioning of Social and Computational Services.

[BibT_eX]

[DOI]

Proceedings of the 6th World Congress on Services, 2010

On the Design of User-Centric Supporting Service Composition Environments.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Conference on Information Technology: New Generations, 2010

Service Provisioning Support for Non-technical Service Clients.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Conference on Information Technology: New Generations, 2010

Towards a Unifying Process Framework for Services Knowledge Management.

[BibT_eX]

[DOI]

Proceedings of the Exploring Services Science - First International Conference, 2010

Stakeholder Interactions to Support Service Creation in Cloud Computing.

[BibT_eX]

[DOI]

Proceedings of the Workshops Proceedings of the 14th IEEE International Enterprise Distributed Object Computing Conference, 2010

Automatic Generation of Optimal Business Processes from Business Rules.

[BibT_eX]

[DOI]

Bas Steen

Proceedings of the Workshops Proceedings of the 14th IEEE International Enterprise Distributed Object Computing Conference, 2010

Process-Oriented Behavior Generation Using Interaction Patterns.

[BibT_eX]

[DOI]

Proceedings of the Workshops Proceedings of the 14th IEEE International Enterprise Distributed Object Computing Conference, 2010

2009

Towards a Goal-Based Service Framework for Dynamic Service Discovery and Composition.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Conference on Information Technology: New Generations, 2009

A SOA-Based Platform-Specific Framework for Context-Aware Mobile Applications.

[BibT_eX]

[DOI]

Proceedings of the Enterprise Interoperability - Second IFIP WG 5.8 International Workshop, 2009

On the Support of Dynamic Service Composition at Runtime.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing. ICSOC/ServiceWave 2009 Workshops, 2009

From User Goals to Service Discovery and Composition.

[BibT_eX]

[DOI]

Proceedings of the Advances in Conceptual Modeling - Challenging Perspectives, 2009

GSO: Designing a well-founded service ontology to support dynamic service discovery and composition.

[BibT_eX]

[DOI]

Renata S. S. Guizzardi

Proceedings of the Workshops Proceedings of the 12th IEEE International Enterprise Distributed Object Computing Conference, 2009

Towards automatic behavior synthesis of a coordinator component for context-aware mobile applications.

[BibT_eX]

[DOI]

Proceedings of the Workshops Proceedings of the 12th IEEE International Enterprise Distributed Object Computing Conference, 2009

A Framework for the Evaluation of Semantics-Based Service Composition Approaches.

[BibT_eX]

[DOI]

Proceedings of the Seventh IEEE European Conference on Web Services (ECOWS 2009), 2009

An MDA-Based Approach for Behaviour Modelling of Context-Aware Mobile Applications.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Architecture, 2009

An Evaluation Framework for Business Process Management Products.

[BibT_eX]

[DOI]

Stefan R. Koster

Proceedings of the Business Process Management Workshops, 2009

2008

A Trust-Enabling Support for Goal-Based Services.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference for Young Computer Scientists, 2008

Defining and Prototyping a Life-cycle for Dynamic Service Composition.

[BibT_eX]

Jorge Martínez López

Proceedings of the ACT4SOC 2008, 2008

A Goal-Based Framework for Dynamic Service Discovery and Composition.

[BibT_eX]

Proceedings of the ACT4SOC 2008, 2008

Context Handling in a SOA Infrastructure for Mobile Applications.

[BibT_eX]

Proceedings of the ACT4SOC 2008, 2008

Evaluation of a Rule-Based Approach for Context-Aware Services.

[BibT_eX]

[DOI]

Rodrigo Mantovaneli Pessoa

Proceedings of the Global Communications Conference, 2008. GLOBECOM 2008, New Orleans, LA, USA, 30 November, 2008

Enterprise interoperability with SOA: a survey of service composition approaches.

[BibT_eX]

[DOI]

Proceedings of the Workshops Proceedings of the 12th International IEEE Enterprise Distributed Object Computing Conference, 2008

2007

Towards a Rule-Based Approach for Context-Aware Applications.

[BibT_eX]

[DOI]

Proceedings of the Dependable and Adaptable Networks and Services, 2007

An Algorithm for Automatic Service Composition.

[BibT_eX]

Proceedings of the ACT4SOC 2007, 2007

Architectural Models for Client Interaction on Service-Oriented Platforms.

[BibT_eX]

Proceedings of the ACT4SOC 2007, 2007

A Framework for Dynamic Web Services Composition.

[BibT_eX]

[DOI]

Freddy Lécué

Proceedings of the 2nd ECOWS07 Workshop on Emerging Web Services Technology, 2007

Situation Specification and Realization in Rule-Based Context-Aware Applications.

[BibT_eX]

[DOI]

Proceedings of the Distributed Applications and Interoperable Systems, 2007

Model-Driven Approach to the Implementation of Context-Aware Applications Using Rule Engines.

[BibT_eX]

[DOI]

Nieko Maatjes

Proceedings of the Constructing Ambient Intelligence, 2007

2006

Model-Driven Design, Refinement and Transformation of Abstract Interactions.

[BibT_eX]

[DOI]

Int. J. Cooperative Inf. Syst., 2006

Abstract Platform and Transformations for Model-Driven Service-Oriented Development.

[BibT_eX]

Proceedings of the Model-Driven Enterprise Information Systems, 2006

Situations in Conceptual Modeling of Context.

[BibT_eX]

[DOI]

Proceedings of the Tenth IEEE International Enterprise Distributed Object Computing Conference (EDOC 2006), 2006

Dynamic service discovery and composition for ubiquitous networks applications.

[BibT_eX]

[DOI]

Proceedings of the 2006 ACM Conference on Emerging Network Experiment and Technology, 2006

2005

Designing a configurable services platform for mobile context-aware applications.

[BibT_eX]

[DOI]

Int. J. Pervasive Comput. Commun., 2005

Designing Interaction Systems for Distributed Applications.

[BibT_eX]

[DOI]

IEEE Distributed Syst. Online, 2005

Dependencies between Models in the Model-driven Design of Distributed Applications.

[BibT_eX]

Proceedings of the Web Services and Model-Driven Enterprise Information Services, 2005

An Ontology-Based Approach for Evaluating the <i>Domain Appropriateness</i> and <i>Comprehensibility Appropriateness</i> of Modeling Languages.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2005

Architectural Patterns for Context-Aware Services Platforms.

[BibT_eX]

Proceedings of the Ubiquitous Computing, 2005

Abstract Interactions and Interaction Refinement in Model-Driven Design.

[BibT_eX]

[DOI]

Proceedings of the Ninth IEEE International Enterprise Distributed Object Computing Conference (EDOC 2005), 2005

An Architectural Model for Component Groupware.

[BibT_eX]

[DOI]

Proceedings of the Groupware: Design, Implementation, and Use, 11th International Workshop, 2005

2004

Platform-Independent Modelling in MDA: Supporting Abstract Platforms.

[BibT_eX]

[DOI]

Remco M. Dijkman

Proceedings of the Model Driven Architecture, 2004

Towards a Service Platform for Mobile Context-Aware Applications.

[BibT_eX]

José Gonçalves Pereira Filho

Proceedings of the Ubiquitous Computing, 2004

Platform-Independent Dynamic Reconfiguration of Distributed Applications.

[BibT_eX]

[DOI]

Maarten Wegdam

Proceedings of the 10th IEEE International Workshop on Future Trends of Distributed Computing Systems (FTDCS 2004), 2004

Towards an MDA-Based Development Methodology.

[BibT_eX]

[DOI]

Anastasius Gavras

Mariano Belaunde

Proceedings of the Software Architecture, First European Workshop, 2004

Services Platforms for Context-Aware Applications.

[BibT_eX]

[DOI]

D. Rios

Proceedings of the Ambient Intelligence: Second European Symposium, 2004

A Rigorous Approach to Relate Enterprise and Computational Viewpoints.

[BibT_eX]

[DOI]

Proceedings of the 8th International Enterprise Distributed Object Computing Conference (EDOC 2004), 2004

On the Notion of Abstract Platform in MDA Development.

[BibT_eX]

[DOI]

Remco M. Dijkman

Proceedings of the 8th International Enterprise Distributed Object Computing Conference (EDOC 2004), 2004

2003

The role of the service concept in model-driven applications development.

[BibT_eX]

Proceedings of the International Middleware Conference, 2003

Use of Models and Modelling Techniques for Service Development.

[BibT_eX]

[DOI]

Proceedings of the Digital Communities in a Networked Society: eCommerce, 2003

An Approach to Relate Viewpoints and Modeling Languages.

[BibT_eX]

[DOI]

Proceedings of the 7th International Enterprise Distributed Object Computing Conference (EDOC 2003), 2003

A Systematic Approach to Platform-Independent Design Based on the Service Concept.

[BibT_eX]

[DOI]

Proceedings of the 7th International Enterprise Distributed Object Computing Conference (EDOC 2003), 2003

2002

On Architectural Support for Behaviour Refinement in Distributed Systems Design.

[BibT_eX]

[DOI]

Trans. SDPS, 2002

Model Driven Geo-Information System's Development.

[BibT_eX]

[DOI]

Javier Morales

Proceedings of the 6th International Enterprise Distributed Object Computing Conference (EDOC 2002), 2002

2001

Calculating with Concepts: a Technique for the Development of Business Process Support.

[BibT_eX]

[DOI]

Remco M. Dijkman

Stef Joosten

Proceedings of the Practical UML-Based Rigorous Development Methods, 2001

Specification and Validation of a Real-Time Parallel Kernel Using LOTOS.

[BibT_eX]

[DOI]

Célio Estevan Morón

Proceedings of the 9th International Workshop on Modeling, 2001

A Combined Component-Based Approach for the Design of Distributed Software Systems.

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE Workshop on Future Trends of Distributed Computer Systems (FTDCS 2001), 2001

2000

A QoS-Control Architecture for Object Middleware.

[BibT_eX]

[DOI]

Proceedings of the Interactive Distributed Multimedia Systems and Telecommunication Services, 2000

A Component-Based Groupware Development Methodology.

[BibT_eX]

[DOI]

Proceedings of the 4th International Enterprise Distributed Object Computing Conference (EDOC 2000), 2000

A Conceptual Model for the Development of CSCW Systems.

[BibT_eX]

[DOI]

Cléver R. G. de Farias

Proceedings of the 4th International Conference on Designing Cooperative Systems, 2000

1999

Service Creation: A Model-Based Approach.

[BibT_eX]

[DOI]

Proceedings of the 7th IEEE Workshop on Future Trends of Distributed Computer Systems (FTDCS '99), 1999

1998

The Application of TINA in the MESH Project.

[BibT_eX]

[DOI]

Proceedings of the Interactive Distributed Multimedia Systems and Telecommunication Services, 1998

1997

On the Role of Basic Design Concepts in Behaviour Structuring.

[BibT_eX]

[DOI]

Comput. Networks ISDN Syst., 1997

Protocols versus Objects: Can Models for Telecommunications and Distributed Processing Coexist?

[BibT_eX]

[DOI]

Proceedings of the 6th IEEE Workshop on Future Trends of Distributed Computer Systems (FTDCS '97), 1997

1995

A Design Model for Open Distributed Processing Systems.

[BibT_eX]

[DOI]

Comput. Networks ISDN Syst., 1995

An Engineering Approach towards Action Refinement.

[BibT_eX]

[DOI]

Proceedings of the 5th IEEE Workshop on Future Trends of Distributed Computing Systems (FTDCS 1995), 1995

1993

What Makes Industries Believe in Formal Methods.

[BibT_eX]

Chris A. Vissers

Proceedings of the Protocol Specification, 1993

1992

Protocol Design and Implementation Using Formal Methods.

[BibT_eX]

[DOI]

Chris A. Vissers

Comput. J., 1992

1991

Systematic Design of a Network Gateway Using the FDT LOTOS.

[BibT_eX]

[DOI]

Jeroen Schot

Proceedings of the Proceedings IEEE INFOCOM '91, 1991

1990

Step-wise Refinement Design Example Using LOTOS.

[BibT_eX]