2060 search results - page 81 / 412 » The Composition of Event-B Models |
162
click to vote
IEEESCC
2010
IEEE
15 years 10 months ago
2010
IEEE
Abstract—Service modeling and composition is a fundamental method for offering advanced functionality by combining a set of primitive services provided by the system. Unlike in t...
147
click to vote
OOIS
1997
Springer
15 years 10 months ago
1997
Springer
Subjects model di erent perspectives on a problem domain by collections of related class hierarchies. Subjects can be seen as the result of separate and possibly independent devel...
185
click to vote
ICWS
2008
IEEE
15 years 7 months ago
2008
IEEE
In this work, we present a framework for the semantic composition of web services based on Statecharts and uniform community service descriptions. Our model is a two step process....
184
click to vote
FDL
2006
IEEE
16 years 12 days ago
2006
IEEE
Reusing IP-cores to construct system models facilitated by automated generation of glue-logic, and automated composability checks can help designers to create efficient simulation...
151
click to vote
EUROMICRO
2005
IEEE
15 years 12 months ago
2005
IEEE
Objective: Formal definition of composition assessment metrics for CBSE, using an extension of the CORBA Component Model metamodel as the ontology for describing component assembl...