1318 search results - page 35 / 264 » The formal semantics of the timeER model |
135
click to vote
SEMCO
2009
IEEE
15 years 8 months ago
2009
IEEE
— In this paper we present an automated support for software model evolution using a formal language constructs. For this, we extended Object Constraint Language (OCL) with actio...
98
Voted
FM
2005
Springer
15 years 7 months ago
2005
Springer
Recently we have proposed the ”almost ASAP” semantics as an alternative semantics for timed automata. This semantics is useful when modeling real-time controllers : control str...
133
click to vote
BPM
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Business process (BP) modeling is a building block for design and management of business processes. Two fundamental aspects of BP modeling are: a formal framework that we...
117
click to vote
HT
1998
ACM
15 years 6 months ago
1998
ACM
This paper introduces XHMBS (the eXtended Hyperdocument Model Based on Statecharts) to support the formal specification of general hypermedia applications. XHMBS uses a novel form...
117
click to vote
ECOWS
2006
Springer
15 years 5 months ago
2006
Springer
Current web services are largely based on a synchronous request-response model that uses the Simple Object Access Protocol SOAP. Next-generation telecommunication networks, on the...