2060 search results - page 81 / 412 » The Composition of Event-B Models |
138
click to vote
IEEESCC
2010
IEEE
15 years 8 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...
121
click to vote
OOIS
1997
Springer
15 years 7 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...
148
click to vote
ICWS
2008
IEEE
15 years 5 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....
154
click to vote
FDL
2006
IEEE
15 years 10 months 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...
124
click to vote
EUROMICRO
2005
IEEE
15 years 9 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...