PARIS: a system for reusing partially interpreted schemas
ICSE '87 Proceedings of the 9th international conference on Software Engineering
Classification of reusable modules
Software reusability: vol. 1, concepts and models
ICSE '89 Proceedings of the 11th international conference on Software engineering
Reasoning about object-oriented programs that use subtypes
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
Retrieving re-usable software components by polymorphic type
FPCA '89 Proceedings of the fourth international conference on Functional programming languages and computer architecture
Specification-level interoperability
Communications of the ACM - Special issue on software engineering
An Information Retrieval Approach for Automatically Constructing Software Libraries
IEEE Transactions on Software Engineering
Computing similarity in a reuse library system: an AI-based approach
ACM Transactions on Software Engineering and Methodology (TOSEM)
Visualizing and querying software structures
ICSE '92 Proceedings of the 14th international conference on Software engineering
Type isomorphisms in a type-assignment framework
POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Larch: languages and tools for formal specification
Larch: languages and tools for formal specification
Visualization of a document collection: the vibe system
Information Processing and Management: an International Journal
Automated synthesis of interface adapters for reusable classes
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Interfaces, protocols, and the semi-automatic construction of software adaptors
OOPSLA '94 Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications
A behavioral notion of subtyping
ACM Transactions on Programming Languages and Systems (TOPLAS)
Signature matching: a tool for using software libraries
ACM Transactions on Software Engineering and Methodology (TOSEM)
Forcing behavioral subtyping through specification inheritance
Proceedings of the 18th international conference on Software engineering
Cognitive tools for locating and comprehending software objects for reuse
ICSE '91 Proceedings of the 13th international conference on Software engineering
Formalizing architectural connection
ICSE '94 Proceedings of the 16th international conference on Software engineering
Storing and retrieving software components: a refinement based system
ICSE '94 Proceedings of the 16th international conference on Software engineering
Object-oriented software construction (2nd ed.)
Object-oriented software construction (2nd ed.)
Introduction to Modern Information Retrieval
Introduction to Modern Information Retrieval
Architectural Mismatch: Why Reuse Is So Hard
IEEE Software
Architectural Mismatch: Why Reuse Is So Hard
IEEE Software
A Framework for Source Code Search Using Program Patterns
IEEE Transactions on Software Engineering
Object Oriented Interoperability
ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
Thoughts on a Larch/ML and a New Application for LP
Proceedings of the first First International Workshop on Larch
Designing an Object-Oriented Programming Language with Behavioural Subtyping
Proceedings of the REX School/Workshop on Foundations of Object-Oriented Languages
Signature and specification matching
Signature and specification matching
A language and environment for architecture-based software development and evolution
Proceedings of the 21st international conference on Software engineering
Adding more “DL” to IDL: towards more knowledgeable component inter-operability
Proceedings of the 21st international conference on Software engineering
A specification matching based approach to reverse engineering
Proceedings of the 21st international conference on Software engineering
Assessing software libraries by browsing similar classes, functions and relationships
Proceedings of the 21st international conference on Software engineering
A model-based approach to simulation composition
SSR '99 Proceedings of the 1999 symposium on Software reusability
A hierarchy-aware approach to faceted classification of objected-oriented components
ACM Transactions on Software Engineering and Methodology (TOSEM)
Corrigenda: a hierarchy-aware approach to faceted classification of object-oriented components
ACM Transactions on Software Engineering and Methodology (TOSEM)
Formal specification: a roadmap
Proceedings of the Conference on The Future of Software Engineering
An Automatic Class Generation Mechanism by Using Method Integration
IEEE Transactions on Software Engineering
Static checking of system behaviors using derived component assumptions
ACM Transactions on Software Engineering and Methodology (TOSEM)
Integrating active information delivery and reuse repository systems
SIGSOFT '00/FSE-8 Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications
An approach to designing reusable service frameworks via virtual service machine
SSR '01 Proceedings of the 2001 symposium on Software reusability: putting software reuse in context
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Taming architectural evolution
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Behavioural subtyping using invariants and constraints
Formal methods for distributed processing
A formal approach for specification and classification of software components
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
Component Specifications for Robotics Integration
Autonomous Robots
Specification-Based Browsing of Software Component Libraries
Automated Software Engineering
Defining Open Software Architectures for Customized Remote Execution of Web Agents
Autonomous Agents and Multi-Agent Systems
IEEE Transactions on Software Engineering
Towards Brokering Problem-Solving Knowledge on the Internet
EKAW '99 Proceedings of the 11th European Workshop on Knowledge Acquisition, Modeling and Management
A Generic Component Framework for System Modeling
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
Making Virtual Communities Work: Matching Their Functionalities
ICCS '01 Proceedings of the 9th International Conference on Conceptual Structures: Broadening the Base
Fully Automatic Adaptation of Software Components Based on Semantic Specifications
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
Compositional Specification Calculus for Information Systems Development
ADBIS '99 Proceedings of the Third East European Conference on Advances in Databases and Information Systems
A Specification-Based Software Construction Framework for Reuse
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Abstracting Services in a Heterogeneous Environment
Middleware '01 Proceedings of the IFIP/ACM International Conference on Distributed Systems Platforms Heidelberg
Formal Techniques for Java Programs
ECOOP '00 Proceedings of the Workshops, Panels, and Posters on Object-Oriented Technology
ECOOP '01 Proceedings of the Workshops on Object-Oriented Technology
SOFSEM '02 Proceedings of the 29th Conference on Current Trends in Theory and Practice of Informatics: Theory and Practice of Informatics
Application of Component-Expert Technology for Selection of Data-Handlers in CrossGrid
Proceedings of the 9th European PVM/MPI Users' Group Meeting on Recent Advances in Parallel Virtual Machine and Message Passing Interface
Towards a Foundation of Component-Oriented Software Reference Models
GCSE '00 Proceedings of the Second International Symposium on Generative and Component-Based Software Engineering-Revised Papers
The unified problem-solving method development language UPML
Knowledge and Information Systems
Conducting Requirements Evolution by Replacing Components in the Current System
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
Requirements interaction management
ACM Computing Surveys (CSUR)
Automatic component protocol adaptation with the CoConut/J tool suite
Future Generation Computer Systems - Tools for program development and analysis
An inexact model matching approach and its applications
Journal of Systems and Software
Ontology support for web service processes
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Predicting problems caused by component upgrades
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
A rigorous model for RAISE specifications reusability
Practicing software engineering in the 21st century
Service components for managing the life-cycle of service compositions
Information Systems - Special issue: The 14th international conference on advanced information systems engineering (CAiSE*02)
Extending Matchmaking to Maximize Capability Reuse
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 1
Automated Support for Framework Selection and Customization
Proceedings of the 19th IEEE international conference on Automated software engineering
Exact functional context matching for web services
Proceedings of the 2nd international conference on Service oriented computing
Mining structures for semantics
ACM SIGKDD Explorations Newsletter
Method redefinition: ensuring alternative behaviors
Information Processing Letters
Reuse-Conducive Development Environments
Automated Software Engineering
Supporting application development in the semantic web
ACM Transactions on Internet Technology (TOIT)
A Multilevel Composability Model for Semantic Web Services
IEEE Transactions on Knowledge and Data Engineering
Hierarchical composition of industrial components
Science of Computer Programming - Special issue on new software composition concepts
Achieving seamless component composition through scenario-based deep adaptation and generation
Science of Computer Programming - Special issue on new software composition concepts
A formal approach to component adaptation and composition
ACSC '05 Proceedings of the Twenty-eighth Australasian conference on Computer Science - Volume 38
Ontology-based service discovery in spatial data infrastructures
Proceedings of the 2005 workshop on Geographic information retrieval
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
On Compatibility and Behavioural Substitutability of Component Protocols
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Context-sensitive domain-independent algorithm composition and selection
Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation
A formal approach to component adaptability
ACST'06 Proceedings of the 2nd IASTED international conference on Advances in computer science and technology
XSnippet: mining For sample code
Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
A Methodological Approach to Choose Components in Development and Evolution Processes
Electronic Notes in Theoretical Computer Science (ENTCS)
Typing the Behavior of Software Components using Session Types
Fundamenta Informaticae
Trust-By-Contract: Modelling, Analysing And Predicting Behaviour Of Software Architectures
Journal of Integrated Design & Process Science
A Transformation-Based Component Framework For A Generic Integrated Modeling Technique
Journal of Integrated Design & Process Science - Component-Based System Development
Extending a Component Specification Language with Time
Electronic Notes in Theoretical Computer Science (ENTCS)
Efficient Service Composition Using Zero-Suppressed Reduced Ordered Binary Decision Diagrams
WI '06 Proceedings of the 2006 IEEE/WIC/ACM International Conference on Web Intelligence
A Perspective on the Future of Middleware-based Software Engineering
FOSE '07 2007 Future of Software Engineering
A java beans component architecture for cryptographic protocols
SSYM'98 Proceedings of the 7th conference on USENIX Security Symposium - Volume 7
Empirical Research Similarity Metrics For Software Component Interfaces
Journal of Integrated Design & Process Science
Semi-Automated Component-Based Development of Formally Verified Software
Electronic Notes in Theoretical Computer Science (ENTCS)
VsLattice: A vector-based conceptual index structure for web service retrieval
Information Systems Frontiers
Similarity search for web services
VLDB '04 Proceedings of the Thirtieth international conference on Very large data bases - Volume 30
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Journal of Systems and Software
A conceptual architecture for semantic web services development and deployment
International Journal of Web and Grid Services
Matchmaking and ranking of semantic web services using integrated service profile
International Journal of Metadata, Semantics and Ontologies
Architectural Connectors for Sequence Diagrams
Electronic Notes in Theoretical Computer Science (ENTCS)
Formalization of Component Substitutability
Electronic Notes in Theoretical Computer Science (ENTCS)
A knowledge-based framework for extracting components in agile systems development
Information Technology and Management
Dynamic Service Discovery Through Meta-interactions with Service Providers
ESWC '07 Proceedings of the 4th European conference on The Semantic Web: Research and Applications
Recommending Typical Usage Examples for Component Retrieval in Reuse Repositories
ICSR '08 Proceedings of the 10th international conference on Software Reuse: High Confidence Software Reuse in Large Systems
A Flexible and Semantic-Aware Publication Infrastructure for Web Services
CAiSE '08 Proceedings of the 20th international conference on Advanced Information Systems Engineering
A Lightweight Container Architecture for Runtime Verification
Runtime Verification
Increasing Bid Expressiveness for Effective and Balanced E-Barter Trading
Declarative Agent Languages and Technologies VI
Goal Preservation by Choreography-Driven Matchmaking
Service-Oriented Computing - ICSOC 2007 Workshops
Annotation and Matching of First-Class Agent Interaction Protocols
Argumentation in Multi-Agent Systems
Automated Software Engineering
Testing-based Process for Evaluating Component Replaceability
Electronic Notes in Theoretical Computer Science (ENTCS)
Refining component description by leveraging user query logs
Journal of Systems and Software
Trustworthy Interface Compliancy: Data Model Adaptation Using B Refinement
Electronic Notes in Theoretical Computer Science (ENTCS)
An weighted ontology-based semantic similarity algorithm for web service
Expert Systems with Applications: An International Journal
Component adaptation process and adaptability viewpoints
ACM SIGSOFT Software Engineering Notes
An Abstract Equivalence Notion for Object Models
Electronic Notes in Theoretical Computer Science (ENTCS)
A Semantical Framework for the Orchestration and Choreography of Web Services
Electronic Notes in Theoretical Computer Science (ENTCS)
Automated adaptations to dynamic software architectures by using autonomous agents
Engineering Applications of Artificial Intelligence
Method redefinition---ensuring alternative behaviors
Information Processing Letters
Semantic matchmaking of web services constraint conditions
WiCOM'09 Proceedings of the 5th International Conference on Wireless communications, networking and mobile computing
An ontology for software component matching
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
Proceedings of the 12th Monterey conference on Reliable systems on unreliable networked platforms
Modular specification and verification of object-oriented programs
Modular specification and verification of object-oriented programs
WSXplorer: searching for desired web services
CAiSE'07 Proceedings of the 19th international conference on Advanced information systems engineering
Automatic conceptual indexing of web services and its application to service retrieval
ICA3PP'07 Proceedings of the 7th international conference on Algorithms and architectures for parallel processing
Enhancing dependability of component-based systems
Ada-Europe'07 Proceedings of the 12th international conference on Reliable software technologies
Protocol-aware matching of web service interfaces for adapter development
Proceedings of the 19th international conference on World wide web
Web service search: who, when, what, and how
WISE'07 Proceedings of the 2007 international conference on Web information systems engineering
A Generic Approach to Connector Architectures Part I: The General Framework
Fundamenta Informaticae
Structuring agents for adaptation
Adaptive agents and multi-agent systems
Behavior model based component search: an initial assessment
Proceedings of 2010 ICSE Workshop on Search-driven Development: Users, Infrastructure, Tools and Evaluation
Facilitating the comparison of software retrieval systems through a reference reuse collection
Proceedings of 2010 ICSE Workshop on Search-driven Development: Users, Infrastructure, Tools and Evaluation
Using Assertions to Enhance the Correctness of Kmelia Components and their Assemblies
Electronic Notes in Theoretical Computer Science (ENTCS)
Web services discovery and rank: An information retrieval approach
Future Generation Computer Systems
Application patterns for computer-based systems design reuse
ECBS'99 Proceedings of the 1999 IEEE conference on Engineering of computer-based systems
Agents, multi-agent systems and declarative programming: what, when, where, why, who, how?
A 25-year perspective on logic programming
Service matchmaking revisited: An approach based on model checking
Web Semantics: Science, Services and Agents on the World Wide Web
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
A two-stage framework for UML specification matching
Information and Software Technology
Web Semantics: Science, Services and Agents on the World Wide Web
Commitment-based protocols with behavioral rules and correctness properties of MAS
DALT'10 Proceedings of the 8th international conference on Declarative agent languages and technologies VIII
How Well Do Search Engines Support Code Retrieval on the Web?
ACM Transactions on Software Engineering and Methodology (TOSEM)
Creating dynamic business processes using semantic web services and business rules
Proceedings of the 5th International Conference on Theory and Practice of Electronic Governance
Poplar: Java composition with labels and AI planning
Proceedings of the 2nd workshop on Free composition @ onward! 2011
On the semantics of functional descriptions of web services
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
Matchmaking of mathematical web services
PPAM'05 Proceedings of the 6th international conference on Parallel Processing and Applied Mathematics
Characterizing services composeability and OWL-S based services composition
GCC'05 Proceedings of the 4th international conference on Grid and Cooperative Computing
Developing adapters for web services integration
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
Automatic location of services
ESWC'05 Proceedings of the Second European conference on The Semantic Web: research and Applications
Towards architectural connectors for UML
Formal Methods in Software and Systems Modeling
Embedded Systems Design
Supporting partial component matching
ICDCIT'04 Proceedings of the First international conference on Distributed Computing and Internet Technology
Toward automatic discovery and invocation of information-providing web services
ASWC'06 Proceedings of the First Asian conference on The Semantic Web
Finding a needle in the haystack: a technique for ranking matches between components
CBSE'05 Proceedings of the 8th international conference on Component-Based Software Engineering
Towards practical semantic web service discovery
ESWC'10 Proceedings of the 7th international conference on The Semantic Web: research and Applications - Volume Part II
Automatically grounding semantically-enriched conceptual models to concrete web services
ER'05 Proceedings of the 24th international conference on Conceptual Modeling
Flexible binding for reusable composition of web services
SC'05 Proceedings of the 4th international conference on Software Composition
Scalable automated service composition using a compact directory digest
DEXA'06 Proceedings of the 17th international conference on Database and Expert Systems Applications
Adaptation and composition within component architecture specification
ICSR'06 Proceedings of the 9th international conference on Reuse of Off-the-Shelf Components
A component-oriented substitution model
ICSR'06 Proceedings of the 9th international conference on Reuse of Off-the-Shelf Components
Adaptive techniques for specification matching in embedded systems: a comparative study
IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods
Interoperability in service-based communities
BPM'05 Proceedings of the Third international conference on Business Process Management
Towards an engineering approach to component adaptation
Proceedings of the 2004 international conference on Architecting Systems with Trustworthy Components
Minersoft: Software retrieval in grid and cloud computing infrastructures
ACM Transactions on Internet Technology (TOIT)
A framework for semantic discovery of web services
iUBICOM'10 Proceedings of the 5th international conference on Ubiquitous and Collaborative Computing
Type-directed completion of partial expressions
Proceedings of the 33rd ACM SIGPLAN conference on Programming Language Design and Implementation
Finding suitable programs: semantic search with incomplete and lightweight specifications
Proceedings of the 34th International Conference on Software Engineering
Typing the Behavior of Software Components using Session Types
Fundamenta Informaticae
Toward semantic search via SMT solver
Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering
Formal methods in avionic software certification: the DO-178C perspective
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: applications and case studies - Volume Part II
Testing-based process for component substitutability
Software Testing, Verification & Reliability
Service substitutability analysis based on behavior automata
Innovations in Systems and Software Engineering
Discovering math APIs by mining unit tests
FASE'13 Proceedings of the 16th international conference on Fundamental Approaches to Software Engineering
A survey of fuzzy service matching approaches in the context of on-the-fly computing
Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering
Fuzzy service matching in on-the-fly computing
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
Test-and-adapt: An approach for improving service interchangeability
ACM Transactions on Software Engineering and Methodology (TOSEM) - Testing, debugging, and error handling, formal methods, lifecycle concerns, evolution and maintenance
Task model-driven realization of interactive application functionality through services
ACM Transactions on Interactive Intelligent Systems (TiiS)
Hi-index | 0.00 |
Specification matching is a way to compare two software components, based on descriptions of the component's behaviors. In the context of software reuse and library retrieval, it can help determine whether one component can be substituted for another or how one can be modified to fit the requirements of the other. In the context of object-oriented programming, it can help determine when one type is a behavioral subtype of another. We use formal specifications to describe the behavior of software components and, hence, to determine whether two components match. We give precise definitions of not just exact match, but, more relevantly, various flavors of relaxed match. These definitions capture the notions of generalization, specialization, and substitutability of software components. Since our formal specifications are pre- and postconditions written as predicates in first-order logic, we rely on theorem proving to determine match and mismatch. We give examples from our implementation of specification matching using the Larch Prover.